anduo wang
Cited by
Cited by
Declarative network verification
A Wang, P Basu, BT Loo, O Sokolsky
International Symposium on Practical Aspects of Declarative Languages, 61-75, 2009
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
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
Formally verifiable networking
A Wang, L Jia, C Liu, BT Loo, O Sokolsky, P Basu
Analyzing bgp instances in maude
A Wang, C Talcott, L Jia, BT Loo, A Scedrov
Formal Techniques for Distributed Systems, 334-348, 2011
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
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
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
Partial specification of routing configurations
AJT Gurney, L Jia, A Wang, BT Loo
A reduction-based approach towards scaling up formal analysis of internet configurations
A Wang, AJT Gurney, X Han, J Cao, BT Loo, C Talcott, A Scedrov
IEEE INFOCOM 2014-IEEE Conference on Computer Communications, 637-645, 2014
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
On the Feasibility of Automation for Bandwidth. Allocation Problems in Data Centers
Y Yuan, A Wang, R Alur, BT Loo
FMCAD, 2013
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
An operational semantics for network datalog
V Nigam, L Jia, A Wang, BT Loo, A Scedrov
A theorem proving approach towards declarative networking
A Wang, BT Loo, C Liu, O Sokolsky, P Basu
Enabling policy innovation in interdomain routing: A software-defined approach
A Wang, Z Chen, T Yang, M Yu
Proceedings of the 2019 ACM Symposium on SDN Research, 62-68, 2019
Software-Defined Networks as Databases.
A Wang, W Zhou, B Godfrey, M Caesar
ONS, 2014
Verifying java programs by theorem prover HOL
A Wang, H Fei, M Gu, X Song
30th Annual International Computer Software and Applications Conference …, 2006
SRI International
A Wang, C Talcott, L Jia, B Thau, LA Scedrov
Towards Example-Guided Network Synthesis
H Chen, A Wang, BT Loo
Proceedings of the 2nd Asia-Pacific Workshop on Networking, 65-71, 2018
The system can't perform the operation now. Try again later.
Articles 1–20