Members

Rohan Padhye's Photo

Rohan Padhye

Faculty & Principal Investigator

Ao Li's Photo

Ao Li

SE PhD Student
(since 2020)

Bella Laybourn's Photo

Bella Laybourn

Undergraduate Researcher
(since 2021)

Ben Gafford's Photo

Ben Gafford

SE PhD Student
(since 2020)

Hita Kambhamettu's Photo

Hita Kambhamettu

REUSE Student
(Summer 2021)

John Billos' Photo

John Billos

REUSE Student
(Summer 2021)

Rafaello Sanna's Photo

Rafaello Sanna

REUSE Student
(Summer 2021)

Tomi's Photo

Tomi Oluwaseun-Apo

REUSE Student
(Summer 2021)

Vasu Vikram's Photo

Vasu Vikram

SE PhD Student
(since 2021)

Research

The PASTA group conducts research on Program Analysis, Software Testing, and Applications thereof. We are not afraid of spaghetti code. We often use dynamic analysis and grey-box fuzzing to identify software bugs or achieve other software engineering objectives.

In the past, our members have developed program analysis and automated testing techniques for various applications and domains, including:

Our current research targets application domains such as software-defined networks, microservices, and autonomous vehicles. Lookout for future publications!

Ethos

Open Science

For science to make rapid and sustained progress, we believe that academic research should be made openly accessible, reproducible, and where artifacts exist, also directly reusable. To this end, we make the following commitments:

Ethics

We also believe in being responsible members of society and in working towards scientific advancement for good, not evil. We implement this outlook in the following ways:

Join Us

If our research and ethos are appealing to you, consider joining our group!

Prospective graduate students should apply to the Software Engineering PhD program at CMU.

Undergraduate students in the US can apply to the REUSE program to join our group for a summer.

If you are already enrolled in CMU as a student, send us an email from your Andrew address.

Alternatively, look out for one us at an ICSE.