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.
Our research focuses on theoretically interesting software problems that are also practically useful.
Please see below for the details of our recent projects.