anduo wang
TitleCited byYear
Declarative network verification
A Wang, P Basu, BT Loo, O Sokolsky
International Symposium on Practical Aspects of Declarative Languages, 61-75, 2009
722009
Ravel: A database-defined network
A Wang, X Mei, J Croft, M Caesar, B Godfrey
Proceedings of the Symposium on SDN Research, 1-7, 2016
292016
FSR: Formal analysis and implementation toolkit for safe interdomain routing
A Wang, L Jia, W Zhou, Y Ren, BT Loo, J Rexford, V Nigam, A Scedrov, ...
IEEE/ACM Transactions on Networking 20 (6), 1814-1827, 2012
292012
Formally verifiable networking
A Wang, L Jia, C Liu, BT Loo, O Sokolsky, P Basu
292009
Analyzing bgp instances in maude
A Wang, C Talcott, L Jia, BT Loo, A Scedrov
Formal Techniques for Distributed Systems, 334-348, 2011
192011
Reduction-based formal analysis of BGP instances
A Wang, C Talcott, AJT Gurney, BT Loo, A Scedrov
International Conference on Tools and Algorithms for the Construction and …, 2012
162012
FSR: formal analysis and implementation toolkit for safe inter-domain routing
Y Ren, W Zhou, A Wang, L Jia, AJT Gurney, BT Loo, J Rexford
ACM SIGCOMM Computer Communication Review 41 (4), 440-441, 2011
152011
Partial specification of routing configurations
AJT Gurney, L Jia, A Wang, BT Loo
82011
Towards energy-aware dash for mobile video
M Hosseini, A Wang, R Etesami
Proceedings of the 7th ACM International Workshop on Mobile Video, 7-8, 2015
72015
Automated synthesis of reactive controllers for software-defined networks
A Wang, S Moarref, BT Loo, U Topcu, A Scedrov
2013 21st IEEE International Conference on Network Protocols (ICNP), 1-6, 2013
72013
On the Feasibility of Automation for Bandwidth. Allocation Problems in Data Centers
Y Yuan, A Wang, R Alur, BT Loo
FMCAD, 2013
62013
An operational semantics for network datalog
V Nigam, L Jia, A Wang, BT Loo, A Scedrov
62010
Software-Defined Networks as Databases.
A Wang, W Zhou, B Godfrey, M Caesar
ONS, 2014
52014
Recent advances in declarative networking
BT Loo, H Gill, C Liu, Y Mao, WR Marczak, M Sherr, A Wang, W Zhou
International Symposium on Practical Aspects of Declarative Languages, 1-16, 2012
52012
A theorem proving approach towards declarative networking
A Wang, BT Loo, C Liu, O Sokolsky, P Basu
52009
Verifying java programs by theorem prover HOL
A Wang, H Fei, M Gu, X Song
30th Annual International Computer Software and Applications Conference …, 2006
42006
Database criteria for network policy chain
A Wang
Proceedings of the 2018 ACM International Workshop on Security in Software …, 2018
32018
Reflections on Data Integration for SDN
A Wang, J Croft, E Dragut
Proceedings of the ACM International Workshop on Security in Software …, 2017
32017
Brief announcement: a calculus of policy-based routing systems
A Wang, C Talcott, A Gurney, BT Loo, A Scedrov
Proceedings of the 2012 ACM symposium on Principles of distributed computing …, 2012
32012
Ravel: Orchestrating software-defined networks
A Wang, B Godfrey, M Caesar
SOSR Demo, 2015
22015
The system can't perform the operation now. Try again later.
Articles 1–20