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 for expressive and reliable programming.
I am interested in Programming Languages and Software Engineering, specifically, in tools for program synthesis and analysis. Currently, my work is motivated by abstractions for programs that simplify reasoning about code by introducing either structure (graphs) or abstract semantics (language). This interest naturally touches language models (LLM) and ML4Code as means to learn and enrich these abstractions.
Previously, I worked at Microsoft Research (MSR) in the Programming Languages and Systems Group on developer and debugging tools for system reliability.
If you’d like to collaborate, drop me an email at: manishs@berkeley.edu
R2E: Turning any GitHub Repository into a Programming Agent Environment
Manish Shetty*, Naman Jain*,
Tianjun Zhang, King Han, Koushik Sen, Ion Stoica
ICML 2024: Proceedings of the 41st International Conference on Machine Learning
ICLR 2024 @ LLMAgents Workshop
preprint
DSPy Assertions: Computational Constraints for Self-Refining LM Pipelines
Arnav Singhvi*, Manish Shetty*, Shangyin Tan*, Chris Potts,
Koushik Sen, Matei Zaharia, Omar Khattab
Under Submission, 2023.
paper /
code /
tweet-1 /
tweet-2 /
blog
CodeScholar: Growing Idiomatic Code Examples
Manish Shetty, Koushik Sen, Ion Stoica
arXiv, 2023
paper /
code
How to Fight Production Incidents? An Empirical Study on a Large-scale Cloud Service
Supriyo Ghosh, Manish Shetty, Chetan Bansal, Suman Nath
SoCC 2022: 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 2022: 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 2022: 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 2021: Proceedings of the 43rd International Conference on Software Engineering
paper /
slides /
talk /
featured on VentureBeat
UC Berkeley: