Login / Signup

Chung-Kil Hur

ORCID

Publication Activity (10 Years)

Years Active: 2007-2023
Publications (10 Years): 25

Top Topics

Metropolis Hastings
Lightweight
Operational Semantics
Provably Correct

Top Venues

PLDI
Proc. ACM Program. Lang.
CoRR
POPL

University of Cambridge, UK (PHD)

Education History
University of Cambridge, UK

PHD

Publications