Rohan Padhye's Headshot

Assistant Professor
Software and Societal Systems Department (S3D)
School of Computer Science
Carnegie Mellon University
5000 Forbes Avenue
Pittsburgh, PA 15213
Office: TCS Hall 325
Email: rohanpadhyebots-gotta-get-smarter-than-this@its-really-not-that-hardcmu.edu
(My name is pronounced "row-hun paa-dhyae")

I am also affiliate faculty at CyLab.

About Me

I research techniques to automatically discover software bugs. My work spans several areas including software engineering, programming languages, systems, and security. My recent projects make use of dynamic program analysis and coverage-guided fuzz testing. My papers have been published at venues such as ICSE, ASE, ISSTA, OOPSLA, SOSP, SoCC, NSDI, and USENIX Security. My research tools have been used to discover 50+ new bugs in widely used open-source software and have been adopted by various firms in industry.

At CMU, I lead the Program Analysis, Software Testing, and Applications (PASTA) research group.

I completed my Ph.D. in Computer Science at UC Berkeley, where I was advised by Koushik Sen. My dissertation investigated techniques for specializing program analysis and automated testing tools using artifacts that incorporate the knowledge of domain experts. I've also worked with Amazon Web Services as a visiting academic in the database systems research group, with Microsoft Research as a research intern in the cloud systems group, with Samsung Research America as a security engineering intern in the KNOX group, and I spent two years at IBM Research India in the developer productivity group. I hold a Master's degree from IIT Bombay, where I did a thesis on static program analysis.

I am also the lead designer of the ChocoPy programming language, which is used to teach the undergraduate compilers courses at UC Berkeley (and several other universities across the world).

My academic ancestors include Newton, Galelio, Kepler, and Copernicus.

News

Projects

Publications

Dissertations

Service

Organizing

Conferences PCs

Journals

Other

Teaching

CMU:

UC Berkeley: (Graduate student instructor; OGSI)

IIT Bombay: (Teaching assistant)

Group

I lead the PASTA Lab, which conducts research on Program Analysis, Software Testing, and Applications.

Academic Genealogy

Thanks to the MGP, I've discovered two very exciting lines in my academic ancestry! Here is a visualization that I made, complete with era-appropriate flags:

Bug Trophy Case

Here are some issues in open-source software that were discovered using tools that I developed:

Performance Bugs

Memory-Safety Bugs

Correctness Bugs