• Sign in
  • Sign up
conf.researchr.org / Joonwon Choi
  • ICFP 2017 profile
  • PLDI 2018 profile
  • PLDI 2019 profile
  • PLDI 2020 profile
  • PLDI 2021 profile
  • PLDI 2024 profile
  • SPLASH 2021 profile
Joonwon Choi

Registered user since Tue 19 Jan 2016

Name:Joonwon Choi
Country:United States
Affiliation:Apple
Personal website: http://joonwon.net/c
Research interests:Formal Methods, Mechanized Proofs, Deductive Verification, Model Checking, Hardware Verification, Security

Contributions

2024

PLDI

  • Committee Member in PLDI Review Committee within the PLDI Research Papers-track

2021

SPLASH

  • Author of Integration Verification Across Software and Hardware for a Simple Embedded System within the SIGPLAN Papers-track

PLDI

  • Author of Integration Verification across Software and Hardware for a Simple Embedded System within the PLDI-track

2020

DeepSpec

  • Author of The Verified IoT Lightbulb: Connecting Hardware and Software in a Simple Embedded System within the REMS-DeepSpec 2020-track

2019

DeepSpec

  • Presenter of Modular Correctness Proofs at the Hardware-Software Interface within the DeepSpec 2019-track

2018

DeepSpec

  • Author of Serializability for Distributed Protocols within the DeepSpec 2018-track

PLDI

  • Author of Crellvm: Verified Credible Compilation for LLVM within the PLDI Research Papers-track

2017

ICFP

  • Author of Kami: A Platform for High-Level Parametric Hardware Specification and Its Modular Verification within the Research Papers-track
Share
xSun 22 Jun 19:40
using conf.researchr.org (v1.69.0)
Support page
Sign Up