Dexter Kozen
where else to find them
linkedin:tim-kozen
what they talk about
where they keep going back
no series more than once — all 3 in the filters
on a stage with
all 12 in the filters
who talks about the same things
- Tobias Kappé4 talks
- Alexandra Silva14 talks
- Nate Foster24 talks
- Joseph Tassarotti20 talks
- Kevin Batz8 talks
- Sharon Shoham13 talks
| title | conference | date |
|---|---|---|
| Probabilistic Kleene Algebra with Angelic Nondeterminism | PLDI 2025 | 2025-06-16 |
Defines a Kleene-style algebra that combines probability with angelic nondeterminism by giving semantics as distributions over multisets to bypass the… | ||
| StacKAT: Infinite State Network Verification | PLDI 2025 | 2025-06-16 |
Defines StacKAT, a packet-language that adds a single variable-size stack payload with push/pop to NetKAT-style programs and proves program equivalence… | ||
| A Demonic Outcome Logic for Randomized Nondeterminism | POPL 2025 | 2025-01-19 |
Introduces Demonic Outcome Logic that models randomized programs with adversarial nondeterminism using the convex power set semantics, proving a distributive… | ||
| Formal Abstractions for Packet Scheduling | OOPSLA 2023 | 2023-10-23 |
Formal operational semantics for PIFO trees and a new notion called homomorphic embedding show when one tree can reproduce another’s packet permutations… | ||
| nothing matches | ||