{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 | 191 | 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 | 118 | 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 | 36 | 2020 |
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 | 18 | 2023 |
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 | 15 | 2021 |
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 | 14 | 2024 |
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 | 14 | 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 | 14 | 2022 |
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 | 5 | 2024 |
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 | 2 | 2024 |
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 | | |