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 tools that help programmers build correct and efficient software. My research specifically focuses on program synthesis to facilitate automatic construction of functionally correct software from specifications like tests and types. For instance, my tool RbSyn demonstrates the approach by automatically synthesizing methods for Ruby on Rails apps.
I am on the job market this year. Here is my CV, research statement, teaching statement, and diversity statement. Please reach out to me if you think I will be a good fit.
- Member of OOPSLA 2023 External Review / Artifact Evaluation Committee. October 25, 2022
- Presented my research at the Berkeley Programming Systems Seminar. July 25, 2022
- RbSyn was features in the Ruby Rogues podcast and Ruby Weekly Newsletter. July 06, 2022
- Presented my ongoing work on Absynthe at NJPLS. May 06, 2022
- Galois wrote a blog post announcing ANOSY. April 05, 2022
ANOSY: Approximated Knowledge Synthesis with Refinement Types for Declassification.
Sankha Narayan Guria, Niki Vazou, Marco Guarnieri and James Parker.
ACM / Preprint / Source Code / Talk
RbSyn: Type- and Effect-Guided Program Synthesis.
Sankha Narayan Guria, Jeffrey S. Foster and David Van Horn.
ACM / Extended Version / Source Code / Talk
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