Sankha Narayan Guria

Publication Activity (10 Years)

Years Active: 2015-2023
Publications (10 Years): 9

Top Topics

Program Synthesis

Spatial Relations

Knowledge Extraction

Recursive Programs

Top Venues

Proc. ACM Program. Lang.

Dagstuhl Artifacts Ser.

Publications

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