Cole Schlesinger
where else to find them
no profile links on file
what they talk about
all 5 in the filters
where they keep going back
- PLDI Workshop Honoring Andreas Podelski2 editions2022–2024
on a stage with
- Alexandra Silvaonce
- Benoit Razetonce
- Bill Harrisonce
all 19 in the filters
who talks about the same things
- Mark Moeller2 talks
- Tobias Kappé4 talks
- Nate Foster24 talks
- David Darais5 talks
- Mike Dodds5 talks
- Tiago Ferreira2 talks
| title | conference | date |
|---|---|---|
| Daedalus: Safer Document Parsing | PLDI 2024 | 2024-06-24 |
A domain-specific language and compiler generate safe, analyzable parsers with C++ and Haskell backends and a foreign‑function interface for things like… | ||
| KATch: A Fast Symbolic Verifier for NetKAT | PLDI 2024 | 2024-06-24 |
KATch implements NetKAT verification in Scala and replaces exhaustive packet enumeration with symbolic packets, BDD-style relations called SPs that are… | ||
| Type-Directed Program Synthesis for RESTful APIs | PLDI 2022 | 2022-06-13 |
Built a tool called epiphany that infers fine-grained semantic types from OpenAPI docs plus thousands of observed API call traces, uses a type-directed… | ||
| nothing matches | ||