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 design, program analysis and synthesis.
My research is focused on program synthesis that facilitate automatic construction of functionally correct software from lightweight formal specifications such as tests and types. My tool RbSyn demonstrates the approach by automatically synthesizing methods for Ruby on Rails apps.
Previously, I used to work at BrowserStack where I helped build large scale testing infrastructure for apps and websites. I also used to contribute to SpiderMonkey - Mozilla Firefox’s JavaScript engine.
News
- 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
[More …]
Publications
RbSyn: Type- and Effect-Guided Program Synthesis.
Sankha Narayan Guria, Jeffrey S. Foster and David Van Horn.
PLDI 2021.
ACM /
Extended Version /
Source Code
Type-Level Computations for Ruby Libraries.
Milod Kazerounian, Sankha Narayan Guria, Niki Vazou, Jeffrey S. Foster and David Van Horn.
PLDI 2019.
ACM /
Video /
Extended Version /
Source Code
Transparent Object Proxies for JavaScript.
Matthias Keil, Sankha Narayan Guria, Andreas Schlegel, Manuel Geffken and Peter Thiemann.
ECOOP 2015.
LIPICS /
Video /
Project Homepage /
Artifact /
Source Code
Email: [email protected]
@ngsankha | ngsankha