Assistant Professor, The University of Kansas
Department of Electrical Engineering and Computer Science
2034 Eaton Hall
Institute for Information Sciences
137 Nichols Hall
[email protected] or [email protected]
@ngsankha | ngsankha
I am an Assistant Professor in the EECS Department at The University of Kansas. I am interested in practical tools that help programmers build correct and efficient software. My research specifically uses programming language abstractions to design program analysis and synthesis techniques that facilitate automatic construction of functionally correct software.
I got my PhD from the University of Maryland, advised by Prof. Jeff Foster and Prof. David Van Horn. I have some industry experience working at Meta on the Hack programming language and at BrowserStack where I helped build cloud-scale testing infrastructure for apps and websites. Previously, I have contributed to SpiderMonkey - Mozilla Firefox’s JavaScript engine.
I am looking for students interested in programming languages research. Please send me an email if you want to work with me.
News
- Started as an Assistant Professor at The University of Kansas EECS Department. July 17, 2023
- I defended my PhD! May 05, 2023
- Absynthe: Abstract Interpretation-Guided Synthesis to appear at PLDI 2023. February 25, 2023
- Member of OOPSLA 2023 External Review / Artifact Evaluation Committee. October 25, 2022
- Presented my research at the Berkeley Programming Systems Seminar. July 25, 2022
[More …]
Publications
Absynthe: Abstract Interpretation-Guided Synthesis.
Sankha Narayan Guria, Jeffrey S. Foster and David Van Horn.
PLDI 2023.
ACM /
Preprint /
Source Code
Program Synthesis with Lightweight Abstractions.
Sankha Narayan Guria.
PhD Dissertation.
DRUM
ANOSY: Approximated Knowledge Synthesis with Refinement Types for Declassification.
Sankha Narayan Guria, Niki Vazou, Marco Guarnieri and James Parker.
PLDI 2022.
ACM /
Preprint /
Source Code /
Talk
RbSyn: Type- and Effect-Guided Program Synthesis.
Sankha Narayan Guria, Jeffrey S. Foster and David Van Horn.
PLDI 2021.
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.
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
Teaching
Introduction to Program Synthesis
Fall 2023