Home

Welcome to Software Foundations Laboratory!

News

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