Rohan Padhye
Scholar

Rohan Padhye

Google Scholar ID: XI03UxYAAAAJ
Carnegie Mellon University
Software EngineeringSoftware TestingProgram Analysis
Citations & Impact
All-time
Citations
1,459
 
H-index
18
 
i10-index
24
 
Publications
20
 
Co-authors
19
list available
Resume (English only)
Academic Achievements
  • Published papers in various venues like ICSE, ASE, ISSTA, etc.; received NSF grants, served on organizing committees or review boards for several conferences; awarded ACM SIGSOFT Distinguished Paper Awards and other recognitions.
Research Experience
  • Worked as a visiting academic at Amazon Web Services, a research intern at Microsoft Research, a security engineering intern at Samsung Research America, and spent two years at IBM Research India in the developer productivity group.
Education
  • Ph.D. in Computer Science from UC Berkeley, advised by Koushik Sen; Master's degree from IIT Bombay, with a thesis on static program analysis.
Background
  • Research interests include techniques for automatically discovering software bugs, spanning areas such as software engineering, programming languages, systems, and security. Leads the PASTA (Program Analysis, Software Testing, and Applications) research group.
Miscellany
  • Lead designer of the ChocoPy programming language, used in undergraduate compilers courses at UC Berkeley and other universities worldwide; academic ancestors include Newton, Galileo, Kepler, and Copernicus.