Anduo Wang

According to our database, Anduo Wang authored at least 37 papers between 2006 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2023

Demo: Structural Network Minimization: A Case of Reflective Networking.

Mubashir Anwar, Anduo Wang, Fangping Lan, Matthew Caesar

Proceedings of the ACM SIGCOMM 2023 Conference, 2023

Structural Semantics Management: an Application of the Chase in Networking.

Anduo Wang, Mubashir Anwar, Fangping Lan, Matthew Caesar

Proceedings of the 31st International Symposium on Modeling, 2023

Indirect Network Troubleshooting with The Chase.

Mubashir Anwar, Fangping Lan, Anduo Wang, Matthew Caesar

Proceedings of the 7th Asia-Pacific Workshop on Networking, 2023

2022

Design and Implementation of a Strong Representation System for Network Policies.

Fangping Lan, Sanchari Biswas, Bin Gui, Jie Wu, Anduo Wang

Proceedings of the 31st International Conference on Computer Communications and Networks, 2022

A Network Use for Incomplete Knowledge Management.

Anduo Wang, Fangping Lan

Proceedings of the 12th Conference on Innovative Data Systems Research, 2022

2021

Sarasate: a strong representation system for networking policies.

Bin Gui, Fangping Lan, Anduo Wang

Proceedings of the SIGCOMM '21: ACM SIGCOMM 2021 Conference, 2021

Fauré: A Partial Approach to Network Analysis.

Fangping Lan, Bin Gui, Anduo Wang

Proceedings of the HotNets '21: The 20th ACM Workshop on Hot Topics in Networks, 2021

Flexible Routing with Policy Exchange.

Bin Gui, Fangping Lan, Anduo Wang

Proceedings of the APNet 2021: 5th Asia-Pacific Workshop on Networking, Shenzhen, China, June 24, 2021

2019

Enabling Policy Innovation in Interdomain Routing: A Software-Defined Approach.

Anduo Wang, Zhijia Chen, Tony Yang, Minlan Yu

Proceedings of the 2019 ACM Symposium on SDN Research, 2019

(Demo) Boléro: Enabling Policy Innovation in Interdomain Routing.

Zhijia Chen, Anduo Wang

Proceedings of the 2019 ACM Symposium on SDN Research, 2019

Internet Routing and Non-monotonic Reasoning.

Anduo Wang, Zhijia Chen

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2019

A Logical Approach to Representing and Reasoning About Interdomain Routing Policies.

Anduo Wang, Zhijia Chen

Proceedings of the Datalog 2.0 2019, 2019

Rethinking Network Policy Coordination: A Database Perspective.

Anduo Wang, Seungwon Shin, Eduard C. Dragut

Proceedings of the 3rd Asia-Pacific Workshop on Networking, 2019

2018

Policy and Resource Orchestration in Software-Defined Networks.

Anduo Wang, Jie Wu

Proceedings of the 4th IEEE International Conference on Collaboration and Internet Computing, 2018

Database Criteria for Network Policy Chain.

Anduo Wang

Proceedings of the 2018 ACM International Workshop on Security in Software Defined Networks & Network Function Virtualization, 2018

Towards Example-Guided Network Synthesis.

Haoxian Chen, Anduo Wang, Boon Thau Loo

Proceedings of the 2nd Asia-Pacific Workshop on Networking, 2018

2017

Automating SDN Composition: A Database Perspective.

Anduo Wang, Jason Croft

Proceedings of the Symposium on SDN Research, 2017

Reflections on Data Integration for SDN.

Anduo Wang, Jason Croft, Eduard C. Dragut

Proceedings of the ACM International Workshop on Security in Software Defined Networks & Network Function Virtualization, 2017

2016

Ravel: A Database-Defined Network.

Anduo Wang, Xueyuan Mei, Jason Croft, Matthew Caesar, Brighten Godfrey

Proceedings of the Symposium on SDN Research, 2016

Access control for a database-defined network.

Noemi Glaeser, Anduo Wang

Proceedings of the 37th IEEE Sarnoff Symposium 2016, Newark, NJ, USA, 2016

2015

Towards energy-aware DASH for mobile video.

Mohammad Hosseini, Anduo Wang, Seyed Rasoul Etesami

Proceedings of the 7th ACM International Workshop on Mobile Video, 2015

Energy-budget-compliant cloud video delivery to mobile devices.

Mohammad Hosseini, Anduo Wang, Seyed Rasoul Etesami

Proceedings of the IEEE International Conference on Communication, 2015

2014

Software-Defined Networks as Databases.

Anduo Wang, Wenchao Zhou, Brighten Godfrey, Matthew Caesar

Proceedings of the Open Networking Summit 2014 - Research Track, 2014

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

Proceedings of the 2014 IEEE Conference on Computer Communications, 2014

2013

Automated synthesis of reactive controllers for software-defined networks.

Anduo Wang, Salar Moarref, Boon Thau Loo, Ufuk Topcu, Andre Scedrov

Proceedings of the 2013 21st IEEE International Conference on Network Protocols, 2013

On the feasibility of automation for bandwidth allocation problems in data centers.

Yifei Yuan, Anduo Wang, Rajeev Alur, Boon Thau Loo

Proceedings of the Formal Methods in Computer-Aided Design, 2013

2012

FSR: formal analysis and implementation toolkit for safe interdomain routing.

Anduo Wang, Limin Jia, Wenchao Zhou, Yiqing Ren, Boon Thau Loo, Jennifer Rexford, Vivek Nigam, Andre Scedrov, Carolyn L. Talcott

IEEE/ACM Trans. Netw., 2012

Reduction-Based Formal Analysis of BGP Instances.

Anduo Wang, Carolyn L. Talcott, Alexander J. T. Gurney, Boon Thau Loo, Andre Scedrov

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2012

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

Proceedings of the ACM SIGCOMM 2012 Conference, 2012

Brief announcement: a calculus of policy-based routing systems.

Anduo Wang, Carolyn L. Talcott, Alexander J. T. Gurney, Boon Thau Loo, Andre Scedrov

Proceedings of the ACM Symposium on Principles of Distributed Computing, 2012

Recent Advances in Declarative Networking.

Boon Thau Loo, Harjot Gill, Changbin Liu, Yun Mao, William R. Marczak, Micah Sherr, Anduo Wang, Wenchao Zhou

Proceedings of the Practical Aspects of Declarative Languages, 2012

2011

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

Proceedings of the ACM SIGCOMM 2011 Conference on Applications, 2011

Analyzing BGP Instances in Maude.

Anduo Wang, Carolyn L. Talcott, Limin Jia, Boon Thau Loo, Andre Scedrov

Proceedings of the Formal Techniques for Distributed Systems, 2011

2010

An Operational Semantics for Network Datalog.

Vivek Nigam, Limin Jia, Anduo Wang, Boon Thau Loo, Andre Scedrov

Proceedings of the 3rd International Workshop on Logics, Agents, and Mobility, 2010

2009

Declarative Network Verification.

Anduo Wang, Prithwish Basu, Boon Thau Loo, Oleg Sokolsky

Proceedings of the Practical Aspects of Declarative Languages, 2009

Formally Verifiable Networking.

Anduo Wang, Limin Jia, Changbin Liu, Boon Thau Loo, Oleg Sokolsky, Prithwish Basu

Proceedings of the Eight ACM Workshop on Hot Topics in Networks (HotNets-VIII), 2009

2006

Verifying Java Programs By Theorem Prover HOL.

Anduo Wang, Fei He, Ming Gu, Xiaoyu Song

Proceedings of the 30th Annual International Computer Software and Applications Conference, 2006