Chen Chen

According to our database, Chen Chen authored at least 10 papers between 2012 and 2020.

Collaborative distances:

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

2020

Provenance for Probabilistic Logic Programs.

Shaobo Wang, Hui Lyu, Jiachi Zhang, Chenyuan Wu, Xinyi Chen, Wenchao Zhou, Boon Thau Loo, Susan B. Davidson, Chen Chen

Proceedings of the 23rd International Conference on Extending Database Technology, 2020

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

2015

A Program Logic for Verifying Secure Routing Protocols.

Chen Chen, Limin Jia, Hao Xu, Cheng Luo, Wenchao Zhou, Boon Thau Loo

Log. Methods Comput. Sci., 2015

A scalable multi-datacenter layer-2 network architecture.

Chen Chen, Changbin Liu, Pingkai Liu, Boon Thau Loo, Ling Ding

Proceedings of the 1st ACM SIGCOMM Symposium on Software Defined Networking Research, 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

2014

Proof-based Verification of Software Defined Networks.

Chen Chen, Limin Jia, Wenchao Zhou, Boon Thau Loo

Proceedings of the Open Networking Summit 2014 - Research Track, 2014

2013

Datacast: A Scalable and Efficient Reliable Group Data Delivery Service for Data Centers.

Jiaxin Cao, Chuanxiong Guo, Guohan Lu, Yongqiang Xiong, Yixin Zheng, Yongguang Zhang, Yibo Zhu, Chen Chen, Ye Tian

IEEE J. Sel. Areas Commun., 2013

2012

Reduction-based security analysis of Internet routing protocols.

Chen Chen, Limin Jia, Boon Thau Loo, Wenchao Zhou

Proceedings of the 20th IEEE International Conference on Network Protocols, 2012

Datacast: a scalable and efficient reliable group data delivery service for data centers.

Jiaxin Cao, Chuanxiong Guo, Guohan Lu, Yongqiang Xiong, Yixin Zheng, Yongguang Zhang, Yibo Zhu, Chen Chen

Proceedings of the Conference on emerging Networking Experiments and Technologies, 2012