Folgen
Sankha Narayan Guria
Sankha Narayan Guria
Bestätigte E-Mail-Adresse bei ku.edu - Startseite
Titel
Zitiert von
Zitiert von
Jahr
Transparent object proxies for JavaScript
M Keil, SN Guria, A Schlegel, M Geffken, P Thiemann
arXiv preprint arXiv:1504.08100, 2015
192015
Type-level computations for Ruby libraries
M Kazerounian, SN Guria, N Vazou, JS Foster, D Van Horn
Proceedings of the 40th ACM SIGPLAN Conference on Programming Language …, 2019
172019
RbSyn: type-and effect-guided program synthesis
SN Guria, JS Foster, D Van Horn
Proceedings of the 42nd ACM SIGPLAN International Conference on Programming …, 2021
92021
RDL: Types, type checking, and contracts for Ruby
J Foster, B Ren, S Strickland, A Yu, M Kazerounian, SN Guria
52018
ANOSY: approximated knowledge synthesis with refinement types for declassification
SN Guria, N Vazou, M Guarnieri, J Parker
Proceedings of the 43rd ACM SIGPLAN International Conference on Programming …, 2022
22022
Absynthe: Abstract Interpretation-Guided Synthesis
SN Guria, JS Foster, D Van Horn
Proceedings of the ACM on Programming Languages 7 (PLDI), 1584-1607, 2023
12023
Program Synthesis with Lightweight Abstractions
SN Guria
University of Maryland, College Park, 2023
2023
Transparent Object Proxies for JavaScript (Artifact).
M Keil, SN Guria, A Schlegel, M Geffken, P Thiemann
Dagstuhl Artifacts Ser. 1 (1), 02:1-02:2, 2015
2015
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–8