Follow
Shankara Pailoor
Shankara Pailoor
Graduate Student, University of Texas Austin
Verified email at cs.utexas.edu
Title
Cited by
Cited by
Year
{MoonShine}: Optimizing {OS} fuzzer seed selection with trace distillation
S Pailoor, A Aday, S Jana
27th USENIX Security Symposium (USENIX Security 18), 729-743, 2018
1912018
Optimization and abstraction: a synergistic approach for analyzing neural network robustness
G Anderson, S Pailoor, I Dillig, S Chaudhuri
Proceedings of the 40th ACM SIGPLAN conference on programming language …, 2019
1182019
Automated policy synthesis for system call sandboxing
S Pailoor, X Wang, H Shacham, I Dillig
Proceedings of the ACM on Programming Languages 4 (OOPSLA), 1-26, 2020
362020
Automated detection of under-constrained circuits in zero-knowledge proofs
S Pailoor, Y Chen, F Wang, C Rodríguez, J Van Geffen, J Morton, M Chu, ...
Proceedings of the ACM on Programming Languages 7 (PLDI), 1510-1532, 2023
182023
Synthesizing data structure refinements from integrity constraints
S Pailoor, Y Wang, X Wang, I Dillig
Proceedings of the 42nd ACM SIGPLAN International Conference on Programming …, 2021
152021
Practical Security Analysis of {Zero-Knowledge} Proof Circuits
H Wen, J Stephens, Y Chen, K Ferles, S Pailoor, K Charbonnet, I Dillig, ...
33rd USENIX Security Symposium (USENIX Security 24), 1471-1487, 2024
142024
Chipmunk: Investigating crash-consistency in persistent-memory file systems
H LeBlanc, S Pailoor, OS KRE, I Dillig, J Bornholt, V Chidambaram
Proceedings of the Eighteenth European Conference on Computer Systems, 718-733, 2023
142023
Type-directed synthesis of visualizations from natural language queries
Q Chen, S Pailoor, C Barnaby, A Criswell, C Wang, G Durrett, I Dillig
Proceedings of the ACM on Programming Languages 6 (OOPSLA2), 532-559, 2022
142022
Semantic code refactoring for abstract data types
S Pailoor, Y Wang, I Dillig
Proceedings of the ACM on Programming Languages 8 (POPL), 816-847, 2024
52024
Split gröbner bases for satisfiability modulo finite fields
A Ozdemir, S Pailoor, A Bassa, K Ferles, C Barrett, I Dillig
International Conference on Computer Aided Verification, 3-25, 2024
22024
Control-Flow Deobfuscation using Trace-Informed Compositional Program Synthesis
B Mariano, Z Wang, S Pailoor, C Collberg, I Dillig
Proceedings of the ACM on Programming Languages 8 (OOPSLA2), 2211-2241, 2024
2024
From Batch to Stream: Automatic Generation of Online Algorithms
Z Wang, S Pailoor, A Prakash, Y Wang, I Dillig
Proceedings of the ACM on Programming Languages 8 (PLDI), 1014-1039, 2024
2024
Finding and Analyzing Crash-Consistency Bugs in Persistent-Memory File Systems
H LeBlanc, S Pailoor, I Dillig, J Bornholt, V Chidambaram
arXiv preprint arXiv:2204.06066, 2022
2022
MEROMORPHIC FORMS ON RIEMANN SURFACE STRUCTURES
S PAILOOR
2012
ON THE ADDITIVE STRUCTURE OF Qp AND THE NATURE OF p-ADIC POWER SERIES
S PAILOOR
The system can't perform the operation now. Try again later.
Articles 1–15