Presentations & conversations

Talks

Research talks, conference presentations, and posters.

October 2026

From Specifications to Formal Guarantees

Invited Talk @ ChipAgent

October 2026

Specy: Learning Specifications for Distributed Systems from Event Traces

OOPSLA'26

Slides

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

June 2023

Improving Term Extraction with Acyclic Constraints

PLDI EGRAPHS'23

Slides Recording

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