Programming Languages
Numerical Computation
Machine Learning
We make foundational software reliable and scalable.
We focus on fundamental programs and computations across diverse areas.
We prove their correctness, improve their efficiency, and understand their fundamental limits.
For more details, see our Research and Publications pages, and Overview slides.
We are actively recruiting students, including undergraduates (과제연구, 연구참여 등).
We look for students interested in programming languages, numerical computation, or mathematics.
If you are interested, please email us. We are happy to chat!
(2025/11) Our paper has been accepted to POPL 2026. (Optimising Density Computations ...)
(2025/05) Our paper has been accepted to ICML 2025. (Floating-Point Neural Networks ...)
(2025/04) Our paper has been accepted to CAV 2025. (Floating-Point Neural Networks ...)
(2025/04) Our paper has been accepted to PLDI 2025. (Random Variate Generation ...)
(2025/04) Our paper has been accepted to PLDI 2025. (Semantics of Integrating ...)