Research funded in part by the National Science Foundation1,2,3, CyLab1,2,3,4,5, Amazon1,2, and DSO National Labs.
Members
Current
Rohan Padhye
Faculty & Principal Investigator
Ao Li
SE PhD Student
(since 2020)
Vasu Vikram
SE PhD Student
(since 2021)
Shrey Tiwari
SE PhD Student
(since 2023)
Angel (Leyi) Cui
SE PhD Student
(since 2025)
Alumni & Friends
Byeongjee Kang
Friend of the Lab
(Since 2023)
Serena Chen
REUSE Student
(Summer 2024)
Alexander Joukov
REUSE Student
(Summer 2024)
Peter Vandervelde
REUSE Student
(Summer 2024)
Samvid Dharanikota
Research Associate (MSIN '22, RA '23)
Bella Laybourn
Undergraduate Researcher
(graduated 2023; now at Apple)
Palash Oswal
MSIS-IT Thesis
(graduated 2023)
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; now PhD @ UPenn)
John Billos
REUSE Student
(Summer 2021)
Rafaello Sanna
REUSE Student
(Summer 2021; now PhD @ Harvard)
Tomi Oluwaseun-Apo
REUSE Student
(Summer 2021)
Ben Gafford
MS-SE
(Graduated 2022)
Lirong Yuan
Graduate student (2023)
Research
Byeongjee Kang
Friend of the Lab
(Since 2023)
Serena Chen
REUSE Student
(Summer 2024)
Alexander Joukov
REUSE Student
(Summer 2024)
Peter Vandervelde
REUSE Student
(Summer 2024)
Samvid Dharanikota
Research Associate (MSIN '22, RA '23)
Bella Laybourn
Undergraduate Researcher
(graduated 2023; now at Apple)
Palash Oswal
MSIS-IT Thesis
(graduated 2023)
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; now PhD @ UPenn)
John Billos
REUSE Student
(Summer 2021)
Rafaello Sanna
REUSE Student
(Summer 2021; now PhD @ Harvard)
Tomi Oluwaseun-Apo
REUSE Student
(Summer 2021)
Ben Gafford
MS-SE
(Graduated 2022)
Lirong Yuan
Graduate student (2023)
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.
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:
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.
Please do not email the PI directly, as you will likely not get a response. The only way to join the PASTA group is via the official application channels listed above. We will respond to you via email if your application appears to be a good match.