LAMBDAFICATOR: from imperative to functional programming through automated refactoring. - Lyle Franklin; Alex Gyori; Jan Lahoda; Danny Dig (ICSE, 2013)

Crossing the gap from imperative to functional programming through refactoring. - Alex Gyori; Lyle Franklin; Danny Dig; Jan Lahoda (ESEC/SIGSOFT FSE, 2013)

Balancing trade-offs in test-suite reduction. - August Shi; Alex Gyori; Milos Gligoric 001; Andrey Zaytsev; Darko Marinov (SIGSOFT FSE, 2014)

Reliable testing: detecting state-polluting tests to prevent test dependency. - Alex Gyori; August Shi; Farah Hariri; Darko Marinov (ISSTA, 2015)

Comparing and combining test-suite reduction and regression test selection. - August Shi; Tifany Yung; Alex Gyori; Darko Marinov (ESEC/SIGSOFT FSE, 2015)

Detecting Assumptions on Deterministic Implementations of Non-deterministic Specifications. - August Shi; Alex Gyori; Owolabi Legunsen; Darko Marinov (ICST, 2016)

NonDex: a tool for detecting and debugging wrong assumptions on Java API specifications. - Alex Gyori; Ben Lambeth; August Shi; Owolabi Legunsen; Darko Marinov (SIGSOFT FSE, 2016)

Interprocedural Semantic Change-Impact Analysis using Equivalence Relations. - Alex Gyori; Shuvendu K. Lahiri; Nimrod Partush (CoRR, 2016)

Exploring Underdetermined Specifications using Java PathFinder. - Alex Gyori; Ben Lambeth; Sarfraz Khurshid; Darko Marinov (ACM SIGSOFT Softw. Eng. Notes, 2016)

Efficient Incrementalized Runtime Checking of Linear Measures on Lists. - Alex Gyori; Pranav Garg 001; Edgar Pek; P. Madhusudan (ICST, 2017)

Refining interprocedural change-impact analysis using equivalence relations. - Alex Gyori; Shuvendu K. Lahiri; Nimrod Partush (ISSTA, 2017)

Proactively detecting unreliable tests - Alex Gyori (2017)

Evaluating Regression Test Selection Opportunities in a Very Large Open-Source Ecosystem. - Alex Gyori; Owolabi Legunsen; Farah Hariri; Darko Marinov (ISSRE, 2018)

Evaluating test-suite reduction in real software evolution. - August Shi; Alex Gyori; Suleman Mahmood; Peiyuan Zhao; Darko Marinov (ISSTA, 2018)

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 (OSDI, 2018)