| Towards a Trustworthy Semantics-Based Language Framework via Proof Generation X Chen, Z Lin, MT Trinh, G Rosu Proceedings of the 33rd International Conference on Computer-Aided …, 2021 | 23 | 2021 |
| Language-parametric compiler validation with application to LLVM T Kasampalis, D Park, Z Lin, VS Adve, G Roşu Proceedings of the 26th ACM International Conference on Architectural …, 2021 | 22 | 2021 |
| Generating Proof Certificates for a Language-Agnostic Deductive Program Verifier Z Lin, X Chen, MT Trinh, J Wang, G Roşu Proceedings of the ACM on Programming Languages 7 (OOPSLA1), 56-84, 2023 | 9 | 2023 |
| Synthesizing axiomatizations using logic learning P Krogmeier, Z Lin, A Murali, P Madhusudan Proceedings of the ACM on Programming Languages 6 (OOPSLA2), 1697-1725, 2022 | 3 | 2022 |
| FlowCert: Translation Validation for Asynchronous Dataflow via Dynamic Fractional Permissions Z Lin, J Gancher, B Parno Proceedings of the ACM on Programming Languages 8 (OOPSLA2), 499-526, 2024 | | 2024 |
| Pecan: An Automated Theorem Prover R Oei, D Ma, Z Lin, Y Teng 2021 Joint Mathematics Meetings (JMM), 0 | | |
