Victor Heorhiadi
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
8
Venues
7
Active years
2012–2026
Best venue rank
A*
Where they publish
Papers
8 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | CAV | A Neurosymbolic Approach to Natural Language Formalization and Verification. | Chenyang An, Sam Bayless, Stefano Buliani, Darion Cassel, Byron Cook, Duncan Clough, Rmi Delmas, Nafi Diallo, Ferhat Erata, Nick Feng, Dimitra Giannakopoulou, Aman Goel, Aditya Gokhale, Joe Hendrix, Victor Heorhiadi, Marc Hudak, Dejan Jovanovic, Andrew M. Kent, Benjamin Kiesl-Reiter, Jeffrey J. Kuna, Nadia Labai, Joseph Lilien, Divya Raghunathan, Zvonimir Rakamaric, Niloofar Razavi, Michael Tautschnig, Ali Torkamani, Nathaniel Weir, Michael W. Whalen, Jianan Yao |
| 2023 | SIGCOMM | Lessons from the evolution of the Batfish configuration analysis tool. | Matt Brown, Ari Fogel, Daniel Halperin, Victor Heorhiadi, Ratul Mahajan, Todd D. Millstein |
| 2018 | CoNEXT | Intent-driven composition of resource-management SDN applications. | Victor Heorhiadi, Sanjay Chandrasekaran, Michael K. Reiter, Vyas Sekar |
| 2016 | ICDCS | Gremlin: Systematic Resilience Testing of Microservices. | Victor Heorhiadi, Shriram Rajagopalan, Hani Jamjoom, Michael K. Reiter, Vyas Sekar |
| 2016 | NSDI | Simplifying Software-Defined Network Optimization Using SOL. | Victor Heorhiadi, Michael K. Reiter, Vyas Sekar |
| 2014 | CCS | An Epidemiological Study of Malware Encounters in a Large Enterprise. | Ting-Fang Yen, Victor Heorhiadi, Alina Oprea, Michael K. Reiter, Ari Juels |
| 2014 | ICISS | SNIPS: A Software-Defined Approach for Scaling Intrusion Prevention Systems via Offloading. | Victor Heorhiadi, Seyed Kaveh Fayaz, Michael K. Reiter, Vyas Sekar |
| 2012 | CoNEXT | New opportunities for load balancing in network-wide intrusion detection systems. | Victor Heorhiadi, Michael K. Reiter, Vyas Sekar |