Chung-Kil Hur
TitleCited byYear
Biorthogonality, step-indexing and compiler correctness
N Benton, CK Hur
ACM Sigplan Notices 44 (9), 97-108, 2009
1112009
A Kripke logical relation between ML and assembly
CK Hur, D Dreyer
ACM SIGPLAN Notices 46 (1), 133-146, 2011
812011
R2: An efficient MCMC sampler for probabilistic programs
A Nori, CK Hur, S Rajamani, S Samuel
Twenty-Eighth AAAI Conference on Artificial Intelligence, 2014
802014
The power of parameterization in coinductive proof
CK Hur, G Neis, D Dreyer, V Vafeiadis
ACM SIGPLAN Notices 48 (1), 193-206, 2013
702013
A promising semantics for relaxed-memory concurrency
J Kang, CK Hur, O Lahav, V Vafeiadis, D Dreyer
ACM SIGPLAN Notices 52 (1), 175-189, 2017
692017
The marriage of bisimulations and Kripke logical relations
CK Hur, D Dreyer, G Neis, V Vafeiadis
ACM SIGPLAN Notices 47 (1), 59-72, 2012
612012
Repairing sequential consistency in C/C++ 11
O Lahav, V Vafeiadis, J Kang, CK Hur, D Dreyer
ACM SIGPLAN Notices 52 (6), 618-632, 2017
602017
Pilsner: a compositionally verified compiler for a higher-order imperative language
G Neis, CK Hur, JO Kaiser, C McLaughlin, D Dreyer, V Vafeiadis
ACM Sigplan Notices 50 (9), 166-178, 2015
592015
Strongly typed term representations in Coq
N Benton, CK Hur, AJ Kennedy, C McBride
Journal of automated reasoning 49 (2), 141-159, 2012
562012
Slicing probabilistic programs
CK Hur, AV Nori, SK Rajamani, S Samuel
ACM SIGPLAN Notices 49 (6), 133-144, 2014
402014
A formal C memory model supporting integer-pointer casts
J Kang, CK Hur, W Mansky, D Garbuzov, S Zdancewic, V Vafeiadis
ACM SIGPLAN Notices 50 (6), 326-335, 2015
382015
Second-order equational logic
M Fiore, CK Hur
International Workshop on Computer Science Logic, 320-335, 2010
372010
Lightweight verification of separate compilation
J Kang, Y Kim, CK Hur, D Dreyer, V Vafeiadis
ACM SIGPLAN Notices 51 (1), 178-190, 2016
332016
Realizability and compositional compiler correctness for a polymorphic language
N Benton, CK Hur, C Paris
Technical Report MSR-TR-2010–62, Microsoft Research, Tech. Rep., 2010
292010
Term equational systems and logics
M Fiore, CK Hur
Electronic Notes in Theoretical Computer Science 218, 171-192, 2008
272008
Taming undefined behavior in LLVM
J Lee, Y Kim, Y Song, CK Hur, S Das, D Majnemer, J Regehr, NP Lopes
ACM SIGPLAN Notices 52 (6), 633-647, 2017
222017
Equational Systems and Free Constructions (Extended Abstract)
M Fiore, CK Hur
International Colloquium on Automata, Languages, and Programming, 607-618, 2007
212007
On the construction of free algebras for equational systems
M Fiore, CK Hur
Theoretical Computer Science 410 (18), 1704-1729, 2009
202009
A provably correct sampler for probabilistic programs
CK Hur, AV Nori, SK Rajamani, S Samuel
35th IARCS Annual Conference on Foundations of Software Technology and …, 2015
162015
A logical step forward in parametric bisimulations
CK Hur, G Neis, D Dreyer, V Vafeiadis
Technical Report MPI-SWS-2014-003, MPI-SWS, 2014
142014
The system can't perform the operation now. Try again later.
Articles 1–20