Programming Language Research Group

Programming Language Research Group at KAIST focuses on applying programming language technology to help programmers develop high-quality software. Our research interests include programming languages, compilers, program analyses, and programming environments. We are especially interested in applying advanced type systems, certifying compilers, automated and scalable program analyses, and practical debugging and testing tools to build safe and reliable systems.

SAFE: Scalable Analysis Framework for ECMAScript

We have developed SAFE, a scalable analysis framework for ECMAScript to help developers to build safer web applications using JavaScript. Our open-source implementation of SAFE is currently being used by colleagues in Seoul National University, University of Illinois at Urbana-Champaign, and Hong Kong University of Science and Technology, as well as by industrial partners. We won the Google Faculty Research Award in 2013 and ACM SRC awards in 2013 and 2014.

High-speed Automatic Framework for OCT Imaging

We have developed a push-of-a-button system that visualizes 3D microstructures of the vessel wall with stent struts from raw binary OCT data acquired by the system digitizer as one seamless process. We are collaborating with colleagues at Harvard University and medical doctors in various hospitals.