Sankha Narayan Guria

13 papers A* 3A 1C 1Journal 7
YearRankTypeTitle / Venue / Authors
2023 J jnl
Absynthe: Abstract Interpretation-Guided Synthesis.
CoRR
Sankha Narayan Guria, Jeffrey S. Foster, David Van Horn
2023 J jnl
Absynthe: Abstract Interpretation-Guided Synthesis.
Proc. ACM Program. Lang.
Sankha Narayan Guria, Jeffrey S. Foster, David Van Horn
2023 — —
Program Synthesis with Lightweight Abstractions.
Sankha Narayan Guria
2022 J jnl
ANOSY: Approximated Knowledge Synthesis with Refinement Types for Declassification.
CoRR
Sankha Narayan Guria, Niki Vazou, Marco Guarnieri, James Parker
2022 A* conf
ANOSY: approximated knowledge synthesis with refinement types for declassification.
PLDI
Sankha Narayan Guria, Niki Vazou, Marco Guarnieri, James Parker
2021 J jnl
RbSyn: Type- and Effect-Guided Program Synthesis.
CoRR
Sankha Narayan Guria, Jeffrey S. Foster, David Van Horn
2021 A* conf
RbSyn: type- and effect-guided program synthesis.
PLDI
Sankha Narayan Guria, Jeffrey S. Foster, David Van Horn
2019 J jnl
Type-Level Computations for Ruby Libraries.
CoRR
Milod Kazerounian, Sankha Narayan Guria, Niki Vazou, Jeffrey S. Foster, David Van Horn
2019 A* conf
Type-level computations for Ruby libraries.
PLDI
Milod Kazerounian, Sankha Narayan Guria, Niki Vazou, Jeffrey S. Foster, David Van Horn
2016 C conf
Transparent object proxies for javascript.
Software Engineering
Matthias Keil, Sankha Narayan Guria, Andreas Schlegel, Manuel Geffken, Peter Thiemann
2015 J jnl
Transparent Object Proxies for JavaScript (Artifact).
Dagstuhl Artifacts Ser.
Matthias Keil, Sankha Narayan Guria, Andreas Schlegel, Manuel Geffken, Peter Thiemann
2015 J jnl
Transparent Object Proxies for JavaScript.
CoRR
Matthias Keil, Sankha Narayan Guria, Andreas Schlegel, Manuel Geffken, Peter Thiemann
2015 A conf
Transparent Object Proxies in JavaScript.
ECOOP
Matthias Keil, Sankha Narayan Guria, Andreas Schlegel, Manuel Geffken, Peter Thiemann