Kuan-Yen Chou

According to our database, Kuan-Yen Chou authored at least 4 papers between 2019 and 2024.

Collaborative distances:

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

2024

Scaling Data Plane Verification with Intent-based Slicing.

Kuan-Yen Chou, Santhosh Prabhu, Giri Subramanian, Wenxuan Zhou, Aanand Nayyar, Brighten Godfrey, Matthew Caesar

CoRR, 2024

2021

Practical Automation for Management Planes of Service Provider Infrastructure.

Bingzhe Liu, Kuan-Yen Chou, Pramod Jamkhedkar, Bilal Anwer, Rakesh K. Sinha, Kostas N. Oikonomou, Matthew Caesar, Brighten Godfrey

Proceedings of the FlexNets '21: Proceedings of the 4th FlexNets Workshop on Flexible Networks Artificial Intelligence Supported Network Flexibility and Agility, 2021

2020

Plankton: Scalable network configuration verification through model checking.

Santhosh Prabhu, Kuan-Yen Chou, Ali Kheradmand, Brighten Godfrey, Matthew Caesar

Proceedings of the 17th USENIX Symposium on Networked Systems Design and Implementation, 2020

2019

tensorflow-tracing: A Performance Tuning Framework for Production.

Sayed Hadi Hashemi, Paul Rausch, Benjamin Rabe, Kuan-Yen Chou, Simeng Liu, Volodymyr V. Kindratenko, Roy H. Campbell

Proceedings of the 2019 USENIX Conference on Operational Machine Learning, 2019