Chung-Kil Hur
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
27
Venues
11
Active years
2007–2025
Best venue rank
A*
Where they publish
Papers
27 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | CPP | CRIS: The Power of Imagination in Specification and Verification (Invited Talk). | Chung-Kil Hur |
| 2025 | ICML | Pfeife: Automatic Pipeline Parallelism for PyTorch. | Ho Young Jhoo, Chung-Kil Hur, Nuno P. Lopes |
| 2022 | PLDI | Sequential reasoning for optimizing compilers under weak memory concurrency. | Minki Cho, Sung-Hwan Lee, Dongjae Lee, Chung-Kil Hur, Ori Lahav |
| 2021 | CAV | An SMT Encoding of LLVM's Memory Model for Bounded Translation Validation. | Juneyoung Lee, Dongjoo Kim, Chung-Kil Hur, Nuno P. Lopes |
| 2021 | CONCUR | Formally Verified Simulations of State-Rich Processes Using Interaction Trees in Isabelle/HOL. | Simon Foster, Chung-Kil Hur, Jim Woodcock |
| 2021 | PLDI | Modular data-race-freedom guarantees in the promising semantics. | Minki Cho, Sung-Hwan Lee, Chung-Kil Hur, Ori Lahav |
| 2021 | PLDI | Alive2: bounded translation validation for LLVM. | Nuno P. Lopes, Juneyoung Lee, Chung-Kil Hur, Zhengyang Liu, John Regehr |
| 2020 | CPP | An equational theory for weak bisimulation via generalized parameterized coinduction. | Yannick Zakowski, Paul He, Chung-Kil Hur, Steve Zdancewic |
| 2020 | PLDI | Promising 2.0: global optimizations in relaxed memory concurrency. | Sung-Hwan Lee, Minki Cho, Anton Podkopaev, Soham Chakraborty, Chung-Kil Hur, Ori Lahav, Viktor Vafeiadis |
| 2019 | CAV | AliveInLean: A Verified LLVM Peephole Optimization Verifier. | Juneyoung Lee, Chung-Kil Hur, Nuno P. Lopes |
| 2019 | PLDI | Promising-ARM/RISC-V: a simpler and faster operational concurrency model. | Christopher Pulte, Jean Pichon-Pharabod, Jeehoon Kang, Sung-Hwan Lee, Chung-Kil Hur |
| 2018 | PLDI | Crellvm: verified credible compilation for LLVM. | Jeehoon Kang, Yoonseung Kim, Youngju Song, Juneyoung Lee, Sanghoon Park, Mark Dongyeon Shin, Yonghyun Kim, Sungkeun Cho, Joonwon Choi, Chung-Kil Hur, Kwangkeun Yi |
| 2017 | PLDI | Repairing sequential consistency in C/C++11. | Ori Lahav, Viktor Vafeiadis, Jeehoon Kang, Chung-Kil Hur, Derek Dreyer |
| 2017 | PLDI | Taming undefined behavior in LLVM. | Juneyoung Lee, Yoonseung Kim, Youngju Song, Chung-Kil Hur, Sanjoy Das, David Majnemer, John Regehr, Nuno P. Lopes |
| 2017 | POPL | A promising semantics for relaxed-memory concurrency. | Jeehoon Kang, Chung-Kil Hur, Ori Lahav, Viktor Vafeiadis, Derek Dreyer |
| 2016 | POPL | Lightweight verification of separate compilation. | Jeehoon Kang, Yoonseung Kim, Chung-Kil Hur, Derek Dreyer, Viktor Vafeiadis |
| 2015 | ICFP | Pilsner: a compositionally verified compiler for a higher-order imperative language. | Georg Neis, Chung-Kil Hur, Jan-Oliver Kaiser, Craig McLaughlin, Derek Dreyer, Viktor Vafeiadis |
| 2015 | PLDI | A formal C memory model supporting integer-pointer casts. | Jeehoon Kang, Chung-Kil Hur, William Mansky, Dmitri Garbuzov, Steve Zdancewic, Viktor Vafeiadis |
| 2014 | AAAI | R2: An Efficient MCMC Sampler for Probabilistic Programs. | Aditya V. Nori, Chung-Kil Hur, Sriram K. Rajamani, Selva Samuel |
| 2014 | PLDI | Slicing probabilistic programs. | Chung-Kil Hur, Aditya V. Nori, Sriram K. Rajamani, Selva Samuel |
| 2013 | POPL | The power of parameterization in coinductive proof. | Chung-Kil Hur, Georg Neis, Derek Dreyer, Viktor Vafeiadis |
| 2012 | POPL | The marriage of bisimulations and Kripke logical relations. | Chung-Kil Hur, Derek Dreyer, Georg Neis, Viktor Vafeiadis |
| 2011 | LICS | Separation Logic in the Presence of Garbage Collection. | Chung-Kil Hur, Derek Dreyer, Viktor Vafeiadis |
| 2011 | POPL | A kripke logical relation between ML and assembly. | Chung-Kil Hur, Derek Dreyer |
| 2010 | CSL | Second-Order Equational Logic (Extended Abstract). | Marcelo P. Fiore, Chung-Kil Hur |
| 2009 | ICFP | Biorthogonality, step-indexing and compiler correctness. | Nick Benton, Chung-Kil Hur |
| 2007 | ICALP | Equational Systems and Free Constructions (Extended Abstract). | Marcelo P. Fiore, Chung-Kil Hur |