Follow
Sankha Narayan Guria
Sankha Narayan Guria
Ph.D. Student, University of Maryland
Verified email at cs.umd.edu - Homepage
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
162015
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
142019
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
12021
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
2022
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–5