Lay Kuan Loh

According to our database, Lay Kuan Loh authored at least 4 papers between 2015 and 2018.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2018

Data Center Diagnostics with Network Provenance.

Ang Chen, Chen Chen, Lay Kuan Loh, Yang Wu, Andreas Haeberlen, Limin Jia, Boon Thau Loo, Wenchao Zhou

IEEE Data Eng. Bull., 2018

2017

Distributed Provenance Compression.

Chen Chen, Harshal Tushar Lehri, Lay Kuan Loh, Anupam Alur, Limin Jia, Boon Thau Loo, Wenchao Zhou

Proceedings of the 2017 ACM International Conference on Management of Data, 2017

A Sequent Calculus for Counterfactual Reasoning.

McKenna McCall, Lay Kuan Loh, Limin Jia

Proceedings of the 2017 Workshop on Programming Languages and Analysis for Security, 2017

2015

Automated verification of safety properties of declarative networking programs.

Chen Chen, Lay Kuan Loh, Limin Jia, Wenchao Zhou, Boon Thau Loo

Proceedings of the 17th International Symposium on Principles and Practice of Declarative Programming, 2015