Symbolic Router Execution

Author:

Peng Zhang , Dan Wang , and Aaron Gember-Jacobson

Proceedings of ACM SIGCOMM'22

People

Peng Zhang

Professor

Dan Wang

Ph.D. Student

Abstract

Research Area:

Verification Simulation

Video

Resources

PDF Slide

BibTeX

@inproceedings{zhang2022symbolic,
  title={Symbolic router execution},
  author={Zhang, Peng and Wang, Dan and Gember-Jacobson, Aaron},
  booktitle={Proceedings of the ACM SIGCOMM 2022 Conference},
  pages={336--349},
  year={2022}
}