Kuan-Yen Chou

Publication Activity (10 Years)

Years Active: 2019-2024
Publications (10 Years): 5

Top Topics

Formal Specification

Network Configuration

Temporal Properties

Top Venues

FlexNets@SIGCOMM

Publications

Kuan-Yen Chou, Santhosh Prabhu, Giri Subramanian, Wenxuan Zhou, Aanand Nayyar, Brighten Godfrey, Matthew Caesar
Scaling Data Plane Verification with Intent-based Slicing. CoRR (2024)
Bingzhe Liu, Kuan-Yen Chou, Pramod Jamkhedkar, Bilal Anwer, Rakesh K. Sinha, Kostas N. Oikonomou, Matthew Caesar, Brighten Godfrey
Practical Automation for Management Planes of Service Provider Infrastructure. FlexNets@SIGCOMM (2021)
Santhosh Prabhu, Kuan-Yen Chou, Ali Kheradmand, Brighten Godfrey, Matthew Caesar
Plankton: Scalable network configuration verification through model checking. NSDI (2020)
Santhosh Prabhu, Kuan-Yen Chou, Ali Kheradmand, Philip Brighten Godfrey, Matthew Caesar
Plankton: Scalable network configuration verification through model checking. CoRR (2019)
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. OpML (2019)