Follow
Sankha Narayan Guria
Title
Cited by
Cited by
Year
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
102021
RDL: Types, type checking, and contracts for Ruby
J Foster, B Ren, S Strickland, A Yu, M Kazerounian, SN Guria
52018
Absynthe: Abstract Interpretation-Guided Synthesis
SN Guria, JS Foster, D Van Horn
Proceedings of the ACM on Programming Languages 7 (PLDI), 1584-1607, 2023
22023
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
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
The system can't perform the operation now. Try again later.
Articles 1–8