Welcome to Software Foundations Lab!

News


  • Sep 2023. Our paper “Stuttering for Free” has been accepted at OOPSLA’23. See here.
  • Apr 2023. Chung-Kil Hur is charing the Program Committee of APLAS 2023, which will take place on 26-29 November 2023 in Taipei, Taiwan. Submit your papers by 15 June 2023, AoE!
  • Apr 2023. Our paper “Fair Operational Semantics” has been accepted at PLDI’23. See here.
  • Apr 2023. Our paper “Putting Weak Memory in Order via a Promising Intermediate Representation” has been accepted at PLDI’23. See here.
  • Oct 2022. Our paper “Conditional Contextual Refinement” has been accepted at POPL’23. See here.
  • Feb 2022. Our paper “Sequential Reasoning for Optimizing Compilers under Weak Memory Concurrency” has been accepted at PLDI’22. See here.
  • Jun 2021. Our paper “Formally Verified Simulations of State-Rich Processes using Interaction Trees in Isabelle/HOL” has been accepted at CONCUR’21. See here.
  • May 2021. Our paper “Alive2: Bounded Translation Validation for LLVM” received a PLDI'21 Distinguished Paper Award.
  • Apr 2021. Our paper “An SMT Encoding of LLVM's Memory Model for Bounded Translation Validation” has been accepted at CAV’21. See here.
  • Feb 2021. Our paper “Modular Data-Race-Freedom Guarantees in the Promising Semantics” has been accepted at PLDI’21. See here.
  • Feb 2021. Our paper “Alive2: Bounded Translation Validation for LLVM” has been accepted at PLDI’21. See here.
  • Aug 2020. Juneyoung Lee will give a keynote speech at the 2020 LLVM Developers' Meeting. See here for details. This is the first time a phd student is giving a keynote speech at the meeting. Congratulations!
  • Feb 2020. Our paper “Promising 2.0: Global Optimizations in Relaxed Memory Concurrency” has been accepted at PLDI’20. See here.
  • Jan 2020. Our paper “Interaction Trees: Representing Recursive and Impure Programs in Coq” received a POPL'20 Distinguished Paper Award.

More (Past) News

Contact


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