| Kami: A platform for high-level parametric hardware specification and its modular verification J Choi, M Vijayaraghavan, B Sherman, A Chlipala, Arvind Proceedings of the ACM on Programming Languages 1 (ICFP), 1-30, 2017 | 137 | 2017 |
| Evercrypt: A fast, verified, cross-platform cryptographic provider J Protzenko, B Parno, A Fromherz, C Hawblitzel, M Polubelova, ... 2020 IEEE Symposium on Security and Privacy (SP), 983-1002, 2020 | 113 | 2020 |
| Integration verification across software and hardware for a simple embedded system A Erbsen, S Gruetter, J Choi, C Wood, A Chlipala Proceedings of the 42nd ACM SIGPLAN International Conference on Programming …, 2021 | 50 | 2021 |
| Crellvm: verified credible compilation for LLVM J Kang, Y Kim, Y Song, J Lee, S Park, MD Shin, Y Kim, S Cho, J Choi, ... Proceedings of the 39th ACM SIGPLAN Conference on Programming Language …, 2018 | 39 | 2018 |
| Hemiola: A DSL and Verification Tools to Guide Design and Proof of Hierarchical Cache-Coherence Protocols J Choi, A Chlipala, Arvind International Conference on Computer Aided Verification, 317-339, 2022 | 6 | 2022 |
| Structural Design and Proof of Hierarchical Cache-Coherence Protocols J Choi Massachusetts Institute of Technology, 2021 | 2 | 2021 |
| An inlining approach to formal hardware semantics J Choi Massachusetts Institute of Technology, 2016 | 1 | 2016 |
| SparrowBerry: A verified validator for an industrial-strength static analyzer S Cho, J Kang, J Choi, K Yi | 1 | |
