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.
- 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
Type-Level Computations for Ruby Libraries.
Milod Kazerounian, Sankha Narayan Guria, Niki Vazou, Jeffrey S. Foster and David Van Horn.
Paper (PDF), Tech Report, 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