Research output per year
Research output per year
Personal profile
Research interests
The central theme of his research is to apply theoretical rigour to practical programming, with the aim of improving the correctness and robustness of software systems. In particular, he focuses on designing languages and tools for software development and testing.
Please see my personal page for up to date information.
Research Groups and Themes
- Programming Languages
Keywords
- Functional Programming
- Bidirectional Transformation
- Software Testing
- Type Systems
- Language Design
Fingerprint
Dive into the research topics where Meng Wang is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
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 AccessFile28 Citations (Scopus)484 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 AccessFile5 Citations (Scopus)243 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 AccessFile15 Citations (Scopus)125 Downloads (Pure)
-
Complex Semantics for Higher Order Abstract Syntax
Wang, M. (Principal Investigator)
1/09/26 → 31/08/29
Project: Research
-
Compiler Testing via Holistic Analysis
Wang, M. (Principal Investigator)
31/03/24 → 30/03/26
Project: Research
-
Activities
- 14 Publication peer-review
-
International Conference on Functional Programming (Event)
Wang, M. (Editor)
2018Activity: Publication peer-review and editorial work types › Publication peer-review
-
International Workshop on Bidirectional Transformations (Event)
Wang, M. (Editor)
2018Activity: Publication peer-review and editorial work types › Publication peer-review
-
Symposium on Trends in Functional Programming (Event)
Wang, M. (Editor)
2018Activity: Publication peer-review and editorial work types › Publication peer-review