Alan Jeffrey
where else to find them
no profile links on file
what they talk about
all 4 in the filters
where they keep going back
- HATRA2 editions2022–2023
on a stage with
- James Riely2×
- Andy Friesenonce
- Anton Podkopaevonce
all 9 in the filters
who talks about the same things
- James Riely3 talks
- Radha Jagadeesan2 talks
- Simon Cooksey4 talks
- Mark Batty5 talks
- Anton Podkopaev5 talks
- Ori Lahav17 talks
| title | conference | date |
|---|---|---|
| Goals of the Luau Type System, Two Years On | HATRA 2023 | 2023-10-22 |
Roblox reports it implements semantic subtyping by normalizing types (with possible exponential blowup) to reduce false positives, and it builds an infallible… | ||
| Discussion | HATRA 2022 | 2022-12-05 |
Discussion argues that automated proof generation from LLMs and tools like CoPilot has a roughly 40% chance of working for real verification workflows, but… | ||
| The Leaky Semicolon: Compositional Semantic Dependencies for Relaxed-Memory Conc | POPL 2022 | 2022-01-16 |
Defines a compositional event semantics that attaches preconditions and families of predicate transformers to events, so sequential composition picks a… | ||
| Pomsets with Preconditions: A Simple Model of Relaxed Memory | OOPSLA 2020 | 2020-11-15 |
A denotational memory model called pomsets with preconditions represents executions as labeled partial orders augmented with logical preconditions, uses… | ||
| nothing matches | ||