Anduo Wang
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
23
Venues
17
Active years
2006–2026
Best venue rank
A*
Where they publish
Papers
23 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | PADL | Declarative Debugging for Modern Networks. | Anduo Wang, Matthew Caesar |
| 2024 | Mobiquitous | Verifying Multi-vendor IoT Deployments Using Conditional Tables. | Mubashir Anwar, Matthew Caesar, Anduo Wang |
| 2023 | MASCOTS | Structural Semantics Management: an Application of the Chase in Networking. | Anduo Wang, Mubashir Anwar, Fangping Lan, Matthew Caesar |
| 2023 | SIGCOMM | Demo: Structural Network Minimization: A Case of Reflective Networking. | Mubashir Anwar, Anduo Wang, Fangping Lan, Matthew Caesar |
| 2022 | CIDR | A Network Use for Incomplete Knowledge Management. | Anduo Wang, Fangping Lan |
| 2022 | ICCCN | Design and Implementation of a Strong Representation System for Network Policies. | Fangping Lan, Sanchari Biswas, Bin Gui, Jie Wu, Anduo Wang |
| 2021 | HOTNETS | Faur: A Partial Approach to Network Analysis. | Fangping Lan, Bin Gui, Anduo Wang |
| 2021 | SIGCOMM | Sarasate: a strong representation system for networking policies. | Bin Gui, Fangping Lan, Anduo Wang |
| 2019 | LPNMR | Internet Routing and Non-monotonic Reasoning. | Anduo Wang, Zhijia Chen |
| 2015 | MMSys | Towards energy-aware DASH for mobile video. | Mohammad Hosseini, Anduo Wang, Seyed Rasoul Etesami |
| 2014 | INFOCOM | A reduction-based approach towards scaling up formal analysis of internet configurations. | Anduo Wang, Alexander J. T. Gurney, Xianglong Han, Jinyan Cao, Boon Thau Loo, Carolyn L. Talcott, Andre Scedrov |
| 2013 | FMCAD | On the feasibility of automation for bandwidth allocation problems in data centers. | Yifei Yuan, Anduo Wang, Rajeev Alur, Boon Thau Loo |
| 2013 | ICNP | Automated synthesis of reactive controllers for software-defined networks. | Anduo Wang, Salar Moarref, Boon Thau Loo, Ufuk Topcu, Andre Scedrov |
| 2012 | PADL | Recent Advances in Declarative Networking. | Boon Thau Loo, Harjot Gill, Changbin Liu, Yun Mao, William R. Marczak, Micah Sherr, Anduo Wang, Wenchao Zhou |
| 2012 | PODC | Brief announcement: a calculus of policy-based routing systems. | Anduo Wang, Carolyn L. Talcott, Alexander J. T. Gurney, Boon Thau Loo, Andre Scedrov |
| 2012 | SIGCOMM | Reduction-based analysis of BGP systems with BGPVerif. | Anduo Wang, Alexander J. T. Gurney, Xianglong Han, Jinyan Cao, Carolyn L. Talcott, Boon Thau Loo, Andre Scedrov |
| 2012 | TACAS | Reduction-Based Formal Analysis of BGP Instances. | Anduo Wang, Carolyn L. Talcott, Alexander J. T. Gurney, Boon Thau Loo, Andre Scedrov |
| 2011 | FORTE | Analyzing BGP Instances in Maude. | Anduo Wang, Carolyn L. Talcott, Limin Jia, Boon Thau Loo, Andre Scedrov |
| 2011 | SIGCOMM | FSR: formal analysis and implementation toolkit for safe inter-domain routing. | Yiqing Ren, Wenchao Zhou, Anduo Wang, Limin Jia, Alexander J. T. Gurney, Boon Thau Loo, Jennifer Rexford |
| 2010 | LICS | An Operational Semantics for Network Datalog. | Vivek Nigam, Limin Jia, Anduo Wang, Boon Thau Loo, Andre Scedrov |
| 2009 | HOTNETS | Formally Verifiable Networking. | Anduo Wang, Limin Jia, Changbin Liu, Boon Thau Loo, Oleg Sokolsky, Prithwish Basu |
| 2009 | PADL | Declarative Network Verification. | Anduo Wang, Prithwish Basu, Boon Thau Loo, Oleg Sokolsky |
| 2006 | COMPSAC | Verifying Java Programs By Theorem Prover HOL. | Anduo Wang, Fei He, Ming Gu, Xiaoyu Song |