Research output per year
Research output per year
- 18 results
Search results
-
2024
Sparcl: A language for partially invertible computation
Matsuda, K. & Wang, M., 26 Jan 2024, In: Journal of Functional Programming. 34, e2.Research output: Contribution to journal › Article (Academic Journal) › peer-review
Open Access2 Citations (Scopus) -
SYNBIT: synthesizing bidirectional programs using unidirectional sketches
Yamaguchi, M., Matsuda, K., David, C. & Wang, M., 29 Jan 2024, In: Formal Methods in System Design. 61, 2-3, p. 198-247 50 p.Research output: Contribution to journal › Article (Academic Journal) › peer-review
Open Access -
2023
Contract lenses: Reasoning about bidirectional programs via calculation
Zhang, H., Tang, W., Xie, R., Wang, M. & Hu, Z., 6 Nov 2023, In: Journal of Functional Programming. 33, 41 p., e10.Research output: Contribution to journal › Article (Academic Journal) › peer-review
Open Access -
Embedding by Unembedding
Matsuda, K., Frohlich, S., Wang, M. & Wu, N., 31 Aug 2023, In: Proceedings of the ACM on Programming Languages. 7, ICFP, 47 p., 189.Research output: Contribution to journal › Article (Academic Journal) › peer-review
Open Access2 Citations (Scopus) -
Reflecting on Random Generation
Goldstein, H., Frohlich, S., Wang, M. & Pierce, B., 4 Sept 2023, In: Proceedings of the ACM on Programming Languages. 7, ICFP, p. 322–355 200.Research output: Contribution to journal › Article (Academic Journal) › peer-review
Open Access3 Citations (Scopus) -
2022
Exploring Better Black-Box Test Case Prioritization via Log Analysis
Chen, Z., Chen, J., Wang, W., Zhou, J., Wang, M., Chen, X., Zhou, S. & Wang, J., 28 Oct 2022, In: ACM Transactions on Software Engineering and Methodology. 37, 4, 32 p.Research output: Contribution to journal › Article (Academic Journal) › peer-review
Open AccessFile14 Citations (Scopus)328 Downloads (Pure) -
Linked visualisations via Galois dependencies
Perera, R. N. T., Nguyen, M. H., Petricek, T. & Wang, M., 11 Jan 2022, In: Proceedings of the ACM on Programming Languages. 6, POPL, p. 1-29 7.Research output: Contribution to journal › Article (Academic Journal) › peer-review
Open AccessFile2 Citations (Scopus)105 Downloads (Pure) -
Modular Probabilistic Models via Algebraic Effects
Nguyen, M. H., Perera, R. N. T., Wang, M. & Wu, N., 11 Sept 2022, In: Proceedings of the ACM on Programming Languages. 6, ICFP, p. 381-410 30 p., 104.Research output: Contribution to journal › Article (Academic Journal) › peer-review
Open AccessFile4 Citations (Scopus)47 Downloads (Pure) -
Staging with Class: A Specification for Typed Template Haskell
Xie, N., Pickering, M. T., Loh, A., Wu, N., Yallop, J. & Wang, M., 12 Jan 2022, In: Proceedings of the ACM on Programming Languages. 6, POPL, 30 p., 61.Research output: Contribution to journal › Article (Academic Journal) › peer-review
Open AccessFile6 Citations (Scopus)67 Downloads (Pure) -
2019
A Study of Bug Resolution Characteristics in Popular Programming Languages
Zhang, J., Wang, M. & al., E., 24 Dec 2019, (E-pub ahead of print) In: IEEE Transactions on Software Engineering. 0, 0, p. 1 - 1 15 p.Research output: Contribution to journal › Article (Academic Journal) › peer-review
Open AccessFile11 Citations (Scopus)273 Downloads (Pure) -
2018
Applicative bidirectional programming mixing lenses and semantic bidirectionalization
Matsuda, K. & Wang, M., 2018, In: Journal of Functional Programming. 28, 49 p., e15.Research output: Contribution to journal › Article (Academic Journal) › peer-review
Open AccessFile399 Downloads (Pure) -
FliPpr: A System for Deriving Parsers from Pretty-Printers
Matsuda, K. & Wang, M., 2018, In: New Generation Computing. 36, 3, p. 173-202 30 p.Research output: Contribution to journal › Article (Academic Journal) › peer-review
Open AccessFile6 Citations (Scopus)290 Downloads (Pure) -
2015
How functional programming mattered
Hu, Z., Hughes, J. & Wang, M., 2015, In: National Science Review. 2, 3, p. 349-370Research output: Contribution to journal › Article (Academic Journal) › peer-review
Open Access29 Citations (Scopus)6 Downloads (Pure) -
“Bidirectionalization for free” for monomorphic transformations
Matsuda, K. & Wang, M., 2015, In: Science of Computer Programming. 111, Part 1, p. 79-109Research output: Contribution to journal › Article (Academic Journal) › peer-review
12 Citations (Scopus)6 Downloads (Pure) -
2013
Enhancing Semantic Bidirectionalization via Shape Bidirectionalizer Plug-ins
Voigtländer, J., Hu, Z., Matsuda, K. & Wang, M., 2013, In: Journal of Functional Programming. 23, 5Research output: Contribution to journal › Article (Academic Journal) › peer-review
14 Citations (Scopus)8 Downloads (Pure) -
2012
Refactoring pattern matching
Wang, M., Gibbons, J., Matsuda, K. & Hu, Z., 2012, In: Science of Computer Programming. 78, 11Research output: Contribution to journal › Article (Academic Journal) › peer-review
Open Access15 Citations (Scopus)6 Downloads (Pure) -
2011
Side-effect localization for lazy, purely functional languages via aspects
Chen, K., Weng, S.-C., Lin, J.-Y., Wang, M. & Khoo, S.-C., 2011, In: Higher-Order and Symbolic Computation. 24, 1-2, p. 1-39Research output: Contribution to journal › Article (Academic Journal) › peer-review
Open Access1 Citation (Scopus)6 Downloads (Pure) -
2010
Type-directed weaving of aspects for polymorphically typed functional languages
Chen, K., Weng, S.-C., Wang, M., Khoo, S.-C. & Chen, C.-H., 2010, In: Science of Computer Programming. 75, 11, p. 1048-1076Research output: Contribution to journal › Article (Academic Journal) › peer-review
Open Access6 Downloads (Pure)