| MoonShine: Optimizing OS Fuzzer Seed Selection with Trace Distillation. S Pailoor, A Aday, S Jana USENIX Security Symposium, 729-743, 2018 | 100 | 2018 |
| 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 | 72 | 2019 |
| 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 | 9 | 2020 |
| 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 | 6 | 2021 |
| 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 |
Isil DilligUT AustinVerified email at cs.utexas.edu
