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
USENIX Security Symposium, 729-743, 2018
1002018
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
722019
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
92020
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
62021
Chipmunk: Investigating Crash-Consistency in Persistent-Memory File Systems
H LeBlanc, S Pailoor, OS KRE, I Dillig, J Bornholt, V Chidambaram
2023
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
2022
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
The system can't perform the operation now. Try again later.
Articles 1–8