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 | 21 | 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 | 16 | 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 | 4 | 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 |
WaveCert: Formal Compiler Validation for Asynchronous Dataflow Programs Z Lin, J Gancher, B Parno arXiv preprint arXiv:2312.09326, 2023 | | 2023 |
Pecan: An Automated Theorem Prover R Oei, D Ma, Z Lin, Y Teng 2021 Joint Mathematics Meetings (JMM), 0 | | |