Introduction to the 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
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.