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.
News
- Volunteering for PLDI 2020 Artifact Evaluation Committee January 20, 2020
- Volunteering for POPL 2020 Artifact Evaluation Committee July 13, 2019
- RDL 2.2.0 released with type-level computations June 09, 2019
[More …]
Publications
Type-Level Computations for Ruby Libraries.
Milod Kazerounian, Sankha Narayan Guria, Niki Vazou, Jeffrey S. Foster and David Van Horn.
PLDI 2019.
Paper (PDF), Tech Report, 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