Home

Welcome to Software Foundations Laboratory!

News

  • [06/2017] Our paper “Repairing Sequential Consistency in C/C++11″ received a PLDI 2017 Distinguished Paper Award.
  • [03/2017] Juneyoung Lee received a graduate scholarship from KFAS (Korea Foundation of Advanced Studies).
  • [02/2017] Our paper “Taming Undefined Behavior in LLVM” has been accepted at PLDI’17.
    See here for more details.
  • [02/2017] Our paper “Repairing Sequential Consistency in C/C++11″ has been accepted at PLDI’17.
    See here for more details.
  • [10/2016] Our paper “A Promising Semantics for Relaxed-Memory Concurrency” has been accepted at POPL’17.
    See here for more details.

  • [06/2016] Our technique “Lightweight Verification of Separate Compilation” has been applied to CompCert 2.7.
    See here for more details.
  • [10/2015] Our paper “Lightweight Verification of Separate Compilation” has been accepted at POPL’16.
    See here for more details.
  • [05/2015] Our paper “Pilsner: A Compositionally Verified Compiler for a Higher-Order Imperative Language” has been accepted at ICFP’15.
    See here for more details.
  • [03/2015] Jeehoon Kang received a graduate scholarship from KFAS (Korea Foundation of Advanced Studies).
  • [02/2015] Our paper “A Formal C Memory Model Supporting Integer-Pointer Casts” has been accepted at PLDI’15.
    See here for more details.
  • [04/2014] Our paper “R2: An Efficient MCMC Sampler for Probabilistic Programs” has been accepted at AAAI’14 for oral presentation.
    See here for more details.
  • [03/2014] Yoonseung Kim received a graduate scholarship from KFAS (Korea Foundation of Advanced Studies).
  • [02/2014] Our paper “Slicing Probabilistic Programs” has been accepted at PLDI’14.
    See here for more details.

Research

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

People

Contact us

Professor: Room 407 Bldg 301, TEL: 02-880-1844
Students: Room 416 Bldg 301, TEL: 02-880-4165

Department of Computer Science and Engineering
Seoul National University
1 Gwanak-ro, Gwanak-gu Seoul 151-744
Republic of Korea