Biography
As a networking researcher, I apply database, formal methods and programming language techniques to create and
automate management of flexible, reliable, and provably correct networks.
Courses Taught
Number | Name | Level |
|---|---|---|
CIS 3329 | Network Architectures | Undergraduate |
CIS 4319 | Computer Networks and Communications | Undergraduate |
Selected Publications
Recent
Lan, F., Gui, B., & Wang, A. (2021). Fauré: A Partial Approach to Network Analysis. HotNets 2021 - Proceedings of the 20th ACM Workshop on Hot Topics in Networks, 123-131. doi: 10.1145/3484266.3487391.
Gui, B., Lan, F., & Wang, A. (2021). Sarasate: A strong representation system for networking policies. Proceedings of the 2021 SIGCOMM 2021 Poster and Demo Sessions, Part of SIGCOMM 2021, 62-64. doi: 10.1145/3472716.3472848.
Wang, A., Shin, S., & Dragut, E. (2019). Rethinking network policy coordination: A database perspective. PervasiveHealth: Pervasive Computing Technologies for Healthcare, 29-35. doi: 10.1145/3343180.3343193.
Wang, A., Chen, Z., Yang, T., & Yu, M. (2019). Enabling Policy Innovation in Interdomain Routing: A Software-Defined Approach. SOSR 2019 - Proceedings of the 2019 ACM Symposium on SDN Research, 62-68. doi: 10.1145/3314148.3314359.
Chen, Z. & Wang, A. (2019). (Demo) Bolero: Enabling Policy Innovation in Interdomain Routing. SOSR 2019 - Proceedings of the 2019 ACM Symposium on SDN Research, 156-157. doi: 10.1145/3314148.3318049.
Wang, A. & Chen, Z. (2019). Internet Routing and Non-monotonic Reasoning. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 11481 LNAI, 51-57. doi: 10.1007/978-3-030-20528-7_5.
Wang, A. & Chen, Z. (2019). A logical approach to representing and reasoning about interdomain routing policies. CEUR Workshop Proceedings, 2368, 69-79.
Wang, A. & Wu, J. (2018). Policy and resource orchestration in software-defined networks. Proceedings - 4th IEEE International Conference on Collaboration and Internet Computing, CIC 2018, 203-206. doi: 10.1109/CIC.2018.00036.
Chen, H., Wang, A., & Loo, B. (2018). Towards example-guided network synthesis. ACM International Conference Proceeding Series, 65-71. doi: 10.1145/3232565.3234462.
Wang, A. (2018). Database criteria for network policy chain. SDN-NFVSec 2018 - Proceedings of the 2018 ACM International Workshop on Security in Software Defined Networks and Network Function Virtualization, Co-located with CODASPY 2018, 2018-January, 49-54. doi: 10.1145/3180465.3180471.
Wang, A. & Croft, J. (2017). Automating SDN composition: A database perspective. SOSR 2017 - Proceedings of the 2017 Symposium on SDN Research, 203-204. doi: 10.1145/3050220.3060612.
Wang, A., Croft, J., & Dragut, E. (2017). Reflections on data integration for SDN. SDN-NFVSec 2017 - Proceedings of the ACM International Workshop on Security in Software Defined Networks and Network Function Virtualization, co-located with CODASPY 2017, 65-68. doi: 10.1145/3040992.3041006.
Glaeser, N. & Wang, A. (2017). Access control for a database-defined network. 37th IEEE Sarnoff Symposium, Sarnoff 2016. doi: 10.1109/SARNOF.2016.7846728.