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.
- 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
Type-Level Computations for Ruby Libraries.
Milod Kazerounian, Sankha Narayan Guria, Niki Vazou, Jeffrey S. Foster and David Van Horn.
Paper (PDF) / Video / Extended Version / Source Code
Matthias Keil, Sankha Narayan Guria, Andreas Schlegel, Manuel Geffken and Peter Thiemann.
Paper (PDF) / Video / Project Homepage / Artifact / Source Code
Email: [email protected]
@ngsankha | ngsankha