Luke Ong
Professor Luke Ong
Room
340,
Wolfson Building,
Parks Road, Oxford OX1 3QD
United Kingdom
Themes:
Completed Projects:
See Also:
Interests
My research has mainly been in Semantics of Computation, which is concerned with the development and analysis of mathematical structures that model computation using ideas and tools from Mathematical Logic. More recently my research has tended to be motivated by problems of an algorithmic nature. Here is a summary in HTML.
Selected Publications
-
Verifying Higher−Order Functional Programs with Pattern Matching Algebraic Data Types
C.−H. Luke Ong and Steven J. Ramsay
In Proceedings of the 38th ACM SIGACT−SIGPLAN Symposium on the Principles of Programming Languages (POPL '11). 2011.
Details about Verifying Higher−Order Functional Programs with Pattern Matching Algebraic Data Types | BibTeX data for Verifying Higher−Order Functional Programs with Pattern Matching Algebraic Data Types | Download (pdf) of Verifying Higher−Order Functional Programs with Pattern Matching Algebraic Data Types
-
The Safe Lambda Calculus
William Blum and C.−H. Luke Ong
In Logic Methods in Computer Science. Vol. 5. No. 1. 2009.
Details about The Safe Lambda Calculus | BibTeX data for The Safe Lambda Calculus | DOI (10.2168/LMCS-5(1:3)2009) | Link to The Safe Lambda Calculus
-
Symbolic Backwards Reachability Analysis for Higher−Order Pushdown Systems
M. Hague and C.−H. L. Ong
In FoSSaCS. 2007.
Details about Symbolic Backwards Reachability Analysis for Higher−Order Pushdown Systems | BibTeX data for Symbolic Backwards Reachability Analysis for Higher−Order Pushdown Systems | Download (pdf) of Symbolic Backwards Reachability Analysis for Higher−Order Pushdown Systems
Activities
- Game Semantics
- Differentiable and Probabilistic Programming
- Foundations of Programming Languages
- Hardware Verification
- Model Checking
Projects
Completed Projects
- Pushdown Automata and Game Semantics
- GAMES
- Verifying Properties of the ML Family of Languages
- Metacomputation