Shankara Pailoor

Publication Activity (10 Years)

Years Active: 2018-2024
Publications (10 Years): 18

Top Topics

Natural Language Queries

Integrity Constraints

Top Venues

Proc. ACM Program. Lang.

IACR Cryptol. ePrint Arch.

USENIX Security Symposium

Publications

Alex Ozdemir, Shankara Pailoor, Alp Bassa, Kostas Ferles, Clark W. Barrett, Isil Dillig
Split Gröbner Bases for Satisfiability Modulo Finite Fields. CAV (1) (2024)
Shankara Pailoor, Yuepeng Wang, Isil Dillig
Semantic Code Refactoring for Abstract Data Types. Proc. ACM Program. Lang. 8 (POPL) (2024)
Alex Ozdemir, Shankara Pailoor, Alp Bassa, Kostas Ferles, Clark W. Barrett, Isil Dillig
Split Gröbner Bases for Satisfiability Modulo Finite Fields. IACR Cryptol. ePrint Arch. 2024 (2024)
Ziteng Wang, Shankara Pailoor, Aaryan Prakash, Yuepeng Wang, Isil Dillig
From Batch to Stream: Automatic Generation of Online Algorithms. Proc. ACM Program. Lang. 8 (PLDI) (2024)
Ziteng Wang, Shankara Pailoor, Aaryan Prakash, Yuepeng Wang, Isil Dillig
From Batch to Stream: Automatic Generation of Online Algorithms. CoRR (2024)
Hongbo Wen, Jon Stephens, Yanju Chen, Kostas Ferles, Shankara Pailoor, Kyle Charbonnet, Isil Dillig, Yu Feng
Practical Security Analysis of Zero-Knowledge Proof Circuits. USENIX Security Symposium (2024)
Shankara Pailoor, Yanju Chen, Franklyn Wang, Clara Rodríguez, Jacob Van Geffen, Jason Morton, Michael Chu, Brian Gu, Yu Feng, Isil Dillig
Automated Detection of Under-Constrained Circuits in Zero-Knowledge Proofs. Proc. ACM Program. Lang. 7 (PLDI) (2023)
Hongbo Wen, Jon Stephens, Yanju Chen, Kostas Ferles, Shankara Pailoor, Kyle Charbonnet, Isil Dillig, Yu Feng
Practical Security Analysis of Zero-Knowledge Proof Circuits. IACR Cryptol. ePrint Arch. 2023 (2023)
Hayley LeBlanc, Shankara Pailoor, Om Saran K. R. E, Isil Dillig, James Bornholt, Vijay Chidambaram
Chipmunk: Investigating Crash-Consistency in Persistent-Memory File Systems. EuroSys (2023)
Shankara Pailoor, Yanju Chen, Franklyn Wang, Clara Rodríguez, Jacob Van Gaffen, Jason Morton, Michael Chu, Brian Gu, Yu Feng, Isil Dillig
Automated Detection of Underconstrained Circuits for Zero-Knowledge Proofs. IACR Cryptol. ePrint Arch. 2023 (2023)
Hayley LeBlanc, Shankara Pailoor, Isil Dillig, James Bornholt, Vijay Chidambaram
Finding and Analyzing Crash-Consistency Bugs in Persistent-Memory File Systems. CoRR (2022)
Qiaochu Chen, Shankara Pailoor, Celeste Barnaby, Abby Criswell, Chenglong Wang, Greg Durrett, Isil Dillig
Type-directed synthesis of visualizations from natural language queries. Proc. ACM Program. Lang. 6 (OOPSLA2) (2022)
Qiaochu Chen, Shankara Pailoor, Celeste Barnaby, Abby Criswell, Chenglong Wang, Greg Durrett, Isil Dillig
Type-Directed Synthesis of Visualizations from Natural Language Queries. CoRR (2022)
Shankara Pailoor, Yuepeng Wang, Xinyu Wang, Isil Dillig
Synthesizing data structure refinements from integrity constraints. PLDI (2021)
Shankara Pailoor, Xinyu Wang, Hovav Shacham, Isil Dillig
Automated policy synthesis for system call sandboxing. Proc. ACM Program. Lang. 4 (OOPSLA) (2020)
Greg Anderson, Shankara Pailoor, Isil Dillig, Swarat Chaudhuri
Optimization and abstraction: a synergistic approach for analyzing neural network robustness. PLDI (2019)
Greg Anderson, Shankara Pailoor, Isil Dillig, Swarat Chaudhuri
Optimization and Abstraction: A Synergistic Approach for Analyzing Neural Network Robustness. CoRR (2019)
Shankara Pailoor, Andrew Aday, Suman Jana
MoonShine: Optimizing OS Fuzzer Seed Selection with Trace Distillation. USENIX Security Symposium (2018)