Haobin Ni -

Registered user since Tue 17 Jan 2023

Name:Haobin Ni

Bio:

I got my Ph.D. from Cornell University in May 2024, advised by Robbert van Renesse and Greg Morrisett. I am currently a postdoctoral scholar at the Programming Language and Software Engineering (PLSE) group of University of Washington, advised by Zachary Tatlock.

Country:United States

Affiliation:University of Washington

Personal website: https://haobin.cx/

GitHub: https://github.com/FTRobbin

Research interests:Programming Language, Distributed Systems, Formal Verification, Equality Saturation

Contributions

2025

PLDI

Committee Member of Unlocking advanced equality saturation--based optimizations with egglog within the Workshops and Tutorials-track
Organizer of Unlocking Optimizations with egglog: Equality Saturation Meets Datalog within the Tutorials-track

2023

CPP

Author of ASN1*: Provably Correct, Non-Malleable Parsing for ASN.1 DER within the CPP 2023-track

2022

PLDI

Author of Hardening Attack Surfaces with Formally Proven Binary Format Parsers within the PLDI-track