Advising

Graduate Research Assistants

Phd Students


Sanan Hasanov

Inferring and Securing Software Configurations
2022–present
Stephen Maldonado
Tracking Corporate Relationships
2022–present (Summer 2022 as an undergraduate)

Brent Pappas

Analysis of Configurable Software
2021–present

MS Students


Rodrigo Vena Garcia
Corporate Entity Tracking Automation
2023–present

Zoran Kolega

Corporate Entity Tracking Automation
2021–present

https://rodrigovena.com

Software Engineers


John Stoner
Corporate Entity Tracking Automation
2021–present

Undergraduate Research Assistants


Sharu Abraham

Corporate Entity Tracking Automation
2022–present

Tsehai Boucaud

Analysis of Configurable Software
2021–present

Previous Advisees

Previous Graduate Research Assistants


Jeho Oh (UT Austin)

Inferring and Securing Software Configurations
Co-Advised with Don Batory
2020–2022
(Graduated PhD, Joined Apple as a software engineer)

Austin Lee Davis
Tracking Corporate Relationships
Fall 2022

Necip Yildiran

Inferring and Securing Software Configurations
2020–2022
(Graduated PhD, Joined Google as a software engineer)

Kaarthik Alagappan
Variability-Aware Analysis
2019–2022 (2019-2021 as undergraduate)
(Graduated MS, Joined Walmart as a software engineer)

Julian Braha

Inferring and Securing Software Configurations, Corporate Entity Tracking Automation
Fall 2021 (2019-2021 as undergraduate)

Ronaldo Cunha
Analysis of Configurable Software, Persistent Memory
Fall 2021

Ryan Dozier
Concurrent Data Structures, Mitigating Side-Channel Attacks
Co-Advised with Damian Dechev
2020–2021

Sayma Sultana
Variability-Aware Analysis
Fall 2019

Previous Undergraduate Research Assistants


Josh Santana

Configuration Vulnerabilities in Systems Software
2019–2021
(Joined Microsoft as an engineer)

Geno Fossas

Mitigating Side Channel Attacks
2019–2021
(Joined NEU as a CS PhD student)

Alexandra Arriola

Variability-Aware Analysis
2020–2021

Reeder Ward
Configuration Vulnerabilities in Systems Software
Spring 2020

Jin Koay

Localizing Configurations in Kbuild Makefiles
Spring 2019

Pradheep Kethi-Reddy

Configuration Sampling Algorithms for Bug-Finding
Summer 2019