| 2018 | ISSRE | Evaluating Regression Test Selection Opportunities in a Very Large Open-Source Ecosystem. | Alex Gyori, Owolabi Legunsen, Farah Hariri, Darko Marinov |
| 2018 | ISSTA | Evaluating test-suite reduction in real software evolution. | August Shi, Alex Gyori, Suleman Mahmood, Peiyuan Zhao, Darko Marinov |
| 2018 | OSDI | Maelstrom: Mitigating Datacenter-level Disasters by Draining Interdependent Traffic Safely and Efficiently. | Kaushik Veeraraghavan, Justin Meza, Scott Michelson, Sankaralingam Panneerselvam, Alex Gyori, David Chou, Sonia Margulis, Daniel Obenshain, Shruti Padmanabha, Ashish Shah, Yee Jiun Song, Tianyin Xu |
| 2017 | ICST | Efficient Incrementalized Runtime Checking of Linear Measures on Lists. | Alex Gyori, Pranav Garg, Edgar Pek, P. Madhusudan |
| 2017 | ISSTA | Refining interprocedural change-impact analysis using equivalence relations. | Alex Gyori, Shuvendu K. Lahiri, Nimrod Partush |
| 2016 | ICST | Detecting Assumptions on Deterministic Implementations of Non-deterministic Specifications. | August Shi, Alex Gyori, Owolabi Legunsen, Darko Marinov |
| 2015 | ISSTA | Reliable testing: detecting state-polluting tests to prevent test dependency. | Alex Gyori, August Shi, Farah Hariri, Darko Marinov |
| 2013 | ICSE | LAMBDAFICATOR: from imperative to functional programming through automated refactoring. | Lyle Franklin, Alex Gyori, Jan Lahoda, Danny Dig |