Dynamic Algorithm Selection for SMT. - Nikhil Pimpalkhare (ASE, 2020)

MedleySolver: Online SMT Algorithm Selection. - Nikhil Pimpalkhare; Federico Mora 002; Elizabeth Polgreen; Sanjit A. Seshia (SAT, 2021)

Semi-linear VASR for Over-Approximate Semi-linear Transition System Reachability. - Nikhil Pimpalkhare; Zachary Kincaid (RP, 2024)

Monotone Procedure Summarization via Vector Addition Systems and Inductive Potentials. - Nikhil Pimpalkhare; Zachary Kincaid (Proc. ACM Program. Lang., 2024)