Sankha Narayan Guria

According to our database, Sankha Narayan Guria authored at least 7 papers between 2015 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2023

Program Synthesis with Lightweight Abstractions.

Sankha Narayan Guria

PhD thesis, 2023

Absynthe: Abstract Interpretation-Guided Synthesis.

Sankha Narayan Guria, Jeffrey S. Foster, David Van Horn

Proc. ACM Program. Lang., 2023

2022

ANOSY: approximated knowledge synthesis with refinement types for declassification.

Sankha Narayan Guria, Niki Vazou, Marco Guarnieri, James Parker

Proceedings of the PLDI '22: 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation, San Diego, CA, USA, June 13, 2022

2021

RbSyn: type- and effect-guided program synthesis.

Sankha Narayan Guria, Jeffrey S. Foster, David Van Horn

Proceedings of the PLDI '21: 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2021

2019

Type-level computations for Ruby libraries.

Milod Kazerounian, Sankha Narayan Guria, Niki Vazou, Jeffrey S. Foster, David Van Horn

Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2019

2016

Transparent object proxies for javascript.

Matthias Keil, Sankha Narayan Guria, Andreas Schlegel, Manuel Geffken, Peter Thiemann

Proceedings of the Software Engineering 2016, 2016

2015

Transparent Object Proxies for JavaScript (Artifact).

Matthias Keil, Sankha Narayan Guria, Andreas Schlegel, Manuel Geffken, Peter Thiemann

Dagstuhl Artifacts Ser., 2015