Sungkeun Cho

Publication Activity (10 Years)

Years Active: 2012-2020
Publications (10 Years): 2

Top Topics

Mathematical Foundations

Extended Abstract

Top Venues

Publications

Ezgi Çiçek, Mehdi Bouaziz, Sungkeun Cho, Dino Distefano
Static Resource Analysis at Scale (Extended Abstract). SAS (2020)
Jeehoon Kang, Yoonseung Kim, Youngju Song, Juneyoung Lee, Sanghoon Park, Mark Dongyeon Shin, Yonghyun Kim, Sungkeun Cho, Joonwon Choi, Chung-Kil Hur, Kwangkeun Yi
Crellvm: verified credible compilation for LLVM. PLDI (2018)
Gyesik Lee, Bruno C. d. S. Oliveira, Sungkeun Cho, Kwangkeun Yi
GMeta: A Generic Formal Metatheory Framework for First-Order Representations. ESOP (2012)