Shankara Pailoor

According to our database, Shankara Pailoor authored at least 12 papers between 2018 and 2024.

Collaborative distances:

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

2024

Semantic Code Refactoring for Abstract Data Types.

Shankara Pailoor, Yuepeng Wang, Isil Dillig

Proc. ACM Program. Lang., January, 2024

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

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

Practical Security Analysis of Zero-Knowledge Proof Circuits.

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

IACR Cryptol. ePrint Arch., 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