Automated verification of safety properties of declarative networking programs. - Chen Chen 019; Lay Kuan Loh; Limin Jia 001; Wenchao Zhou; Boon Thau Loo (PPDP, 2015)

A Sequent Calculus for Counterfactual Reasoning. - McKenna McCall; Lay Kuan Loh; Limin Jia 001 (PLAS@CCS, 2017)

Distributed Provenance Compression. - Chen Chen 019; Harshal Tushar Lehri; Lay Kuan Loh; Anupam Alur; Limin Jia 001; Boon Thau Loo; Wenchao Zhou (SIGMOD Conference, 2017)

Data Center Diagnostics with Network Provenance. - Ang Chen 001; Chen Chen 019; Lay Kuan Loh; Yang Wu; Andreas Haeberlen; Limin Jia 001; Boon Thau Loo; Wenchao Zhou (IEEE Data Eng. Bull., 2018)