Research output per year
Research output per year
- 47 results
Search results
-
2024
Reconciling Partial and Local Invertibility
Thuné, A. Å., Matsuda, K. & Wang, M., 5 Apr 2024, Programming Languages and Systems: 33rd European Symposium on Programming, ESOP 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part I. Weirich, S. (ed.). Switzerland: Springer, Cham, p. 59-89 31 p. (Lecture Notes in Computer Science (LNCS)).Research output: Chapter in Book/Report/Conference proceeding › Conference Contribution (Conference Proceeding)
Open Access -
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 -
Effect Handlers for Programmable Inference
Nguyen, M. H., Perera, R. N. T., Wang, M. & Ramsay, S., 31 Aug 2023, Haskell 2023: Proceedings of the 16th ACM SIGPLAN International Haskell Symposium. McDonell, T. L. & Vazou, N. (eds.). Association for Computing Machinery (ACM), p. 44–58 15 p. (Proceedings of the ACM SIGPLAN ... Haskell Symposium).Research output: Chapter in Book/Report/Conference proceeding › Conference Contribution (Conference Proceeding)
Open Access1 Citation (Scopus) -
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) -
Ownership guided C to Rust translation
Zhang, H., David, C., Yu, Y. & Wang, M., 17 Jul 2023, Proceedings of the International Conference on Computer Aided Verification. Enea, C. & Lal, A. (eds.). Springer, Cham, Vol. III. p. 459-482 24 p. (Lecture Notes in Computer Science (CAV: International Conference on Computer Aided Verification)).Research output: Chapter in Book/Report/Conference proceeding › Conference Contribution (Conference Proceeding)
Open Access3 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 Access2 Citations (Scopus) -
What Types Are Needed for Typing Dynamic Objects? A Python-Based Empirical Study
Sun, K., Chen, S., Wang, M. & Hao, D., 21 Nov 2023, Asian Symposium on Programming Languages and Systems. (Lecture Notes in Computer Science (LNCS)).Research output: Chapter in Book/Report/Conference proceeding › Conference Contribution (Conference Proceeding)
Open Access1 Citation (Scopus) -
2022
CircuitFlow: A Domain Specific Language for Dataflow Programming
Frohlich, S., Wang, M. & Evans, R., 31 Jan 2022, Practical Aspects of Declarative Languages: 24th International Symposium, PADL 2022, Philadelphia, PA, USA, January 17–18, 2022, Proceedings. Cheney, J. & Perri, S. (eds.). Springer Nature, p. 79-98 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13165 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference Contribution (Conference Proceeding)
Open AccessFile5 Citations (Scopus)72 Downloads (Pure) -
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 AccessFile9 Citations (Scopus)246 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)93 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 AccessFile3 Citations (Scopus)35 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)59 Downloads (Pure) -
2021
Synbit: Synthesizing Bidirectional Programs using Unidirectional Sketches
Yamaguchi, M., Matsuda, K., David, C. & Wang, M., 20 Oct 2021, ACM on Programming Languages: OOPSLA. OOPSLA ed. Association for Computing Machinery (ACM), Vol. 5. p. 1-31 31 p. 105. (Proceedings of the ACM on Programming Languages).Research output: Chapter in Book/Report/Conference proceeding › Conference Contribution (Conference Proceeding)
Open AccessFile3 Citations (Scopus)71 Downloads (Pure) -
2020
Sparcl: A Language for Partially-Invertible Computation
Matsuda, K. & Wang, M., 1 Aug 2020, Proceedings of the ACM on Programming Languages. New York, Vol. 4. p. 1-31 31 p. 118. (2475-1421).Research output: Chapter in Book/Report/Conference proceeding › Conference Contribution (Conference Proceeding)
Open AccessFile8 Citations (Scopus)140 Downloads (Pure) -
2019
An Extensive Study on the Threat of Test Suites in Measuring Coverage Criteria Effectiveness
Zhang, J., Zhang, L., Hao, D., Wang, M. & Zhang, L., 2019, ICST 2019 Main Technical Research Track.Research output: Chapter in Book/Report/Conference proceeding › Conference Contribution (Conference Proceeding)
-
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)225 Downloads (Pure) -
Composing Bidirectional Programs Monadically
Xia, L.-Y., Orchard, D. & Wang, M., 6 Apr 2019, Programming Languages and Systems - 28th European Symposium on Programming, ESOP 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Proceedings: 28th European Symposium on Programming, ESOP 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings. Caires, L. (ed.). Springer, Cham, p. 147-175 29 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11423 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference Contribution (Conference Proceeding)
Open AccessFile4 Citations (Scopus)215 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 AccessFile385 Downloads (Pure) -
Embedding Invertible Languages with Binders - A Case of the FliPpr Language: St. Louis, MO, USA — September 27 - 28, 2018
Matsuda, K. & Wang, M., 2018, Haskell 2018 Proceedings of the 11th ACM SIGPLAN: International Symposium on Haskell. Association for Computing Machinery (ACM), p. 158-171 (ACM SIGPLAN Notices; vol. 53, no. 7).Research output: Chapter in Book/Report/Conference proceeding › Conference Contribution (Conference Proceeding)
Open AccessFile1 Citation (Scopus)340 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)275 Downloads (Pure) -
HOBiT: Programming Lenses without using Lens Combinators
Matsuda, K. & Wang, M., 14 Apr 2018, Programming Languages and Systems: 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings. Springer, Cham, p. 31-59 19 p. ( Lecture Notes in Computer Science; vol. 10801).Research output: Chapter in Book/Report/Conference proceeding › Conference Contribution (Conference Proceeding)
Open AccessFile17 Citations (Scopus)309 Downloads (Pure) -
Understanding Formal Specifications through Good Examples
Gerdes, A., Hughes, J., Smallbone, N., Hanenberg, S., Ivarsson, S. & Wang, M., 29 Sept 2018, 17th ACM Erlang Workshop 2018: Proceedings of the 17th ACM SIGPLAN International Workshop on Erlang. Association for Computing Machinery (ACM), p. 13-24Research output: Chapter in Book/Report/Conference proceeding › Conference Contribution (Conference Proceeding)
Open AccessFile4 Citations (Scopus)386 Downloads (Pure) -
2017
Un-preprocessing: Extended CPP that works with your tools
Cheng, Y., Wang, M., Xiong, Y., Wu, Z., Wu, Y. & Zhang, L., 23 Sept 2017, Internetware '17: Proceedings of the 9th Asia-Pacific Symposium on Internetware. Association for Computing Machinery (ACM), 10 p. 3Research output: Chapter in Book/Report/Conference proceeding › Conference Contribution (Conference Proceeding)
Open AccessFile393 Downloads (Pure) -
2016
Empirical evaluation of test coverage for functional programs
Cheng, Y., Wang, M., Xiong, Y., Hao, D. & Zhang, L., 2016, ICST '16 IEEE International Conference on Software Testing, Verification and Validation. IEEE Computer Society, p. 255-265 10 p.Research output: Chapter in Book/Report/Conference proceeding › Conference Contribution (Conference Proceeding)
Open AccessFile9 Citations (Scopus)201 Downloads (Pure) -
Modular generic programming with extensible superclasses
Sulzmann, M. & Wang, M., 16 Sept 2016, WGP '06 Proceedings of the 2006 ACM SIGPLAN workshop on Generic programming. Association for Computing Machinery (ACM), p. 55-65 11 p.Research output: Chapter in Book/Report/Conference proceeding › Conference Contribution (Conference Proceeding)
Open AccessFile2 Citations (Scopus)219 Downloads (Pure) -
2015
Applicative Bidirectional Programming with Lenses
Matsuda, K. & Wang, M., 1 Aug 2015, ICFP '15 Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming. Association for Computing Machinery (ACM), p. 62-74 13 p.Research output: Chapter in Book/Report/Conference proceeding › Conference Contribution (Conference Proceeding)
13 Citations (Scopus)6 Downloads (Pure) -
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) -
Linking unit tests and properties
Gerdes, A., Hughes, J., Smallbone, N. & Wang, M., 2015, Erlang '15 Proceedings of the 14th ACM SIGPLAN Workshop on Erlang. Association for Computing Machinery (ACM), p. 19-26Research output: Chapter in Book/Report/Conference proceeding › Conference Contribution (Conference Proceeding)
5 Citations (Scopus)7 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) -
2014
Semantic bidirectionalization revisited
Wang, M. & Najd, S., 2014, PEPM '14 Proceedings of the ACM SIGPLAN 2014 Workshop on Partial Evaluation and Program Manipulation. Association for Computing Machinery (ACM), p. 51-61Research output: Chapter in Book/Report/Conference proceeding › Conference Contribution (Conference Proceeding)
5 Citations (Scopus)6 Downloads (Pure) -
2013
Bidirectionalization for Free with Runtime Recording: A light-weight approach to the view-update problem
Matsuda, K. & Wang, M., 2013, PPDP '13 Proceedings of the 15th Symposium on Principles and Practice of Declarative Programming. Association for Computing Machinery (ACM), p. 297-308Research output: Chapter in Book/Report/Conference proceeding › Conference Contribution (Conference Proceeding)
10 Citations (Scopus)6 Downloads (Pure) -
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
13 Citations (Scopus)8 Downloads (Pure) -
FliPpr: A Prettier Invertible Printing System
Matsuda, K. & Wang, M., 2013, ESOP '13 European conference on Programming Languages and Systems. Springer Berlin Heidelberg, Vol. 7792. p. 101-120Research output: Chapter in Book/Report/Conference proceeding › Conference Contribution (Conference Proceeding)
17 Citations (Scopus)6 Downloads (Pure) -
2012
Feat: functional enumeration of algebraic types
Duregård, J., Jansson, P. & Wang, M., 2012, Haskell '12 Proceedings of the 2012 symposium on Haskell. Association for Computing Machinery (ACM), p. 61-72Research output: Chapter in Book/Report/Conference proceeding › Conference Contribution (Conference Proceeding)
Open Access34 Citations (Scopus)6 Downloads (Pure) -
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
Incremental updates for efficient bidirectional transformations
Wang, M., Gibbons, J. & Wu, N., 2011, ICFP '11 Proceedings of the 16th ACM SIGPLAN international conference on Functional programming. Association for Computing Machinery (ACM), p. 392-403Research output: Chapter in Book/Report/Conference proceeding › Conference Contribution (Conference Proceeding)
Open Access8 Downloads (Pure) -
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
Combining syntactic and semantic bidirectionalization
Voigtländer, J., Matsuda, K., Hu, Z. & Wang, M., 2010, ICFP '10 Proceedings of the 15th ACM SIGPLAN international conference on Functional programming. p. 181-192Research output: Chapter in Book/Report/Conference proceeding › Conference Contribution (Conference Proceeding)
Open Access20 Citations (Scopus)6 Downloads (Pure) -
Gradual Refinement: Blending Pattern Matching with Data Abstraction
Wang, M., Gibbons, J., Matsuda, K. & Hu, Z., 2010, MPC '10 Proceedings of 10th International Conference on Mathematics of Program Construction. Springer Berlin Heidelberg, p. 397-425Research output: Chapter in Book/Report/Conference proceeding › Conference Contribution (Conference Proceeding)
6 Downloads (Pure) -
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) -
2009
What does aspect-oriented programming mean for functional programmers?
Wang, M. & Oliveira, B., 2009, WGP '09 Proceedings of the 2009 ACM SIGPLAN workshop on Generic programming. Association for Computing Machinery (ACM), p. 37-48Research output: Chapter in Book/Report/Conference proceeding › Conference Contribution (Conference Proceeding)
Open Access4 Citations (Scopus)6 Downloads (Pure) -
2008
The visitor pattern as a reusable, generic, type-safe component
Oliveira, B., Wang, M. & Gibbons, J., 2008, OOPSLA '08 Proceedings of the 23rd ACM SIGPLAN conference on Object-oriented programming systems languages and applications . Association for Computing Machinery (ACM), p. 439 456 p.Research output: Chapter in Book/Report/Conference proceeding › Conference Contribution (Conference Proceeding)
Open Access22 Citations (Scopus)6 Downloads (Pure) -
2007
A compilation model for aspect-oriented polymorphically typed functional languages
Chen, K., Weng, S.-C., Wang, M., Khoo, S.-C. & Chen, C.-H., 2007, SAS '07 Proceedings of the 14th International Symposium on Static Analysis. Springer Berlin Heidelberg, p. 34-51Research output: Chapter in Book/Report/Conference proceeding › Conference Contribution (Conference Proceeding)
5 Citations (Scopus)6 Downloads (Pure) -
Aspect-oriented programming with type classes
Wang, M. & Sulzmann, M., 2007, FOAL '07 Proceedings of the 6th workshop on Foundations of aspect-oriented languages. Association for Computing Machinery (ACM), p. 65-74Research output: Chapter in Book/Report/Conference proceeding › Conference Contribution (Conference Proceeding)
Open Access4 Citations (Scopus)6 Downloads (Pure) -
2006
Type-directed weaving of aspects for higher-order functional languages
Wang, M., Chen, K. & Khoo, S.-C., 2006, PEPM '06 Proceedings of the 2006 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation. Association for Computing Machinery (ACM), p. 78-87Research output: Chapter in Book/Report/Conference proceeding › Conference Contribution (Conference Proceeding)
Open Access13 Citations (Scopus)6 Downloads (Pure)