Devon Loehr
where else to find them
what they talk about
where they keep going back
no series more than once — all 3 in the filters
on a stage with
- David Walker3×
- Anders Miltneronce
- Arnold Mongonce
all 6 in the filters
who talks about the same things
- David Walker15 talks
- Kathleen Fisher9 talks
- Anders Miltner6 talks
- Sarah E. Chasins11 talks
- Arjun Guha10 talks
- Simon Fowler6 talks
| title | conference | date |
|---|---|---|
| Saggitarius: A DSL for Specifying Grammatical Domains | OOPSLA 2023 | 2023-10-23 |
Saggitarius defines metagrammars (DSLs whose denotation is a set of CFGs with existential parameters and constraints) and uses a generated giant grammar plus… | ||
| SwitchLog: A Logic Programming Language for Network Switches | PADL 2023 | 2023-01-16 |
Introduces a restricted logic DSL that compiles to Lucid then P4 and targets Intel Tofino; programs use key-value tables with per-key merge operators (min… | ||
| Safe, Modular Packet Pipeline Programming | POPL 2022 | 2022-01-16 |
Introduces Lucid 2.0, a language and type system that guarantees programs are pipeline-safe on pipelined switches (P4/Intel Tofino targets), adding… | ||
| nothing matches | ||