I'm a Research Scientist at Gitar.ai, building agents. I received my Ph.D. from the University of California, Riverside, advised by Prof. Manu Sridharan, where I was a member of the RIPLE research group. My research centers on programming languages and software engineering, with a special focus on creating tools that boost the reliability and security of large-scale software systems. During my Ph.D., I developed a type inference tool for NullAway, offering capabilities unmatched by other tools, and created Annotator, an automated tool that seamlessly integrates NullAway into existing codebases.
Building agents for software engineering automation.
Uber Technologies, Inc. — Programming Systems Group (PSG)
Worked on enhancing Annotator to work at monorepo scale. Annotator is a tool designed to simplify and accelerate the adoption of NullAway in existing codebases. By automating the search for a set of annotations that minimizes reported NullAway errors, it streamlines onboarding projects to NullAway. Once executed, Annotator can bring code to a state where no NullAway errors are reported, enabling immediate NullAway integration. For cases where errors cannot be fully resolved with annotations alone, Annotator automatically applies suppression annotations. It also considers build target boundaries and can be configured to avoid adding annotations that might trigger errors in downstream dependencies. This modular approach supports large-scale projects, allowing them to adopt NullAway incrementally, target by target. Used internally at Uber, Annotator has successfully annotated millions of lines of code, facilitating the integration of an entire Java monorepo into NullAway.
Recognized with a dedicated blog post: Automating Java Codebase Annotations for Null Safety by Gitar.
In 35th ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2026)
In 39th European Conference on Object-Oriented Programming (ECOOP 2025)
In 33rd ACM International Conference on the Foundations of Software Engineering (FSE 2025)
Automated tool that integrates NullAway into existing codebases by inferring and applying nullability annotations at scale.
JavaA fast, practical null pointer checker for Java, built as an Error Prone plugin. Core contributor with type inference extensions.
JavaA practical type-based taint checker and inference tool for Java, exceeding recall of state-of-the-art whole-program taint analyzers.
JavaUniversity of California, Riverside
2020 – 2025
Advisor: Prof. Manu Sridharan
