conf.researchr.org / Joonwon Choi
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

DeepSpec 2019Presenter of Modular Correctness Proofs at the Hardware-Software Interface within the DeepSpec 2019-track
DeepSpec 2018Author of Serializability for Distributed Protocols within the DeepSpec 2018-track
PLDI 2018Author of Crellvm: Verified Credible Compilation for LLVM within the PLDI Research Papers-track
ICFP 2017Author of Kami: A Platform for High-Level Parametric Hardware Specification and Its Modular Verification within the Research Papers-track