Paul He
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 2 in the filters
on a stage with
- Steve Zdancewic2×
- Aaron Tombonce
- Adam Wickonce
all 13 in the filters
who talks about the same things
- Yannick Zakowski11 talks
- Steve Zdancewic19 talks
- Aaron Stump5 talks
- Benjamin Delaware18 talks
- Nicolas Tabareau14 talks
- Gabriel Scherer12 talks
| title | conference | date |
|---|---|---|
| Choice Trees: Representing Nondeterministic, Recursive, and Impure Programs in C... | POPL 2023 | 2023-01-15 |
Introduces a coinductive tree datatype and a ctrees monad in Coq that models nondeterminism, recursion, and effects by three node kinds: external events and… | ||
| A Type System for Extracting Functional Specifications from Memory-Safe Imperative Programs | OOPSLA 2021 | 2021-10-17 |
A memory-safe Rust-like type system called Heapster typechecks LLVM IR and extracts Coq functions that represent imperative behavior without pointer reasoning… | ||
| nothing matches | ||