Sankha Narayan Guria

my homepage

Latest posts

Serving on the PLDI 2026 Program Committee.

Sep 28, 2025

Received the Kansas NSF EPSCoR First Award to work on reliable software and error resiliency for software in disaster prone regions.

Jul 3, 2025

Received the New Faculty Research Development (NFRD) Award to work on combining formal methods based program synthesis with LLMs.

Dec 3, 2024

Serving as the OOPSLA 2024 Artifact Evaluation Committee co-chair.

Sep 17, 2024

Serving as the OOPSLA 2024 Artifact Evaluation Committee co-chair.

Sep 13, 2023

Started as an Assistant Professor at The University of Kansas EECS Department.

Jul 17, 2023

I defended my PhD!

May 5, 2023

Absynthe: Abstract Interpretation-Guided Synthesis to appear at PLDI 2023.

Feb 25, 2023

Member of OOPSLA 2023 External Review / Artifact Evaluation Committee.

Oct 25, 2022

Presented my research at the Berkeley Programming Systems Seminar.

Jul 25, 2022