| Transparent object proxies for JavaScript M Keil, SN Guria, A Schlegel, M Geffken, P Thiemann arXiv preprint arXiv:1504.08100, 2015 | 20 | 2015 |
| 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 | 18 | 2019 |
| 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 | 11 | 2021 |
| Absynthe: Abstract Interpretation-Guided Synthesis SN Guria, JS Foster, D Van Horn Proceedings of the ACM on Programming Languages 7 (PLDI), 1584-1607, 2023 | 6 | 2023 |
| RDL: Types, type checking, and contracts for Ruby J Foster, B Ren, S Strickland, A Yu, M Kazerounian, SN Guria | 5 | 2018 |
| 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 | 2 | 2022 |
| 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 |
| 29th European Conference on Object-Oriented Programming (ECOOP 2015) B Stroustrup, JD Choi, AJ Summers, A Takikawa, D Feltey, E Dean, ... Schloss Dagstuhl-Leibniz-Zentrum für Informatik GmbH, 2015 | | 2015 |
David Van HornUniversity of Maryland在 cs.umd.edu 的电子邮件经过验证
