Meng Wang
Scholar

Meng Wang

Google Scholar ID: NwDbSggAAAAJ
Professor of Programming Languages, University of Bristol
Functional ProgrammingBidirectional ProgrammingDomain-Specific LanguagesTestingAspect
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
1,327
 
H-index
19
 
i10-index
36
 
Publications
20
 
Co-authors
56
list available
Contact
No contact links provided.
Publications
4 items
LLVM-Bench: Benchmarking and Advancing Large Language Models for LLVM Compiler Issue Resolution
2026
Cited
0
Towards Definitional Interpreters for Hoare Logics
2026
Cited
0
Validated Code Translation for Projects with External Libraries
2026
Cited
0
Lenses for Partially-Specified States (Extended Version)
arXiv.org · 2026
Cited
0
Resume (English only)
Co-authors
56 total
Kazutaka Matsuda
Kazutaka Matsuda
Tohoku University
Jeremy Gibbons
Jeremy Gibbons
Professor of Computing, University of Oxford
Jie M. Zhang
Jie M. Zhang
Lecturer (Assistant Professor), King's College London
Cristina David
Cristina David
University of Bristol
Zhenjiang Hu
Zhenjiang Hu
Professor, School of Computer Science, Peking University
Mark Harman
Mark Harman
Research Scientist at Meta & Professor of Software Engineering at UCL
Dan Hao
Dan Hao
Peking University
Hanliang Zhang
Hanliang Zhang
Applied Scientist, Amazon Web Services (AWS)