Registered user since Tue 19 Jan 2016

Name: Joonwon Choi

Affiliation: Massachusetts Institute of Technology, USA

Personal website: http://joonwon.net/c

Research interests: Formal Methods, Proof Assistants, Hardware Verification

All Activities

• Author of Kami: A Platform for High-Level Parametric Hardware Specification and Its Modular Verification within the Research Papers-track in ICFP 2017
• Author of Crellvm: Verified Credible Compilation for LLVM within the PLDI Research Papers-track in PLDI 2018