Nima Karimipour

According to our database, Nima Karimipour authored at least 6 papers between 2023 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2025

LLM-Based Repair of Static Nullability Errors.

Nima Karimipour, Michael Pradel, Martin Kellogg, Manu Sridharan

CoRR, July, 2025

Practical Type-Based Taint Checking and Inference (Extended Version).

Nima Karimipour, Kanak Das, Manu Sridharan, Behnaz Hassanshahi

CoRR, April, 2025

A New Approach to Evaluating Nullability Inference Tools.

Nima Karimipour, Erfan Arvan, Martin Kellogg, Manu Sridharan

Proc. ACM Softw. Eng., 2025

Practical Type-Based Taint Checking and Inference (Artifact).

Nima Karimipour, Kanak Das, Manu Sridharan, Behnaz Hassanshahi

Dagstuhl Artifacts Ser., 2025

Practical Type-Based Taint Checking and Inference.

Nima Karimipour, Kanak Das, Manu Sridharan, Behnaz Hassanshahi

Proceedings of the 39th European Conference on Object-Oriented Programming, 2025

2023

Practical Inference of Nullability Types.

Nima Karimipour, Justin Pham, Lazaro Clapp, Manu Sridharan

Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2023