Joonwon Choi
Publications by Year
Research Areas
Formal Methods in Verification, Logic, programming, and type systems, Security and Verification in Computing, Software Testing and Debugging Techniques, Parallel Computing and Optimization Techniques
Most-Cited Works
- → Kami: a platform for high-level parametric hardware specification and its modular verification(2017)93 cited
- → EverCrypt: A Fast, Verified, Cross-Platform Cryptographic Provider(2020)75 cited
- → Integration verification across software and hardware for a simple embedded system(2021)28 cited
- → Crellvm: verified credible compilation for LLVM(2018)23 cited
- → Hemiola: A DSL and Verification Tools to Guide Design and Proof of Hierarchical Cache-Coherence Protocols(2022)6 cited
- EverCrypt: A Fast, Verified, Cross-Platform Cryptographic Provider.(2019)
- → Replication Package for Article: Integration Verification across Software and Hardware for a Simple Embedded System(2021)2 cited
- Unstaging Translation of Cross-Stage Persistent Multi-Staged Programs(2012)
- → Signal Temporal Logic Verification and Synthesis Using Deep Reachability Analysis and Layered Control Architecture(2026)