C.-H. Luke Ong -

Registered user since Thu 8 Oct 2015

Name:C.-H. Luke Ong

Country:United Kingdom

Affiliation:University of Oxford

Personal website:http://www.cs.ox.ac.uk/people/luke.ong/personal

Research interests:Probabilistic Programming, Programming Languages and Verification, Semantics of Computation, Logic and Algorithms, Higher-Order Model Checking; Lambda Calculus and Type Theory

Contributions

LAFI 2023	Author of Exact Inference for Discrete Probabilistic Programs via Generating Functions within the LAFI 2023-track Author of Pitfalls of Full Bayesian Inference in Universal Probabilistic Programming within the LAFI 2023-track
PLDI 2022	Author of CycleQ: an efficient basis for cyclic equational reasoning within the PLDI-track Author of (PLDI 2021) On Probabilistic Termination of Functional Programs with Continuous Distributions within the SIGPLAN Track-track Author of Guaranteed bounds for posterior inference in universal probabilistic programming within the PLDI-track
POPL 2022	Committee Member in Program Committee within the POPL-track
LAFI 2022	Author of Rigorous Approximation of Posterior Inference for Probabilistic Programs within the LAFI-track Author of A Language and Smoothed Semantics for Convergent Stochastic Gradient Descent within the LAFI-track Author of Nonparametric Involutive Markov Chain Monte Carlo within the LAFI-track
SPLASH 2021	Author of On Probabilistic Termination of Functional Programs with Continuous Distributions within the SIGPLAN Papers-track
PLDI 2021	Author of On Probabilistic Termination of Functional Programs with Continuous Distributions within the PLDI-track
LAFI 2021	Author of Binary Tree Hamiltonian Monte Carlo within the LAFI 2021-track
LAFI 2020	Author of A Differential-form Pullback Programming Language for Higher-order Reverse-mode Automatic Differentiation within the LAFI (né PPS)-track Author of Density Functions of Statistical Probabilistic Programs within the LAFI (né PPS)-track
ESOP 2019	Author of Fixing Incremental Computation: Derivatives of fixpoints, and the recursive semantics of Datalog within the ESOP 2019-track
FOSSACS 2019	Author of Change Actions: Models of Generalised Differentiation within the FOSSACS 2019-track Session Chair of Semantics (part of FOSSACS 2019)
GaLoP 2019	Committee Member in Steering Committee within the GaLoP-track
HCVS 2019	Author of HoCHC: A Refutationally Complete and Semantically Invariant System of Higher-order Logic Modulo Theories within the HCVS-track
QAPL 2019	Author of Automatic Synthesis of Polynomial Probabilistic Invariants via Geometric Persistence within the QAPL-track
POPL 2018	Author of Higher-Order Constrained Horn Clauses for Verification within the Research Papers-track Author of Higher-Order Constrained Horn Clauses for Verification within the Artifact Evaluation-track
PPS 2018	Author of Game Semantics for Probabilistic Programs within the PPS 2018-track
POPL 2016	Author of Unboundedness and Downward Closures of Higher-Order Pushdown Automata within the Research Papers-track Author of T5: Higher-Order Model Checking within the Tutorials-track Session Chair of Track 2: Decidability and complexity (part of Research Papers)
SPLASH 2015	Author of Detecting Redundant CSS Rules in HTML5 Applications: A Tree Rewriting Approach within the OOPSLA-track Author of Detecting Redundant CSS Rules in HTML5 Applications: A Tree Rewriting Approach within the OOPSLA Artifacts-track
AGERE 2012	Author of Soter: an automatic safety verifier for erlang within the AGERE 2012-track