Foundations of Programming & Computing (FPC) Lab

Research Areas

• Programming Languages

• Machine Learning

• Continuous Computations

Research Overview

• We make foundational software more 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.

Announcements

• We are actively recruiting motivated students at all levels.

• We look for students who have backgrounds in programming languages / mathematics, and interests in programs / computations.

• We welcome undergraduate interns (including 과제연구, 연구참여).

• If you are interested, please email us—we would be 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: The FPC Lab has officially started.