Scholar
Yuepeng Wang
Google Scholar ID: SMln4gEAAAAJ
Simon Fraser University
Citations & Impact
Citations
966
H-index
14
i10-index
15
Publications
20
Co-authors
7
list available
Contact
Publications
Resume (English only)
Academic Achievements
- Published multiple papers such as 'Graphiti: Bridging Graph and Relational Database Queries' (PLDI'25), 'Polygon: Symbolic Reasoning for SQL using Conflict-Driven Under-Approximation Search' (PLDI'25), 'Synthesizing Document Database Queries using Collection Abstractions' (ICSE'25).
Research Experience
- Currently an Assistant Professor in the School of Computing Science at Simon Fraser University, Canada. Previously, a postdoctoral researcher at the University of Pennsylvania.
Education
- PhD and MSc degrees from the University of Texas at Austin, BEng degree (with honors) from the University of Science and Technology of China.
Background
- Research interests include programming languages, formal methods, software engineering, and databases. Particularly interested in program verification and program synthesis.
Miscellany
- Looking for PhD and thesis MSc students who are interested in his research.
