Lay Kuan Loh

Publication Activity (10 Years)

Years Active: 2015-2018
Publications (10 Years): 4

Top Topics

Cut Elimination

Sequent Calculus

Automated Verification

Top Venues

SIGMOD Conference

IEEE Data Eng. Bull.

Publications

Ang Chen, Chen Chen, Lay Kuan Loh, Yang Wu, Andreas Haeberlen, Limin Jia, Boon Thau Loo, Wenchao Zhou
Data Center Diagnostics with Network Provenance. IEEE Data Eng. Bull. 41 (1) (2018)
McKenna McCall, Lay Kuan Loh, Limin Jia
A Sequent Calculus for Counterfactual Reasoning. PLAS@CCS (2017)
Chen Chen, Harshal Tushar Lehri, Lay Kuan Loh, Anupam Alur, Limin Jia, Boon Thau Loo, Wenchao Zhou
Distributed Provenance Compression. SIGMOD Conference (2017)
Chen Chen, Lay Kuan Loh, Limin Jia, Wenchao Zhou, Boon Thau Loo
Automated verification of safety properties of declarative networking programs. PPDP (2015)