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 | 18 | 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 | 11 | 2021 |

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 |

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 | 1 | 2023 |

Trustworthy program verification via proof generation Z Lin, X Chen, MT Trinh, J Wang, G Rosu | 1 | 2021 |

Making Formal Verification Trustworthy via Proof Generation Z Lin, X Chen, MT Trinh, J Wang, G Rosu | | 2021 |

A Translation Validation Algorithm for LLVM Register Allocators Z Lin, T Kasampalis, V Adve | | 2021 |

Pecan: An Automated Theorem Prover R Oei, D Ma, Z Lin, Y Teng 2021 Joint Mathematics Meetings (JMM), 0 | | |