Luke Ong

Identifiers

• name variant Luke Ong 0.60 · backfill

Papers (9)

1. Cost-Aware Adaptive Conformal Inference for Runtime Assurance in Dynamic Environments eess.SY · 2026 · author #3
2. SB-TRPO: Towards Safe Reinforcement Learning with Hard Constraints cs.LG · 2025 · author #3
3. Refined Barrier Conditions for Finite-Time Safety and Reach-Avoid Guarantees in Stochastic Systems eess.SY · 2025 · author #2
4. On S-Finite Measures and Kernels math.PR · 2018 · author #2
5. A Type System for proving Depth Boundedness in the pi-calculus cs.LO · 2015 · author #2
6. Detecting Redundant CSS Rules in HTML5 Applications: A Tree-Rewriting Approach cs.LO · 2014 · author #3
7. Weak and Nested Class Memory Automata cs.FL · 2014 · author #3
8. EGuaranteeNash for Boolean Games is NEXP-Hard cs.GT · 2013 · author #2
9. Information Flow Analysis for a Dynamically Typed Functional Language with Staged Metaprogramming cs.PL · 2013 · author #2

Mentions

• 1502.00944 #2 · backfill · confidence 0.70 Luke Ong
• 1412.5143 #3 · backfill · confidence 0.70 Luke Ong
• 1409.1136 #3 · backfill · confidence 0.70 Luke Ong
• 1312.4114 #2 · backfill · confidence 0.70 Luke Ong
• 2605.24463 #3 · arxiv_oai · confidence 0.70 Luke Ong
• 1302.3178 #2 · backfill · confidence 0.70 Luke Ong

Frequent Coauthors

• Bai Xue 2 shared papers
• Dominik Wagner 2 shared papers
• Andrzej Murawski 1 shared papers
• Ankit Kanwar 1 shared papers
• Anthony Widjaja Lin 1 shared papers
• Conrad Cotton-Barratt 1 shared papers
• Egor Ianovski 1 shared papers
• Emanuele D'Osualdo 1 shared papers
• Jingduo Pan 1 shared papers
• Martin Lester 1 shared papers
• Matthew Hague 1 shared papers
• Matthijs V\'ak\'ar 1 shared papers
• Max Schaefer 1 shared papers
• Peixin Wang 1 shared papers
• Taoran Wu 1 shared papers