Anduo Wang

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