Shankara Pailoor

According to our database, Shankara Pailoor authored at least 20 papers between 2018 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

Automated Verification of Consistency in Zero-Knowledge Proof Circuits.

Jon Stephens, Shankara Pailoor, Isil Dillig

Proceedings of the Computer Aided Verification - 37th International Conference, 2025

Integer Reasoning Modulo Different Constants in SMT.

Elizaveta Pertseva, Alex Ozdemir, Shankara Pailoor, Alp Bassa, Sorawee Porncharoenwase, Isil Dillig, Clark W. Barrett

Proceedings of the Computer Aided Verification - 37th International Conference, 2025

Copper and Wire: Bridging Expressiveness and Performance for Service Mesh Policies.

Divyanshu Saxena, William Zhang, Shankara Pailoor, Isil Dillig, Aditya Akella

Proceedings of the 30th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, 2025

2024

Software Artifact for "Control-Flow Deobfuscation using Trace-Informed Compositional Program Synthesis".

Benjamin Mariano, Ziteng Wang, Shankara Pailoor, Christian S. Collberg, Isil Dillig

Dataset, August, 2024

Software Artifact for From Batch to Stream: Automatic Generation of Online Algorithms.

Ziteng Wang, Shankara Pailoor, Aaryan Prakash, Yuepeng Wang, Isil Dillig

Dataset, March, 2024

Software Artifact for From Batch to Stream: Automatic Generation of Online Algorithms.

Ziteng Wang, Shankara Pailoor, Aaryan Prakash, Yuepeng Wang, Isil Dillig

Dataset, March, 2024

Semantic Code Refactoring for Abstract Data Types.

Shankara Pailoor, Yuepeng Wang, Isil Dillig

Proc. ACM Program. Lang., January, 2024

From Batch to Stream: Automatic Generation of Online Algorithms.

Ziteng Wang, Shankara Pailoor, Aaryan Prakash, Yuepeng Wang, Isil Dillig

Proc. ACM Program. Lang., 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

Practical Security Analysis of Zero-Knowledge Proof Circuits.

Hongbo Wen, Jon Stephens, Yanju Chen, Kostas Ferles, Shankara Pailoor, Kyle Charbonnet, Isil Dillig, Yu Feng

Proceedings of the 33rd USENIX Security Symposium, 2024

Split Gröbner Bases for Satisfiability Modulo Finite Fields.

Alex Ozdemir, Shankara Pailoor, Alp Bassa, Kostas Ferles, Clark W. Barrett, Isil Dillig

Proceedings of the Computer Aided Verification - 36th International Conference, 2024

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, Isil Dillig

Proc. ACM Program. Lang., 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, Isil Dillig

IACR Cryptol. ePrint Arch., 2023

Chipmunk: Investigating Crash-Consistency in Persistent-Memory File Systems.

Hayley LeBlanc, Shankara Pailoor, Om Saran K. R. E., Isil Dillig, James Bornholt, Vijay Chidambaram

Proceedings of the Eighteenth European Conference on Computer Systems, 2023

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

Finding and Analyzing Crash-Consistency Bugs in Persistent-Memory File Systems.

Hayley LeBlanc, Shankara Pailoor, Isil Dillig, James Bornholt, Vijay Chidambaram

CoRR, 2022

2021

Synthesizing data structure refinements from integrity constraints.

Shankara Pailoor, Yuepeng Wang, Xinyu Wang, Isil Dillig

Proceedings of the PLDI '21: 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2021

2020

Automated policy synthesis for system call sandboxing.

Shankara Pailoor, Xinyu Wang, Hovav Shacham, Isil Dillig

Proc. ACM Program. Lang., 2020

2019

Optimization and abstraction: a synergistic approach for analyzing neural network robustness.

Greg Anderson, Shankara Pailoor, Isil Dillig, Swarat Chaudhuri

Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2019

2018

MoonShine: Optimizing OS Fuzzer Seed Selection with Trace Distillation.

Shankara Pailoor, Andrew Aday, Suman Jana

Proceedings of the 27th USENIX Security Symposium, 2018