Presentations & conversations

Talks

Research talks, conference presentations, and posters.

July 2026

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

ICML'26

April 13, 2026

Specy: Learning Specifications for Distributed Systems from Event Traces

Georgia Tech - Dependently Typed Talk

Oct 15, 2025

Ranking Formal Specifications using LLMs

SPLASH/LMPL'25

April 16, 2024

Ph.D. General Examination

Princeton University

December 2023

CatsTail: Packet programs synthesis via Equality Saturation

Princeton University

January 2023

Towards automated super-optimization for Taichi using Equality Saturation

Taichi Graphics

December 2022

Efficient E-Graph Extraction via Linear Programming

Princeton University

June 2022

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

Intel Labs

September 2021

Correct & Flexible Compiler Support for Custom Accelerators

SRC ADA Center

← Back to home