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
- RDL 2.2.0 released with type-level computationsJune 2019
- I will be a research intern at Synthetic Minds this summerMay 2019
- Type-Level Computations for Ruby Libraries to appear at PLDI 2019April 2019
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