Chung-Kil Hur

Available identifiers

zbMath Open hur.chung-kilMaRDI QIDQ1014643

List of research outcomes

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
Lightweight verification of separate compilation	2016-10-24	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

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Chung-Kil Hur