Nikhil Pimpalkhare

According to our database, Nikhil Pimpalkhare authored at least 5 papers between 2020 and 2025.

Collaborative distances:

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

2025

From Rust Till Run: Extending Memory Safety From Rust to Cryptographic Assembly.

Shai Caspin, Nikhil Pimpalkhare, Amit Levy

Proceedings of the 13th Workshop on Programming Languages and Operating Systems, 2025

2024

Monotone Procedure Summarization via Vector Addition Systems and Inductive Potentials.

Nikhil Pimpalkhare, Zachary Kincaid

Proc. ACM Program. Lang., 2024

Semi-linear VASR for Over-Approximate Semi-linear Transition System Reachability.

Nikhil Pimpalkhare, Zachary Kincaid

Proceedings of the Reachability Problems - 18th International Conference, 2024

2021

MedleySolver: Online SMT Algorithm Selection.

Nikhil Pimpalkhare, Federico Mora, Elizabeth Polgreen, Sanjit A. Seshia

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2021, 2021

2020

Dynamic Algorithm Selection for SMT.

Nikhil Pimpalkhare

Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering, 2020