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.


[More …]


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.

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


EECS 662: Programming Languages
Spring 2024

EECS 700: Introduction to Program Synthesis
Fall 2023