Shankara Pailoor

24 papers A* 4A 1Journal 15Unranked 4
YearRankTypeTitle / Venue / Authors
2025 — conf
Automated Verification of Consistency in Zero-Knowledge Proof Circuits.
CAV (1)
Jon Stephens, Shankara Pailoor, Isil Dillig
2025 J jnl
Automated Verification of Consistency in Zero-Knowledge Proof Circuits.
IACR Cryptol. ePrint Arch.
Jon Stephens, Shankara Pailoor, Isil Dillig
2025 — conf
Copper and Wire: Bridging Expressiveness and Performance for Service Mesh Policies.
ASPLOS (1)
Divyanshu Saxena, William Zhang, Shankara Pailoor, Isil Dillig, Aditya Akella
2025 — conf
Integer Reasoning Modulo Different Constants in SMT.
CAV (1)
Elizaveta Pertseva, Alex Ozdemir, Shankara Pailoor, Alp Bassa, Sorawee Porncharoenwase, Isil Dillig, Clark W. Barrett
2025 J jnl
Integer Reasoning Modulo Different Constants in SMT.
CoRR
Elizaveta Pertseva, Alex Ozdemir, Shankara Pailoor, Alp Bassa, Sorawee Porncharoenwase, Isil Dillig, Clark W. Barrett
2024 J jnl
Control-Flow Deobfuscation using Trace-Informed Compositional Program Synthesis.
Proc. ACM Program. Lang.
Benjamin Mariano, Ziteng Wang, Shankara Pailoor, Christian S. Collberg, Isil Dillig
2024 J jnl
From Batch to Stream: Automatic Generation of Online Algorithms.
CoRR
Ziteng Wang, Shankara Pailoor, Aaryan Prakash, Yuepeng Wang, Isil Dillig
2024 J jnl
From Batch to Stream: Automatic Generation of Online Algorithms.
Proc. ACM Program. Lang.
Ziteng Wang, Shankara Pailoor, Aaryan Prakash, Yuepeng Wang, Isil Dillig
2024 A* conf
Practical Security Analysis of Zero-Knowledge Proof Circuits.
USENIX Security Symposium
Hongbo Wen, Jon Stephens, Yanju Chen, Kostas Ferles, Shankara Pailoor, Kyle Charbonnet, Isil Dillig, Yu Feng
2024 J jnl
Semantic Code Refactoring for Abstract Data Types.
Proc. ACM Program. Lang.
Shankara Pailoor, Yuepeng Wang, Isil Dillig
2024 — conf
Split Gröbner Bases for Satisfiability Modulo Finite Fields.
CAV (1)
Alex Ozdemir, Shankara Pailoor, Alp Bassa, Kostas Ferles, Clark W. Barrett, Isil Dillig
2024 J jnl
Split Gröbner Bases for Satisfiability Modulo Finite Fields.
IACR Cryptol. ePrint Arch.
Alex Ozdemir, Shankara Pailoor, Alp Bassa, Kostas Ferles, Clark W. Barrett, Isil Dillig
2023 J jnl
Automated Detection of Under-Constrained Circuits in Zero-Knowledge Proofs.
Proc. ACM Program. Lang.
Shankara Pailoor, Yanju Chen, Franklyn Wang, Clara Rodríguez-Núñez, Jacob Van Geffen, Jason Morton, Michael Chu, Brian Gu, Yu Feng, Isil Dillig
2023 J jnl
Automated Detection of Underconstrained Circuits for Zero-Knowledge Proofs.
IACR Cryptol. ePrint Arch.
Shankara Pailoor, Yanju Chen, Franklyn Wang, Clara Rodríguez-Núñez, Jacob Van Gaffen, Jason Morton, Michael Chu, Brian Gu, Yu Feng, Isil Dillig
2023 A conf
Chipmunk: Investigating Crash-Consistency in Persistent-Memory File Systems.
EuroSys
Hayley LeBlanc, Shankara Pailoor, Om Saran K. R. E., Isil Dillig, James Bornholt, Vijay Chidambaram
2023 J jnl
Practical Security Analysis of Zero-Knowledge Proof Circuits.
IACR Cryptol. ePrint Arch.
Hongbo Wen, Jon Stephens, Yanju Chen, Kostas Ferles, Shankara Pailoor, Kyle Charbonnet, Isil Dillig, Yu Feng
2022 J jnl
Finding and Analyzing Crash-Consistency Bugs in Persistent-Memory File Systems.
CoRR
Hayley LeBlanc, Shankara Pailoor, Isil Dillig, James Bornholt, Vijay Chidambaram
2022 J jnl
Type-Directed Synthesis of Visualizations from Natural Language Queries.
CoRR
Qiaochu Chen, Shankara Pailoor, Celeste Barnaby, Abby Criswell, Chenglong Wang, Greg Durrett, Isil Dillig
2022 J jnl
Type-directed synthesis of visualizations from natural language queries.
Proc. ACM Program. Lang.
Qiaochu Chen, Shankara Pailoor, Celeste Barnaby, Abby Criswell, Chenglong Wang, Greg Durrett, Isil Dillig
2021 A* conf
Synthesizing data structure refinements from integrity constraints.
PLDI
Shankara Pailoor, Yuepeng Wang, Xinyu Wang, Isil Dillig
2020 J jnl
Automated policy synthesis for system call sandboxing.
Proc. ACM Program. Lang.
Shankara Pailoor, Xinyu Wang, Hovav Shacham, Isil Dillig
2019 J jnl
Optimization and Abstraction: A Synergistic Approach for Analyzing Neural Network Robustness.
CoRR
Greg Anderson, Shankara Pailoor, Isil Dillig, Swarat Chaudhuri
2019 A* conf
Optimization and abstraction: a synergistic approach for analyzing neural network robustness.
PLDI
Greg Anderson, Shankara Pailoor, Isil Dillig, Swarat Chaudhuri
2018 A* conf
MoonShine: Optimizing OS Fuzzer Seed Selection with Trace Distillation.
USENIX Security Symposium
Shankara Pailoor, Andrew Aday, Suman Jana