Scholar
Robert Zhang
Google Scholar ID: ewz2zM8AAAAJ
The University of Texas at Austin
Citations & Impact
Citations
2
H-index
1
i10-index
0
Publications
2
Co-authors
7
list available
Publications
Resume (English only)
Academic Achievements
- Paper 'CRUST-Bench: A Comprehensive Benchmark for C-to-safe-Rust Transpilation' accepted as a spotlight at COLM 2025; paper 'A Pure Demand Operational Semantics with Applications to Program Analysis' conditionally accepted to appear at OOPSLA '24; selected as 2023 Masson Fellow.
Research Experience
- Presented paper 'A Pure Demand Operational Semantics with Applications to Program Analysis' at OOPSLA '24; led a workshop on JavaScript tooling for JHU ACM; spoke at PLMW @ POPL '23.
Education
- Currently a second-year Computer Science PhD student at the University of Texas at Austin; completed undergrad and master's at Johns Hopkins University, where he was a member of the Programming Languages Laboratory, working with Prof. Scott Smith on demand-driven execution.
Background
- Research interests include program synthesis and verification. Currently a second-year Computer Science PhD student at the University of Texas at Austin, working with Prof. Isil Dillig.
Miscellany
- Personal interests not mentioned
