Joonwon Choi -

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

Contributions

SPLASH 2021	Author of Integration Verification Across Software and Hardware for a Simple Embedded System within the SIGPLAN Papers-track
PLDI 2021	Author of Integration Verification across Software and Hardware for a Simple Embedded System within the PLDI-track
REMS-DeepSpec 2020	Author of The Verified IoT Lightbulb: Connecting Hardware and Software in a Simple Embedded System within the REMS-DeepSpec 2020-track
DeepSpec 2019	Presenter of Modular Correctness Proofs at the Hardware-Software Interface within the DeepSpec 2019-track
DeepSpec 2018	Author of Serializability for Distributed Protocols within the DeepSpec 2018-track
PLDI 2018	Author of Crellvm: Verified Credible Compilation for LLVM within the PLDI Research Papers-track
ICFP 2017	Author of Kami: A Platform for High-Level Parametric Hardware Specification and Its Modular Verification within the Research Papers-track