Foundations of Programming & Computing (FPC) Lab

Research Areas

• Programming Languages

• Numerical Computation

• Machine Learning

Research Overview

• 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.

Announcements

• 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!

News

• (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 ...)

• (2024/11) FPC Lab has officially started.