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.
- Interning this summer at Facebook — working on the Hack language. May 24, 2021
- RbSyn: Type- and Effect-Guided Program Synthesis to appear at PLDI 2021. March 30, 2021
- Member of PLDI 2021 Artifact Evaluation Committee. February 05, 2021
RbSyn: Type- and Effect-Guided Program Synthesis.
Sankha Narayan Guria, Jeffrey S. Foster and David Van Horn.
Preprint / Source Code
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