Haobin Ni
where else to find them
no profile links on file
what they talk about
where they keep going back
no series more than once — all 3 in the filters
on a stage with
all 28 in the filters
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| Equal Opportunity: A Correctness Condition for Ordered Consensus | 20th USENIX Symposium on Operating Systems Design and Implementation (OSDI '26) | 2026-07-13 |
Defines a formal fairness condition called ordering equality (and a separation parameter delta) and shows randomness is necessary and sufficient to bound bias… | ||
| Project Everest: Perspectives from Developing Industrial-Grade High-Assurance(…) | PLDI 2026 | 2026-06-15 |
Project Everest produces a verified TLS stack and crypto suite rather than promises: it yields 1.3 million lines of F source that build in two hours, emits… | ||
| ASN1*: Provably Correct, Non-Malleable Parsing for ASN.1 DER | CPP 2023 | 2023-01-16 |
Claims a first formalization of ASN.1 DER with a mechanized proof of non-malleability and a verified compiler in F that uses the EverParse framework to produce… | ||
| nothing matches | ||