Advising

PhD Students


Sanan Hasanov

Inferring and Securing Software Configurations
2022–present

Brent Pappas

Analysis of Configurable Software
2021–present

Software Engineers


Zoran Kolega

Corporate Entity Tracking Automation
2021–present (2021-2023 as MS student)

John Stoner
Corporate Entity Tracking Automation
2021–present

Undergraduate Research Assistants



Martin de Salterain
Software Supply Chain Security
Spring 2024

Tsehai Boucaud

Analysis of Configurable Software
2021–present

Previous Advisees

Previous Graduate Research Assistants


Rodrigo Vena Garcia

Corporate Entity Tracking Automation
Summer 2023

Stephen Maldonado
Tracking Corporate Relationships
2022–2023 (Summer 2022 as an undergraduate)

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


Sharu Abraham

Corporate Entity Tracking Automation
2022–2023

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