Publications
- Reduction-based Analysis of BGP Systems with BGPVerif.
Anduo Wang, Alexander J.T. Gurney, Xianglong Han, Jinyan Cao, Carolyn Talcott, Boon Thau Loo, and Andre Scedrov.
ACM SIGCOMM Conference on Data Communication (demonstration), Helsinki, Finland, Aug, 2012.
- Route Shepherd: Stability Hints for the Control Plane.
Alexander J.T. Gurney, Xianglong Han, Yang Li, and Boon Thau Loo.
ACM SIGCOMM Conference on Data Communication (demonstration), Helsinki, Finland, Aug, 2012.
- A Calculus of Policy-Based Routing Systems.
Anduo Wang, Carolyn Talcott, Alexander J.T. Gurney, Boon Thau Loo, and Andre Scedrov.
31st Annual ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing (PODC), 2012. (Brief announcement)
- Maintaining Distributed Logic Programs Incrementally.
Vivek Nigam, Limin Jia, Boon Thau Loo and Andre Scedrov.
Computer Languages, Systems & Structures (COMLAN), Elsevier Publishing, 2012.
- FSR: Formal Analysis and Implementation Toolkit for Safe Inter-domain Routing.
Anduo Wang, Limin Jia, Wenchao Zhou, Yiqing Ren, Boon Thau Loo,
Jennifer Rexford, Vivek Nigam, Andre Scedrov, Carolyn L. Talcott.
IEEE/ACM Transactions on Networking (ToN), 2012.
- Reduction-based Formal Analysis of BGP Instances. [Paper] [Technical report]
Anduo Wang, Carolyn Talcott, Alexander J.T. Gurney, Boon Thau Loo and Andre Scedrov.
18th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), Mar 2012. (24.5% acceptance)
- Partial Specifications of Routing Configurations.
Alexander J. T. Gurney, Limin Jia, Anduo Wang, and Boon Thau Loo.
1st International Workshop on Rigorous Protocol Engineering
(WRiPE), co-located with ICNP 2011, Vancouver, Canada, Oct 2011.
- FSR: Formal Analysis and Implementation Toolkit for Safe Inter-domain Routing. [Paper] [Extended Technical Report]
Yiqing Ren, Wenchao Zhou, Anduo Wang, Limin Jia, Alexander J.T. Gurney, Boon Thau Loo, and Jennifer Rexford.
ACM SIGCOMM Conference on Data Communication (demonstration), Toronto, Canada, Aug, 2011.
Runner-up for the ACM Student Research Competition at SIGCOMM'11.
- Maintaining Distributed Logic Programs Incrementally. [Paper]
Vivek Nigam, Limin Jia, Boon Thau Loo and Andre Scedrov.
13th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming (PPDP), Odense, Denmark, July, 2011.
- Analyzing BGP Instances in Maude. [Paper] [Technical Report]
Anduo Wang, Carolyn L. Talcott, Limin Jia, Boon Thau Loo, and Andre Scedrov.
International Conference on Formal Techniques for Networked and Distributed Systems (FMOODS/FORTE), Reykjavik, Iceland, Jun, 2011. (32.3% acceptance)
- An Operational Semantics for Network Datalog. [Paper]
Vivek Nigam, Limin Jia, Anduo Wang, Boon Thau Loo, and Andre Scedrov.
Third International Workshop on Logics, Agents, and Mobility (LAM), in conjunction with LICS, July 2010.
- Formally Verifiable Networking. [Paper] [Talk] [ICNP'09 poster] [Extended PX talk]
Anduo Wang, Limin Jia, Changbin Liu, Boon Thau Loo, Oleg Sokolsky, and Prithwish Basu.
8th Workshop on Hot Topics in Networks (ACM SIGCOMM HotNets-VIII), New York, Oct 2009. (16.0% acceptance)
- A Theorem Proving Approach Towards Declarative Networking. [Paper] [Talk]
Anduo Wang, Boon Thau Loo, Changbin Liu, Oleg Sokolsky, Prithwish Basu.
(TPHOLs 2009) Emerging Trends Section, August, 2009.
- Formalizing Metarouting in PVS. [Paper] [Talk] [TPHOLs'09 poster] [PVS codes]
Anduo Wang, Boon Thau Loo.
Automated Formal methods (AFM 2009), co-located with CAV09, July, 2009.
- Declarative Network Verification. [Paper] [Talk] [Extended Technical Report]
Anduo Wang, Prithwish Basu, Boon Thau Loo, Oleg Sokolsky.
Eleventh International Symposium on Practical Aspects of Declarative Languages (PADL), co-located with ACM's Principles of Programming Languages, Jan, 2009.
