Nima Karimipour

Nima Karimipour

Research Scientist at Gitar.ai

Ph.D. in CS

About Me

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.

Experience

Research Scientist

Gitar.ai

2025 – Present

Building agents for software engineering automation.

Ph.D. Research Intern

Uber Technologies, Inc. — Programming Systems Group (PSG)

Jun – Sep 2022

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.

Publications

ECOOP 2025

Practical Type-Based Taint Checking and Inference

Nima Karimipour, Kanak Das, Behnaz Hassanshahi and Manu Sridharan

FSE 2025

A New Approach to Evaluating Nullability Inference Tools

Nima Karimipour, Erfan Arvan, Martin Kellogg, and Manu Sridharan

FSE 2023

Practical Inference of Nullability Types

Nima Karimipour, Justin Pham, Lazaro Clapp, and Manu Sridharan

In 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE 2023)

Education

Ph.D. in Computer Science and Engineering

University of California, Riverside

2020 – 2025

Advisor: Prof. Manu Sridharan

B.Sc. in Computer Engineering

Sharif University of Technology

2014 – 2018