Anduo Wang

Publication Activity (10 Years)

Years Active: 2006-2023
Publications (10 Years): 20

Top Topics

Structural Constraints

Formal Analysis

Border Gateway Protocol

Top Venues

SDN-NFV@CODASPY

Publications

Mubashir Anwar, Fangping Lan, Anduo Wang, Matthew Caesar
Indirect Network Troubleshooting with The Chase. APNet (2023)
Anduo Wang, Mubashir Anwar, Fangping Lan, Matthew Caesar
Structural Semantics Management: an Application of the Chase in Networking. MASCOTS (2023)
Mubashir Anwar, Anduo Wang, Fangping Lan, Matthew Caesar
Demo: Structural Network Minimization: A Case of Reflective Networking. SIGCOMM (2023)
Fangping Lan, Sanchari Biswas, Bin Gui, Jie Wu, Anduo Wang
Design and Implementation of a Strong Representation System for Network Policies. ICCCN (2022)
Anduo Wang, Fangping Lan
A Network Use for Incomplete Knowledge Management. CIDR (2022)
Bin Gui, Fangping Lan, Anduo Wang
Sarasate: a strong representation system for networking policies. SIGCOMM Posters and Demos (2021)
Bin Gui, Fangping Lan, Anduo Wang
Flexible Routing with Policy Exchange. APNet (2021)
Fangping Lan, Bin Gui, Anduo Wang
Fauré: A Partial Approach to Network Analysis. HotNets (2021)
Anduo Wang, Zhijia Chen
A Logical Approach to Representing and Reasoning About Interdomain Routing Policies. Datalog (2019)
Anduo Wang, Zhijia Chen, Tony Yang, Minlan Yu
Enabling Policy Innovation in Interdomain Routing: A Software-Defined Approach. SOSR (2019)
Zhijia Chen, Anduo Wang
(Demo) Boléro: Enabling Policy Innovation in Interdomain Routing. SOSR (2019)
Anduo Wang, Zhijia Chen
Internet Routing and Non-monotonic Reasoning. LPNMR (2019)
Anduo Wang, Seungwon Shin, Eduard C. Dragut
Rethinking Network Policy Coordination: A Database Perspective. APNet (2019)
Anduo Wang
Database Criteria for Network Policy Chain. SDN-NFV@CODASPY (2018)
Anduo Wang, Jie Wu
Policy and Resource Orchestration in Software-Defined Networks. CIC (2018)
Haoxian Chen, Anduo Wang, Boon Thau Loo
Towards Example-Guided Network Synthesis. APNet (2018)
Anduo Wang, Jason Croft
Automating SDN Composition: A Database Perspective. SOSR (2017)
Anduo Wang, Jason Croft, Eduard C. Dragut
Reflections on Data Integration for SDN. SDN-NFV@CODASPY (2017)
Noemi Glaeser, Anduo Wang
Access control for a database-defined network. Sarnoff Symposium (2016)
Anduo Wang, Xueyuan Mei, Jason Croft, Matthew Caesar, Brighten Godfrey
Ravel: A Database-Defined Network. SOSR (2016)
Mohammad Hosseini, Anduo Wang, Seyed Rasoul Etesami
Towards energy-aware DASH for mobile video. MoVid@MMSys (2015)
Mohammad Hosseini, Anduo Wang, Seyed Rasoul Etesami
Energy-budget-compliant cloud video delivery to mobile devices. ICC Workshops (2015)
Anduo Wang, Alexander J. T. Gurney, Xianglong Han, Jinyan Cao, Boon Thau Loo, Carolyn L. Talcott, Andre Scedrov
A reduction-based approach towards scaling up formal analysis of internet configurations. INFOCOM (2014)
Anduo Wang, Wenchao Zhou, Brighten Godfrey, Matthew Caesar
Software-Defined Networks as Databases. ONS (2014)
Anduo Wang, Salar Moarref, Boon Thau Loo, Ufuk Topcu, Andre Scedrov
Automated synthesis of reactive controllers for software-defined networks. ICNP (2013)
Yifei Yuan, Anduo Wang, Rajeev Alur, Boon Thau Loo
On the feasibility of automation for bandwidth allocation problems in data centers. FMCAD (2013)
Anduo Wang, Alexander J. T. Gurney, Xianglong Han, Jinyan Cao, Carolyn L. Talcott, Boon Thau Loo, Andre Scedrov
Reduction-based analysis of BGP systems with BGPVerif. SIGCOMM (2012)
Boon Thau Loo, Harjot Gill, Changbin Liu, Yun Mao, William R. Marczak, Micah Sherr, Anduo Wang, Wenchao Zhou
Recent Advances in Declarative Networking. PADL (2012)
Anduo Wang, Carolyn L. Talcott, Alexander J. T. Gurney, Boon Thau Loo, Andre Scedrov
Brief announcement: a calculus of policy-based routing systems. PODC (2012)
Anduo Wang, Limin Jia, Wenchao Zhou, Yiqing Ren, Boon Thau Loo, Jennifer Rexford, Vivek Nigam, Andre Scedrov, Carolyn L. Talcott
FSR: formal analysis and implementation toolkit for safe interdomain routing. IEEE/ACM Trans. Netw. 20 (6) (2012)
Anduo Wang, Carolyn L. Talcott, Alexander J. T. Gurney, Boon Thau Loo, Andre Scedrov
Reduction-Based Formal Analysis of BGP Instances. TACAS (2012)
Anduo Wang, Carolyn L. Talcott, Limin Jia, Boon Thau Loo, Andre Scedrov
Analyzing BGP Instances in Maude. FMOODS/FORTE (2011)
Yiqing Ren, Wenchao Zhou, Anduo Wang, Limin Jia, Alexander J. T. Gurney, Boon Thau Loo, Jennifer Rexford
FSR: formal analysis and implementation toolkit for safe inter-domain routing. SIGCOMM (2011)
Vivek Nigam, Limin Jia, Anduo Wang, Boon Thau Loo, Andre Scedrov
An Operational Semantics for Network Datalog. LAM@LICS (2010)
Anduo Wang, Prithwish Basu, Boon Thau Loo, Oleg Sokolsky
Declarative Network Verification. PADL (2009)
Anduo Wang, Limin Jia, Changbin Liu, Boon Thau Loo, Oleg Sokolsky, Prithwish Basu
Formally Verifiable Networking. HotNets (2009)
Anduo Wang, Fei He, Ming Gu, Xiaoyu Song
Verifying Java Programs By Theorem Prover HOL. COMPSAC (1) (2006)