Sign in
Kuan-Yen Chou
Publication Activity (10 Years)
Years Active: 2019-2021
Publications (10 Years): 4
Top Topics
Formal Specification
Network Configuration
Timed Automata
Temporal Properties
Top Venues
CoRR
FlexNets@SIGCOMM
OpML
NSDI
</>
Publications
</>
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)