Publications/Patents
- Santhosh Prabhu, Kuan-Yen Chou, Aanand Nayyar, Giri Prashanth Subramanian, Wenxuan Zhou, Philip Brighten Godfrey. Handling device configuration changes in distributed network verification application. In US Patent 2024/0086221 A1, March 2024.
- Santhosh Prabhu, Kuan-Yen Chou, Aanand Nayyar, Giri Prashanth Subramanian, Wenxuan Zhou, Philip Brighten Godfrey. Evaluation of network correctness requirement. In US Patent 2024/0089257 A1, March 2024.
- Santhosh Prabhu, Kuan-Yen Chou, Aanand Nayyar, Giri Prashanth Subramanian, Wenxuan Zhou, Philip Brighten Godfrey. Distributed network verification. In US Patent 2024/0089184 A1, March 2024.
- Bingzhe Liu, Kuan-Yen Chou, Pramod Jamkhedkar, Bilal Anwer, Rakesh K Sinha, Kostas Oikonomou, Matthew Caesar, P. Brighten Godfrey. Practical Automation for Management Planes of Service Provider Infrastructure. In FlexNets, August 2021.
- Santhosh Prabhu, Kuan-Yen Chou, Ali Kheradmand, P. Brighten Godfrey, Matthew Caesar. Plankton: Scalable network configuration verification through model checking. In USENIX NSDI, February 2020.
- Sayed Hadi Hashemi, Paul Rausch, Benjamin Rabe, Kuan-Yen Chou, Simeng Liu, Volodymyr V. Kindratenko, Roy H. Campbell. tensorflow-tracing: A Performance Tuning Framework for Production. In USENIX OpML, May 2019.
- Kuan-Yen Chou, Chin-Fan Chiang, Ching-Hsiang Hsu, Zheng-Yu Chen, Jin-Cheng Zhu. Implementation of Containerized TensorFlow in Heterogeneous CPU/GPU Clusters. In Taiwan Academic Network Conference, October 2017.