Manu Sridharan

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!

• "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