C.-H. Luke Ong

Registered user since Thu 8 Oct 2015

Name:C.-H. Luke Ong
Country:United Kingdom
Affiliation:University of Oxford
Research interests:Probabilistic Programming, Programming Languages and Verification, Semantics of Computation, Logic and Algorithms, Higher-Order Model Checking; Lambda Calculus and Type Theory

Contributions

PLDI 2022 CycleQ: an efficient basis for cyclic equational reasoning
(PLDI 2021) On Probabilistic Termination of Functional Programs with Continuous Distributions
Guaranteed bounds for posterior inference in universal probabilistic programming
Show activities from other conferences

Using general profile