About Me

I am a PhD student at UC Berkeley in the Programming Systems group and the Sky Lab advised by Koushik Sen. I broadly research techniques and design systems to quickly analyze and synthesize programs.

Research Interest

I am interested in Programming Languages and Software Engineering, specifically, in techniques for efficient and reliable program analysis and synthesis. Currently my work draws from the connections between programs and graphs, and combines ideas from graph theory and representation learning to study programs and their automated synthesis.

Previously, I worked at Microsoft Research (MSR) with Chetan Bansal, Suman Nath, and Tom Zimmermann on developer and debugging tools for cloud reliability.

If you’d like to collaborate or chat with me, feel free to drop me an email.

News

Sept 2023. Passed the Programming Languages Preliminary Exam at UC Berkeley!

Aug 2023. Submitted a paper to ICSE 2024 on synthesizing API usage examples that is more representative/idiomatic than ChatGPT generated code!

May 2023. Taught my first class: CS164: Compilers and Programming Languages at UC Berkeley!

Nov 2022. Our empirical study @ Microsoft Research on production incidents in large-scale cloud services received the Best Paper Award 🏆 at SoCC 2022.

Aug 2022. Started my Ph.D. at UC Berkeley advised by Prof. Koushik Sen at the Sky Lab!

Publications

How to Fight Production Incidents? An Empirical Study on a Large-scale Cloud Service
Supriyo Ghosh, Manish Shetty, Chetan Bansal, Suman Nath
SoCC ‘22: Proceedings of the 13th Symposium on Cloud Computing
paper / Best Paper Award 🏆

AutoTSG: Learning and Synthesis for Incident Troubleshooting
Manish Shetty, Chetan Bansal, Sai Upadhyayula, Arjun Radhakrishna, Anurag Gupta
FSE ‘22: Proceedings of the 30th ACM Symposium on the Foundations of Software Engineering
paper

DeepAnalyze: Learning to Localize Crashes at Scale
Manish Shetty, Chetan Bansal, Suman Nath, Sean Bowles, Henry Wang, Ozgur Arman, Siamak Ahari
ICSE ‘22: Proceedings of the 44th International Conference on Software Engineering
paper / slides / talk-1 / talk-2 / talk-3

Neural Knowledge Extraction From Cloud Service Incidents
Manish Shetty, Chetan Bansal, Sumit Kumar, Nikitha Rao, Nachiappan Nagappan, Thomas Zimmermann
ICSE (SEIP) ‘21: Proceedings of the 43rd International Conference on Software Engineering
paper / slides / talk / featured on VentureBeat

Teaching

UC Berkeley:

Spring 2023 CS164: Programming Languages and Compilers (Head TA with Koushik Sen)
website / course evaluations

Service

Conferences

ISSTA 2023 (Sub-reviewer)
ICLR 2022 (Reviewer; Recommended from reviewer mentee pool for excellent review)
MSR 2021 (Shadow PC)

Journals

JSERD 2021 (Reviewer)
IET Software 2022 (Reviewer)