Joonwon Choi

Registered user since Tue 19 Jan 2016

Name: Joonwon Choi

Affiliation: Massachusetts Institute of Technology, USA

Personal website:

Research interests: Formal Methods, Proof Assistants, Hardware Verification


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
Show activities from other conferences

PLDI 2018-profile
View general profile