Get started
Author

Nikhil Pimpalkhare

Observed name: Pimpalkhare, Nikhil
ORCID: 0009-0000-5405-9129
Observed ORCID: 0009-0000-5405-9129
OpenAlex ID: A5070850893
MedleySolver: Online SMT Algorithm Selection
2021 · Nikhil Pimpalkhare, Federico Mora, et al. · Lecture notes in computer science · 26
PDF
Monotone Procedure Summarization via Vector Addition Systems and Inductive Potentials
2024 · Nikhil Pimpalkhare, Zachary Kincaid · Proceedings of the ACM on Programming Languages · 4
Semi-linear VASR for Over-Approximate Semi-linear Transition System Reachability
2024 · Nikhil Pimpalkhare, Zachary Kincaid · Lecture notes in computer science · 3
From Rust Till Run: Extending Memory Safety From Rust to Cryptographic Assembly
2025 · Shai Caspin, Nikhil Pimpalkhare, et al. · Workshop on Programming Languages and Operating Systems (PLOS) · 2
EMPIRIC: Experiment-Driven Learning of Residual World Models for Robot Planning
2026 · Liang, Yichao, Li, Amber, et al. · arXiv (Cornell University) · 1
PDF
Dynamic algorithm selection for SMT
2020 · Nikhil Pimpalkhare · IEEE/ACM International Conference on Automated Software Engineering (ASE) · 1
PDF
Context-Free-Language Reachability for Almost-Commuting Transition Systems
2026 · Nikhil Pimpalkhare, Zachary Kincaid, et al. · Proceedings of the ACM on Programming Languages
Works count: 10
Citation count: 38
H-index: 3
I10-index: 1
Year
Topic
Type