Software Foundations Lab

Welcome to Software Foundations Lab!

News

Nov 2018. We developed a simpler and faster operational concurrency model for ARMv8 and RISC-V. See here.
June 2018. Our paper “Reconciling High-level Optimizations and Low-level Code in LLVM” has been accepted at OOPSLA’18. See here.
Feb 2018. Our paper “Crellvm: Verified Credible Compilation for LLVM” has been accepted at PLDI’18. See here.
June 2017. Our paper “Repairing Sequential Consistency in C/C++11″ received a PLDI'17 Distinguished Paper Award.
Mar 2017. Juneyoung Lee received a graduate scholarship from KFAS (Korea Foundation of Advanced Studies).
Feb 2017. Our paper “Taming Undefined Behavior in LLVM” has been accepted at PLDI’17. See here.
Feb 2017. Our paper “Repairing Sequential Consistency in C/C++11″ has been accepted at PLDI’17. See here.
Oct 2016. Our paper “A Promising Semantics for Relaxed-Memory Concurrency” has been accepted at POPL’17. See here.

People

Professor
- Chung-Kil Hur
Graduate Students

Research

Our research focuses on theoretically interesting software problems that are also practically useful.
Please see below for the details of our recent projects.

Formal Semantics of low-level languages
Relaxed Memory Concurrency
Compiler Verification
- Crellvm: Verified Credible Compilation for LLVM
- Lightweight Verification of Separate Compilation

More (Past) Research

Contact

Professor: Room 426 Bldg 302, TEL: 02-880-1844
Students: Room 312-2 Bldg 302, TEL: 02-880-1865
Department of Computer Science and Engineering
Seoul National University
1 Gwanak-ro, Gwanak-gu, Seoul 08826
Republic of Korea