Shankara Pailoor
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
4
Active years
2019–2025
Best venue rank
A*
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | ASPLOS | Copper and Wire: Bridging Expressiveness and Performance for Service Mesh Policies. | Divyanshu Saxena, William Zhang, Shankara Pailoor, Isil Dillig, Aditya Akella |
| 2025 | CAV | Integer Reasoning Modulo Different Constants in SMT. | Elizaveta Pertseva, Alex Ozdemir, Shankara Pailoor, Alp Bassa, Sorawee Porncharoenwase, Isil Dillig, Clark W. Barrett |
| 2025 | CAV | Automated Verification of Consistency in Zero-Knowledge Proof Circuits. | Jon Stephens, Shankara Pailoor, Isil Dillig |
| 2024 | CAV | Split Grbner Bases for Satisfiability Modulo Finite Fields. | Alex Ozdemir, Shankara Pailoor, Alp Bassa, Kostas Ferles, Clark W. Barrett, Isil Dillig |
| 2023 | EuroSys | Chipmunk: Investigating Crash-Consistency in Persistent-Memory File Systems. | Hayley LeBlanc, Shankara Pailoor, Om Saran K. R. E., Isil Dillig, James Bornholt, Vijay Chidambaram |
| 2021 | PLDI | Synthesizing data structure refinements from integrity constraints. | Shankara Pailoor, Yuepeng Wang, Xinyu Wang, Isil Dillig |
| 2019 | PLDI | Optimization and abstraction: a synergistic approach for analyzing neural network robustness. | Greg Anderson, Shankara Pailoor, Isil Dillig, Swarat Chaudhuri |