Sankha Narayan Guria
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
2
Active years
2015–2022
Best venue rank
A*
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2022 | PLDI | ANOSY: approximated knowledge synthesis with refinement types for declassification. | Sankha Narayan Guria, Niki Vazou, Marco Guarnieri, James Parker |
| 2021 | PLDI | RbSyn: type- and effect-guided program synthesis. | Sankha Narayan Guria, Jeffrey S. Foster, David Van Horn |
| 2019 | PLDI | Type-level computations for Ruby libraries. | Milod Kazerounian, Sankha Narayan Guria, Niki Vazou, Jeffrey S. Foster, David Van Horn |
| 2015 | ECOOP | Transparent Object Proxies in JavaScript. | Matthias Keil, Sankha Narayan Guria, Andreas Schlegel, Manuel Geffken, Peter Thiemann |