Concepedia

Joonwon Choi

JC

Statistics

Publications

4

Citations

224

H-Index

4

Active since

2017

Affiliations

Massachusetts Institute of Technology(Current)

Joonwon Choi is an author at Massachusetts Institute of Technology specializing in computer science, computer engineering, and computing.

Publications per year

2017–2021

4

Publications

4

Kami: a platform for high-level parametric hardware specification and its modular verification

Joonwon Choi, Muralidaran Vijayaraghavan, Benjamin Sherman et al. · Proceedings of the ACM on Programming Languages · 2017 · 95 citations · Full text

Computing, Computer Engineering, Computer Science +17

EverCrypt: A Fast, Verified, Cross-Platform Cryptographic Provider

Jonathan Protzenko, Bryan Parno, Aymeric Fromherz et al. · 2020 · 75 citations · Full text

Computing, Computer Engineering, Computer Science +17

Integration verification across software and hardware for a simple embedded system

Andres Erbsen, Samuel Gruetter, Joonwon Choi et al. · 2021 · 28 citations · Full text

Computing, Computer Engineering, Computer Science +16

Crellvm: verified credible compilation for LLVM

Jeehoon Kang, Yoonseung Kim, Youngju Song et al. · 2018 · 26 citations

Computing, Computer Engineering, Computer Science +10

1–4 of 4