Chung-Kil Hur

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
A promising semantics for relaxed-memory concurrency Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages	2017-10-20	Paper
A provably correct sampler for probabilistic programs	2017-07-13	Paper
Pilsner: a compositionally verified compiler for a higher-order imperative language Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming	2017-05-10	Paper
The marriage of bisimulations and Kripke logical relations Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages	2015-09-11	Paper
Biorthogonality, step-indexing and compiler correctness Proceedings of the 14th ACM SIGPLAN international conference on Functional programming	2015-01-06	Paper
The power of parameterization in coinductive proof Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages	2014-11-27	Paper
Term equational systems and logics (extended abstract) Electronic Notes in Theoretical Computer Science	2014-05-13	Paper
A Kripke logical relation between ML and assembly Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages	2014-04-10	Paper
Strongly typed term representations in Coq Journal of Automated Reasoning	2013-08-01	Paper
On the mathematical synthesis of equational logics Logical Methods in Computer Science	2012-04-02	Paper
Second-Order Equational Logic (Extended Abstract) Computer Science Logic	2010-09-03	Paper
On the construction of free algebras for equational systems Theoretical Computer Science	2009-04-29	Paper
Equational Systems and Free Constructions (Extended Abstract) Automata, Languages and Programming	2007-11-28	Paper

Research outcomes over time

This page was built for person: Chung-Kil Hur