Presentations & conversations

Talks

Research talks, conference presentations, and posters.

July 2026

AlgoVeri: An Aligned Benchmark for Verified Code Generation on Classical Algorithms

ICML'26

Poster
April 13, 2026

Specy: Learning Specifications for Distributed Systems from Event Traces

Georgia Tech - Dependently Typed Talk

Slides
Oct 15, 2025

Ranking Formal Specifications using LLMs

SPLASH/LMPL'25

Slides
April 16, 2024

Ph.D. General Examination

Princeton University

Slides
December 2023

CatsTail: Packet programs synthesis via Equality Saturation

Princeton University

Slides
January 2023

Towards automated super-optimization for Taichi using Equality Saturation

Taichi Graphics

Slides Recording
December 2022

Efficient E-Graph Extraction via Linear Programming

Princeton University

Slides
June 2022

Pyrope: towards correct-by-construction hardware modeling in Python/HeteroCL

Intel Labs

Slides
September 2021

Correct & Flexible Compiler Support for Custom Accelerators

SRC ADA Center

Slides
← Back to home