Zhengyao Lin
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
2021–2025
Best venue rank
A*
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | CADE | Cazamariposas: Automated Instability Debugging in SMT-Based Program Verification. | Yi Zhou, Amar Shah, Zhengyao Lin, Marijn Heule, Bryan Parno |
| 2021 | ASPLOS | Language-parametric compiler validation with application to LLVM. | Theodoros Kasampalis, Daejun Park, Zhengyao Lin, Vikram S. Adve, Grigore Rosu |
| 2021 | CAV | Towards a Trustworthy Semantics-Based Language Framework via Proof Generation. | Xiaohong Chen, Zhengyao Lin, Minh-Thai Trinh, Grigore Rosu |