
Manu Sridharan
Computer Science and EngineeringUniversity of California, Riverside 423 Winston Chung Hall Riverside, CA, 92521, USA Email: manu@cs.ucr.edu


I am an associate 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 talk I gave 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
- "Optimization of Swift Protocols," joint with Rajkishore Barik, Murali Krishna Ramanathan, and Milind Chabbi, will appear 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.
- I served as the program committee chair for OOPSLA 2018.
- "Safe Stream-Based Programming with Refinement Types," joint with Benno Stein, Lazaro Clapp, and Bor-Yuh Evan Chang, appeared at ASE 2018. A pre-print is available here.
- "IoTa: A Calculus for Internet of Things Automation," joint with Julie L. Newcomb, Satish Chandra, Jean-Baptiste Jeannin, and Cole Schlesinger, appeared at Onward! 2017. The paper is available here.
- I was a keynote speaker at NASA Formal Methods 2017.
- "Finding Fix Locations for CFL-Reachability Analyses via Minimum Cuts," joint with Andrei Dan, Satish Chandra, Jean-Baptiste Jeannin, and Martin Vechev, appeared at CAV 2017. A pre-print is available here.
- "Repairing Event Race Errors by Controlling Nondeterminism," joint with Christoffer Quist Adamsen, Anders Møller, Rezwana Karim, Frank Tip, and Koushik Sen, appeared at ICSE 2017. A pre-print is available here.
- I was a keynote speaker at the Asia-Pacific Software Engineering Conference (APSEC 2016).
- "Type Inference for Static Compilation of JavaScript," joint with Satish Chandra, Colin Gordon, Jean-Baptiste Jeannin, Cole Schlesinger, Frank Tip, and Young-il Choi, appeared at OOPSLA 2016. A pre-print is available here, and an extended version is here.
- "A Practical Framework for Type Inference Error Explanation," join with Calvin Loncaric, Satish Chandra, and Cole Schlesinger, appeared at OOPSLA 2016. A pre-print is available here.
Service
- Program Committee, ICSE 2020.
- Program Committee, OOPSLA 2019.
- Program Committee, ECOOP 2019.
- Program Committee Chair, OOPSLA 2018.
- Program Committee, ISSTA 2017.
- Organizing chair, TAPAS 2016.
- Program Committee, OOPSLA 2016.
- External Program Committee, PLDI 2016.
- Publicity Chair, PLDI 2016.
- Program Committee, POPL 2016.
- Organizer, Workshop on WALA.
- Program Committee, SNAPL 2015.
- Program Committee, CAV 2015.
- Program Committee, PLDI 2015.
- Publicity Chair, PLDI 2015.
- Program Committee, MobileSoft 2015.
- External Review Committee, POPL 2015.
- Organizing Committee, TAPAS 2014.
- Program Committee, OOPSLA 2014.
- Program Committee, MobileSoft 2014.
- Program Committee, FSE 2014 Demonstrations Track.
- Publicity Chair, PLDI 2014.
- Student Research Competition Committee, SPLASH 2013.
- Program committee, ESEC/FSE 2013 New Ideas Track.
- External review committee, PLDI 2013.
- Program committee, ICSE 2013 New Ideas and Emerging Results (NIER) Track.
- Program committee, SOAP 2012
- Program committee, SAS 2012
- Program committee, ISSTA 2012
- External review committee, PLDI 2012
- External review committee, POPL 2012
- Program committee, RV 2011
- External review committee, PLDI 2010
- Program committee, PASTE 2010
- External review committee, PLDI 2009