20062020

Research output per year

If you made any changes in Pure these will be visible here soon.

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. 

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.

Network Recent external collaboration on country level. Dive into details by clicking on the dots.

Projects

8030 EPSRC EP/T008911/1 M Wang

Wang, M.

1/07/2030/06/23

Project: Research

8030 Royal Society Wang IES\R3\193175

Wang, M.

18/03/2017/03/22

Project: Research

Research Output

  • 23 Conference Contribution (Conference Proceeding)
  • 10 Article (Academic Journal)

Sparcl: A Language for Partially-Invertible Computation

Matsuda, K. & Wang, M., 1 Aug 2020, Proceedings of the ACM on Programming Languages. 31 p. 118

Research output: Chapter in Book/Report/Conference proceedingConference Contribution (Conference Proceeding)

Open Access
File
  • 28 Downloads (Pure)

    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 proceedingConference Contribution (Conference Proceeding)

    A Study of Bug Resolution Characteristics in Popular Programming Languages

    Zhang, J., Wang, M. & al., E., 24 Dec 2019, In : IEEE Transactions on Software Engineering. p. 1 - 1 15 p.

    Research output: Contribution to journalArticle (Academic Journal)

    Open Access
    File
  • 152 Downloads (Pure)

    Activities

    • 14 Publication peer-review

    Symposium on Trends in Functional Programming (Event)

    Meng Wang (Editor)

    2018

    Activity: Publication peer-review and editorial work typesPublication peer-review

    International Conference on Functional Programming (Event)

    Meng Wang (Editor)

    2018

    Activity: Publication peer-review and editorial work typesPublication peer-review

    International Workshop on Bidirectional Transformations (Event)

    Meng Wang (Editor)

    2018

    Activity: Publication peer-review and editorial work typesPublication peer-review