Generated from my CV.
Selected publications
A Neurosymbolic Approach to Natural Language Formalization and Verification
Chenyang An, et al.
38th International Conference on Computer Aided Verification (CAV 2026) · PDF
Lessons from the evolution of the Batfish configuration analysis tool
Matt Brown, et al.
ACM SIGCOMM 2023 Conference (SIGCOMM '23) · PDF
Intent-driven Composition of Resource-management SDN Applications
Victor Heorhiadi, Sanjay Chandrasekaran, et al.
ACM CoNEXT 2018 (CoNEXT '18) · PDF
Gremlin: Systematic Resilience Testing of Microservices
Victor Heorhiadi, Shriram Rajagopalan, et al.
IEEE ICDCS 2016 (ICDCS '16) · PDF
Simplifying Software-Defined Network Optimization Using SOL
Victor Heorhiadi, Michael K. Reiter, Vyas Sekar
USENIX NSDI 2016 (NSDI '16) · PDF
SNIPS: A software-defined approach for scaling intrusion prevention systems via offloading
Victor Heorhiadi, Seyed K. Fayaz, et al.
ICISS 2014 (ICISS '14) · PDF
New opportunities for load balancing in network-wide intrusion detection systems
Victor Heorhiadi, Michael K. Reiter, Vyas Sekar
ACM CoNeXT 2012 (CoNeXT '12) · PDF
Patents
Intent-driven network management (US-12155530-B1)
Backes, John David, et al.
Amazon Technologies, Nov 2023
Network change verification based on observed network flows (US-11743122-B1)
Bayless, Samuel, et al.
Amazon Technologies, Mar 2022
Dynamic evaluation and implementation of network mutations (US-11936558-B1)
Qian, Baihu, Bashuman Deb, Justin Lin Hsieh, Daniel William Dacosta, Nick Matthews, Anoop Dawani, et al.
Amazon Technologies, Dec 2021
Network configuration analysis and management (US-12021902-B1)
Qian, Baihu, Bashuman Deb, Justin Lin Hsieh, Daniel William Dacosta, Nick Matthews, Viktor Heorhiadi, et al.
Amazon Technologies, Dec 2021
Failure recovery testing framework for microservice-based applications (US-9842045-B2)
Heorhiadi, Viktor, Hani T. Jamjoom, and Shriram Rajagopalan
IBM, Feb 2016
Determining risk of malware infection in enterprise hosts (US-9674210-B1)
Oprea, Alina M., et al.
Univ. of North Carolina at Chapel Hill / EMC IP Holding, Nov 2014