Transparent Object Proxies for JavaScript (Artifact). - Matthias Keil 002; Sankha Narayan Guria; Andreas Schlegel; Manuel Geffken; Peter Thiemann 001 (Dagstuhl Artifacts Ser., 2015)

Transparent object proxies for javascript. - Matthias Keil 002; Sankha Narayan Guria; Andreas Schlegel; Manuel Geffken; Peter Thiemann 001 (Software Engineering, 2016)

Type-level computations for Ruby libraries. - Milod Kazerounian; Sankha Narayan Guria; Niki Vazou; Jeffrey S. Foster; David Van Horn (PLDI, 2019)

RbSyn: type- and effect-guided program synthesis. - Sankha Narayan Guria; Jeffrey S. Foster; David Van Horn (PLDI, 2021)

ANOSY: approximated knowledge synthesis with refinement types for declassification. - Sankha Narayan Guria; Niki Vazou; Marco Guarnieri; James Parker (PLDI, 2022)

Absynthe: Abstract Interpretation-Guided Synthesis. - Sankha Narayan Guria; Jeffrey S. Foster; David Van Horn (Proc. ACM Program. Lang., 2023)

Program Synthesis with Lightweight Abstractions. - Sankha Narayan Guria (2023)