News
- 2022-05-10: Bella Laybourn will be joining Apple in the iOS test engineering team.
- 2023-05-08: Congrats to Vasu, Bella, Leo, Nicole, Kelton, and Raffi: their Mu2 paper was accepted to ISSTA 2023!
- 2023-04-20: Palash released the Linux Kernel enriched corpus and completed his Master's thesis at INI. Congrats, Palash!
- 2022-05-29: Bella Laybourn received the second prize at the ACM Student Research Competition at ICSE 2022. Congratulations, Bella!
- 2022-04-04: Ben Gafford was offered the NSF Graduate Research Fellowship. Congrats, Ben!
- 2022-04-01: Hita Kambhamettu will be joining UPenn for a PhD. Congrats, Hita!
- 2022-03-25: John Billos was awarded the Goldwater Scholarship. Congrats, John!
- 2022-03-08: Congrats to Hita, John, Tomi, and Ben: their paper on the naturalness of fuzzer-generated code was accepted to MSR'22.
Members
Current

Rohan Padhye
Faculty & Principal Investigator

Ao Li
SE PhD Student
(since 2020)

Bella Laybourn
Undergraduate Researcher
(since 2021)

Palash Oswal
MSIS-IT Student
(since 2022)

Vasu Vikram
SE PhD Student
(since 2021)
Alumni
Daniel Verdi do Amarante
REUSE Student
(Summer 2022)
Kelton OBrien
REUSE Student
(Summer 2022)
Nicole Nair
REUSE Student
(Summer 2022)
Hita Kambhamettu
REUSE Student
(Summer 2021)
John Billos
REUSE Student
(Summer 2021)
Rafaello Sanna
REUSE Student
(Summer 2021)
Tomi Oluwaseun-Apo
REUSE Student
(Summer 2021)
Ben Gafford
MS-SE
(Graduated 2022)
Research

Daniel Verdi do Amarante
REUSE Student
(Summer 2022)

Kelton OBrien
REUSE Student
(Summer 2022)

Nicole Nair
REUSE Student
(Summer 2022)

Hita Kambhamettu
REUSE Student
(Summer 2021)

John Billos
REUSE Student
(Summer 2021)

Rafaello Sanna
REUSE Student
(Summer 2021)

Tomi Oluwaseun-Apo
REUSE Student
(Summer 2021)

Ben Gafford
MS-SE
(Graduated 2022)
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.
Our members have developed program analysis and automated testing techniques for various applications and domains, including:
- Classroom Programming Assignments
- Concurrent Asynchronous Programs
- Big Data Analytics
- Microservices
- Trusted Execution Enviroments
- Cyber-Physical Systems
- Smart Contracts
- Algorithmic Complexity
- Property-Based Testing
Our ongoing research targets several new challenges and domains including continuously evolving software, software-defined networks, and autonomous vehicles.
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:
- We only publish in venues that are at least Green Open Access (e.g., conferences and journals that are run by USENIX, ACM, or IEEE).
- Upon publication of any research results, the corresponding artifacts and tools produced by our group will be made open-source and publicly available under a permissive license such as a Creative Commons or MIT License, as appropriate.
- For research involving quantitative empirical results, we will make every effort to release artifacts that facilitate independent reproduction or validation of those results (e.g., as a Docker container with a DOI).
- Where possible, we will participate in artifact evaluation.
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:
- As computing professionals, we adopt the ACM Code of Ethics and Professional Conduct.
- Our research is not funded by military agencies. (Why does this matter? See Ben Kuipers' excellent article on this subject.)
- In matters of computer security, we follow industry-standard responsible disclosure practices (e.g., as adopted by CERT or IETF).
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.