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.
- Presented my ongoing work on Absynthe at NJPLS. May 06, 2022
- ANOSY: Approximated Knowledge Synthesis with Refinement Types for Declassification to appear at PLDI 2022. March 23, 2022
- Proposed my thesis and advanced to candidacy. December 02, 2021
ANOSY: Approximated Knowledge Synthesis with Refinement Types for Declassification.
Sankha Narayan Guria, Niki Vazou, Marco Guarnieri and James Parker.
RbSyn: Type- and Effect-Guided Program Synthesis.
Sankha Narayan Guria, Jeffrey S. Foster and David Van Horn.
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.
ACM / Video / Extended Version / Source Code
Matthias Keil, Sankha Narayan Guria, Andreas Schlegel, Manuel Geffken and Peter Thiemann.
LIPICS / Video / Project Homepage / Artifact / Source Code
Email: [email protected]
@ngsankha | ngsankha