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 (OpML, 2019)

Plankton: Scalable network configuration verification through model checking. - Santhosh Prabhu; Kuan-Yen Chou; Ali Kheradmand; Brighten Godfrey; Matthew Caesar 001 (NSDI, 2020)

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 001; Brighten Godfrey (FlexNets@SIGCOMM, 2021)

Scaling Data Plane Verification with Intent-based Slicing. - Kuan-Yen Chou; Santhosh Prabhu; Giri Subramanian; Wenxuan Zhou; Aanand Nayyar; Brighten Godfrey; Matthew Caesar 001 (CoRR, 2024)