MoonShine: Optimizing OS Fuzzer Seed Selection with Trace Distillation. - Shankara Pailoor; Andrew Aday; Suman Jana (USENIX Security Symposium, 2018)

Optimization and abstraction: a synergistic approach for analyzing neural network robustness. - Greg Anderson 003; Shankara Pailoor; Isil Dillig; Swarat Chaudhuri (PLDI, 2019)

Automated policy synthesis for system call sandboxing. - Shankara Pailoor; Xinyu Wang 006; Hovav Shacham; Isil Dillig (Proc. ACM Program. Lang., 2020)

Synthesizing data structure refinements from integrity constraints. - Shankara Pailoor; Yuepeng Wang 001; Xinyu Wang 006; Isil Dillig (PLDI, 2021)

Finding and Analyzing Crash-Consistency Bugs in Persistent-Memory File Systems. - Hayley LeBlanc; Shankara Pailoor; Isil Dillig; James Bornholt; Vijay Chidambaram (CoRR, 2022)

Type-directed synthesis of visualizations from natural language queries. - Qiaochu Chen; Shankara Pailoor; Celeste Barnaby; Abby Criswell; Chenglong Wang; Greg Durrett; Isil Dillig (Proc. ACM Program. Lang., 2022)

Chipmunk: Investigating Crash-Consistency in Persistent-Memory File Systems. - Hayley LeBlanc; Shankara Pailoor; Om Saran K. R. E.; Isil Dillig; James Bornholt; Vijay Chidambaram (EuroSys, 2023)

Automated Detection of Underconstrained Circuits for Zero-Knowledge Proofs. - Shankara Pailoor; Yanju Chen; Franklyn Wang; Clara Rodríguez-Núñez; Jacob Van Gaffen; Jason Morton; Michael Chu; Brian Gu; Yu Feng 001; Isil Dillig (IACR Cryptol. ePrint Arch., 2023)

Practical Security Analysis of Zero-Knowledge Proof Circuits. - Hongbo Wen; Jon Stephens; Yanju Chen; Kostas Ferles; Shankara Pailoor; Kyle Charbonnet; Isil Dillig; Yu Feng 001 (IACR Cryptol. ePrint Arch., 2023)

Automated Detection of Under-Constrained Circuits in Zero-Knowledge Proofs. - Shankara Pailoor; Yanju Chen; Franklyn Wang; Clara Rodríguez-Núñez; Jacob Van Geffen; Jason Morton; Michael Chu; Brian Gu; Yu Feng 001; Isil Dillig (Proc. ACM Program. Lang., 2023)

Split Gröbner Bases for Satisfiability Modulo Finite Fields. - Alex Ozdemir; Shankara Pailoor; Alp Bassa; Kostas Ferles; Clark W. Barrett; Isil Dillig (IACR Cryptol. ePrint Arch., 2024)

Control-Flow Deobfuscation using Trace-Informed Compositional Program Synthesis. - Benjamin Mariano; Ziteng Wang; Shankara Pailoor; Christian S. Collberg; Isil Dillig (Proc. ACM Program. Lang., 2024)

From Batch to Stream: Automatic Generation of Online Algorithms. - Ziteng Wang; Shankara Pailoor; Aaryan Prakash; Yuepeng Wang 001; Isil Dillig (Proc. ACM Program. Lang., 2024)

Semantic Code Refactoring for Abstract Data Types. - Shankara Pailoor; Yuepeng Wang 001; Isil Dillig (Proc. ACM Program. Lang., 2024)

Copper and Wire: Bridging Expressiveness and Performance for Service Mesh Policies. - Divyanshu Saxena; William Zhang 002; Shankara Pailoor; Isil Dillig; Aditya Akella (ASPLOS (1), 2025)

Integer Reasoning Modulo Different Constants in SMT. - Elizaveta Pertseva; Alex Ozdemir; Shankara Pailoor; Alp Bassa; Sorawee Porncharoenwase; Isil Dillig; Clark W. Barrett (CAV (1), 2025)

Automated Verification of Consistency in Zero-Knowledge Proof Circuits. - Jon Stephens; Shankara Pailoor; Isil Dillig (IACR Cryptol. ePrint Arch., 2025)