About Me
Dr. Meng Wang is a Professor in the School of Computer Science, with research interests in programming languages and software engineering. He heads the Programming Languages Research Group at Bristol and is a member of IFIP Working Group 2.1 on Algorithmic Languages and Calculi. He is also the lead of Core computer science (programming languages, algorithms and complexity, cryptography, high performance computing, and trustworthy systems) with line management responsibilities for all academics in these areas.
Previously, he was a lecturer at University of Kent, and an assistant professor at Chalmers University of Technology. He completed his DPhil (known as PhD elsewhere) at University of Oxford, and before that he studied at National University of Singapore.
Research Interest
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.
Research keywords
- Programming Languages
- Functional Programming
- Bidirectional Programming
- Software Engineering
- Testing
I am looking for motivated PhD students and PostDocs. Please get in touch if you are interested.
News
- Mar, 2025
- I am pleased to share that I am now serving as the Steering Committee Chair for Partial Evaluation and Program Manipulation (PEPM).
- Mar, 2025
- Scalable, Validated Code Translation of Entire Projects using Large Language Models is (conditionally) accepted by PLDI.
- Feb, 2025
- Job alert! Senior Research Associate in Programming Languages.
- Jan, 2025
- Ke Sun from Peking University is visiting for 3 months.
- Sep, 2024
- Distinguished Paper Award at ECOOP 2024!
- Sep, 2024
- An Empirical Study of the Non-determinism of ChatGPT in Code Generation is accepted by TOSEM.
- Aug, 2024
- I organised the VeTSS summer school at Bristol.
- Jun, 2024
- Formalizing, Mechanizing, and Verifying Class-based Refinement Types is accepted by ECOOP.
- Apr, 2024
- Funding success! Two projects on translating legacy code to memory safe languages are funded by EPSRC IAA.
- Mar, 2024
- Funding success! Compiler Testing Via Holistic Analysis is funded by the Royal Society.
- Mar, 2024
- Cristina and I are recruiting a PostDoc in programming languages.
- Dec, 2023
- Reconciling Partial and Local Invertibility is accepted by European Symposium on Programming.
- Dec, 2023
- SPARCL : A Language for Partially-Invertible Computation is accepted by Journal of Functional Programming.
- Sep, 2023
- My student Minh Nguyen has successfully defended his PhD thesis Effects and Effect Handlers for Probabilistic Programming. Congratulations Minh!
- Sep, 2023
- I am on the PC of ICFP24. Please consider submitting.
- Sep, 2023
- We are organising Fun in the Afternoon / S-REPLS 13 at Bristol.
- Sep, 2023
- I delivered a keynote Translation to Rust at China Computer Federation (CCF).
- Sep, 2023
- I am co-organising PEPM 2024. Please consider submitting. Deadline: 18th October 2023.
- Aug, 2023
- Reflecting on Random Generation received Distinguished Paper award at ICFP’23!
- July, 2023
- Contract Lenses: Reasoning about Bidirectional Programs via Calculation is accepted by Journal of Functional Programming.
- July, 2023
- Effect Handlers for Programmable Inference is accepted by Haskell’23.
- Jun, 2023
- We are recruiting a lecturer in Programming Languages and Compilers.
- Jun, 2023
- My student Minh Nguyen is awarded EPSRC Doctoral Prize Fellowship for the proposal Robust, Reusable Computational Models via Typed Functional Programming.
- Jun, 2023
- The extended version of our OOPSLA’21 paper Synbit: Synthesizing Bidirectional Programs using Unidirectional Sketches is accepted by Journal of Formal Methods in System Design.
- May, 2023
- Two papers Embedding by Unembedding and Reflecting on Random Generation are accepted by ICFP’23.
- Apr, 2023
- Ownership guided C to Rust translation is accepted by CAV’23.
- Feb, 2023
- Funding success! Debugging Systems For Metaprogramming-based EDSLs is funded by Huawei Ireland.