Welcome to Software Foundations Lab!

News


  • Feb 2025. Our paper “Lilo: A Higher-Order, Relational Concurrent Separation Logic for Liveness” has been accepted at OOPSLA 2025. See here.
  • Oct 2024. Our paper “VeriRT: An End-to-End Verification Framework for Real-Time Distributed Systems” has been accepted at POPL 2025. See here.
  • Oct 2024. Our paper “Archmage and CompCertCast: End-to-End Verification Supporting Integer-Pointer Casting” has been accepted at POPL 2025. See here.
  • June 2024. Chung-Kil Hur is charing the Organizing Committee of PLDI 2025, which will take place on 16-20 June 2025 in Seoul, Korea.
  • 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.

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