Hi! I’m Sankha. I am a Ph.D. student in Computer Science at the University of Maryland, advised by Prof. Jeff Foster and Prof. David Van Horn. I work with the folks at the PLUM group.

I am interested in tools that help programmers build correct and efficient software. My research specifically focuses on program synthesis to facilitate automatic construction of functionally correct software from specifications like tests and types. For instance, my tool RbSyn demonstrates the approach by automatically synthesizing methods for Ruby on Rails apps.

Previously, I used to work at BrowserStack where I helped build large scale testing infrastructure for apps and websites. I also used to contribute to SpiderMonkey - Mozilla Firefox’s JavaScript engine.

I am joining the University of Kansas EECS Department as an Assistant Professor in Fall 2023. If you are interested in working with me as a PhD student, feel free to send me an email!


[More …]


Absynthe: Abstract Interpretation-Guided Synthesis.
Sankha Narayan Guria, Jeffrey S. Foster and David Van Horn.
PLDI 2023.

ANOSY: Approximated Knowledge Synthesis with Refinement Types for Declassification.
Sankha Narayan Guria, Niki Vazou, Marco Guarnieri and James Parker.
PLDI 2022.
ACM / Preprint / Source Code / Talk

RbSyn: Type- and Effect-Guided Program Synthesis.
Sankha Narayan Guria, Jeffrey S. Foster and David Van Horn.
PLDI 2021.
ACM / Extended Version / Source Code / Talk

Type-Level Computations for Ruby Libraries.
Milod Kazerounian, Sankha Narayan Guria, Niki Vazou, Jeffrey S. Foster and David Van Horn.
PLDI 2019.
ACM / Video / Extended Version / Source Code

Transparent Object Proxies for JavaScript.
Matthias Keil, Sankha Narayan Guria, Andreas Schlegel, Manuel Geffken and Peter Thiemann.
ECOOP 2015.
LIPICS / Video / Project Homepage / Artifact / Source Code

Email: [email protected]
@ngsankha | ngsankha