Folgen
Shankara Pailoor
Shankara Pailoor
Graduate Student, University of Texas Austin
Bestätigte E-Mail-Adresse bei cs.utexas.edu
Titel
Zitiert von
Zitiert von
Jahr
{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
1652018
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
1052019
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
282020
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
132021
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
122023
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
82023
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
82022
Practical Security Analysis of Zero-Knowledge Proof Circuits.
H Wen, J Stephens, Y Chen, K Ferles, S Pailoor, K Charbonnet, I Dillig, ...
IACR Cryptol. ePrint Arch. 2023, 190, 2023
62023
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
22024
From Batch to Stream: Automatic Generation of Online Algorithms
Z Wang, S Pailoor, A Prakash, Y Wang, I Dillig
arXiv preprint arXiv:2404.04743, 2024
2024
Split Gröbner Bases for Satisfiability Modulo Finite Fields
A Ozdemir, S Pailoor, A Bassa, K Ferles, C Barrett, I Dillig
Cryptology ePrint Archive, 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
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–14