Manu Sridharan

I am a Professor of Computer Science and Engineering at the University of California, Riverside and a member of the RIPLE research group. I work in the areas of programming languages and software engineering, and I am interested in developing tools and techniques to make large-scale software more reliable, performant, secure, and maintainable. A list of my publications is here; also see DBLP and my Google Scholar page.

Previously, I worked on applying PL technologies at Uber. I was the primary developer of NullAway, a tool to help eliminate Java null pointer errors with low build-time overhead. Before Uber, I worked at IBM Research and at Samsung Research America. Even before that, I received my PhD from the University of California, Berkeley.

I am actively recruiting PhD students! Check out the RIPLE page to see the wide variety of exciting work in programming languages and software engineering happening at UC Riverside. Here is a keynote I gave at SOAP 2024 on some of my recent work:

If you have a strong CS background and are excited about building tools to make software better and software development easier, please apply and get in touch!

Latest News

• My PhD student Madhurima Chakraborty won third place in the ACM Student Research Competition Grand Finals! She previously won the graduate category of the ACM Student Research Competition at SPLASH 2021.
• "Accumulation Analysis," joint with Martin Kellogg, Shadab, and Michael Ernst, appeared at ECOOP 2022. A pre-print is available here.
• "Automatic Root Cause Quantification for Missing Edges in JavaScript Call Graphs", joint with Madhurima Chakraborty, Renzo Olivares, and Behnaz Hassanshahi, appeared at ECOOP 2022. A pre-print is available here.
• "Progressive Scrutiny: Incremental Detection of UBI bugs in the Linux Kernel," joing with Yizhuo Zhai, Yu Hao, Zheng Zhang, Weiteng Chen, Guoren Li, Zhiyun Qian, Chengyu Song, Srikanth V. Krishnamurthy, Trent Jaeger, and Paul Yu, appeared at NDSS 2022. A pre-print is available here.
• "Lightweight and Modular Resource Leak Verification," joint with Martin Kellogg, Shadab, and Michael D. Ernst, will appear at ESEC/FSE 2021. A pre-print is available here.
• I served as the program committee chair for ECOOP 2021.
• "Demanded Abstract Interpretation," joint with Benno Stein and Bor-Yuh Evan Chang, was published in PLDI 2021. A pre-print is available here.
• "LiveDroid: Identifying and Preserving Mobile App State in Volatile Runtime Environments," joint with Umar Farooq, Zhijia Zhao, and Iulian Neamtiu, was published in PACMPL OOPSLA 2020. A pre-print is available here.
• "Verifying Object Construction," joint with Martin Kellogg, Manli Ran, Martin Schäf, and Michael Ernst, appeared at ICSE 2020. A pre-print is available here.
• "Piranha: Reducing Feature Flag Debt at Uber," joint with Murali Krishna Ramanathan, Lazaro Clapp, and Rajkishore Barik, appeared at ICSE 2020 Software Engineering in Practice. A pre-print is available here.
• "Optimization of Swift Protocols," joint with Rajkishore Barik, Murali Krishna Ramanathan, and Milind Chabbi, appeared in Proceedings of the ACM on Programming Languages (PACMPL), Volume 3, Issue OOPSLA. A pre-print is available here.
• "NullAway: Practical Type-Based Null Safety for Java," joint with Subarno Banerjee and Lazaro Clapp, appeared at ESEC/FSE 2019. A pre-print is available here.

Students

• Madhurima Chakraborty
• Kanak Das
• Kaya Gokalp
• Nima Karimipour
• Sanjay Malakar

• Raghu Ganapathy
• Abhijit Kulkarni

• Aakash Gnanakumar
• Joseph Hoang

• Narges Shadab (2023)