Shankara Pailoor - Google Scholar

Get my own profile

Cited by

	All	Since 2019
Citations	403	402
h-index	8	8
i10-index	7	7

0

120

60

30

90

20192020202120222023202424 39 50 68 120 101

Public access

6 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Isil DilligUT AustinVerified email at cs.utexas.edu
Suman JanaAssociate Professor of Computer Science, Columbia UniversityVerified email at cs.columbia.edu
Swarat ChaudhuriUT Austin, Google DeepmindVerified email at cs.utexas.edu

Shankara Pailoor

Shankara Pailoor

Graduate Student, University of Texas Austin

Verified email at cs.utexas.edu


Title Sort by citations Sort by year Sort by 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	184	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	117	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	32	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	16	2023
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
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	14	2021
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	13	2022
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	8	2024
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
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
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		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