Sankha Narayan Guria

Serving on the PLDI 2026 Program Committee.

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

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

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

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

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

I defended my PhD!

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

Member of OOPSLA 2023 External Review / Artifact Evaluation Committee.

Presented my research at the Berkeley Programming Systems Seminar.