Chung-Kil Hur

Available identifiers

Publication	Date of Publication	Type
A promising semantics for relaxed-memory concurrency	2017-10-20	Paper
https://portal.mardi4nfdi.de/entity/Q5275390	2017-07-13	Paper
Pilsner: a compositionally verified compiler for a higher-order imperative language	2017-05-10	Paper
The marriage of bisimulations and Kripke logical relations	2015-09-11	Paper
Biorthogonality, step-indexing and compiler correctness	2015-01-06	Paper
The power of parameterization in coinductive proof	2014-11-27	Paper
Term Equational Systems and Logics	2014-05-13	Paper
A kripke logical relation between ML and assembly	2014-04-10	Paper
Strongly typed term representations in Coq	2013-08-01	Paper
On the mathematical synthesis of equational logics	2012-04-02	Paper
Second-Order Equational Logic (Extended Abstract)	2010-09-03	Paper
On the construction of free algebras for equational systems	2009-04-29	Paper
Equational Systems and Free Constructions (Extended Abstract)	2007-11-28	Paper

This page was built for person: Chung-Kil Hur