Načítání...
Systém momentálně nemůže danou operaci provést. Zkuste to znovu později.
Citace za rok
Duplicitní citace
Následující články byly sloučeny ve službě Scholar. Do
celkového počtu citací
se započítává pouze první článek.
Sloučené citace
Počet citovaných článků zahrnuje citace následujících článků ve službě Scholar. Články označené hvězdičkou (
*
) a články v profilu se mohou lišit.
Přidat spoluautory
Spoluautoři
Sledovat
Nové články od tohoto autora
Nové citace tohoto autora
Nové články související s výzkumem tohoto autora
E-mailová adresa k příjmu aktualit
Dokončit
Můj profil
Moje knihovna
Metriky
Upozornění
Nastavení
Přihlásit se
Přihlásit se
Založit si vlastní profil
Citace
Všechny
Od 2019
Citace
351
350
h-index
7
7
i10-index
5
5
0
140
70
35
105
2018
2019
2020
2021
2022
2023
2024
1
24
39
50
68
122
46
Veřejný přístup
Zobrazit všechny
Zobrazit všechny
7 článků
0 článků
dostupné
nedostupné
Vychází ze zplnomocnění pro financování
Spoluautoři
Isil Dillig
UT Austin
E-mailová adresa ověřena na: cs.utexas.edu
Suman Jana
Associate Professor of Computer Science, Columbia University
E-mailová adresa ověřena na: cs.columbia.edu
Swarat Chaudhuri
Professor of Computer Science, The University of Texas at Austin
E-mailová adresa ověřena na: cs.utexas.edu
Sledovat
Shankara Pailoor
Graduate Student,
University of Texas Austin
E-mailová adresa ověřena na: cs.utexas.edu
Články
Citace
Veřejný přístup
Spoluautoři
Název
Seřadit
Seřadit podle citací
Seřadit podle roku
Seřadit podle názvu
Citace
Citace
Rok
{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
166
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
105
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
28
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
14
2021
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
13
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
8
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
8
2022
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
6
2023
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
3
2024
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
Systém momentálně nemůže danou operaci provést. Zkuste to znovu později.
Články 1–14
Zobrazit další
Ochrana soukromí
Smluvní podmínky
Nápověda
O službě Scholar
Vyhledat v nápovědě