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 programming languages and formal methods with a focus on foundational, yet practical, techniques that facilitate understanding programs, improve software reliability, and in general, help in building functionally correct software. Currently, I work on building expressive type systems and verification tools for Ruby programs and scaling them to work on large Ruby on Rails web applications.

In the past, I have worked at BrowserStack where I helped build infrastructure to allow developers to test apps and websites at large scale. I also used to contribute to SpiderMonkey - Mozilla Firefox’s JavaScript engine.


[More …]


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

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

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

Email: [email protected]
@ngsankha | ngsankha