Nikhil Pimpalkhare

According to our database, Nikhil Pimpalkhare authored at least 4 papers between 2020 and 2024.

Collaborative distances:

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

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