Kathleen Fisher
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 4 in the filters
on a stage with
- Alex Aikenonce
- Anders Miltneronce
- Arnold Mongonce
all 8 in the filters
who talks about the same things
- Adam Chlipala23 talks
- Michael Sammler16 talks
- Peter Sewell14 talks
- Alex Aiken8 talks
- Ranjit Jhala19 talks
- Thomas Reps20 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… | ||
| Verbatim++: Verified, Optimized, and Semantically Rich Lexing with Derivatives | CPP 2022 | 2022-01-17 |
Lexer based on Brzozowski derivatives moves from quadratic worst case to effectively linear time on a JSON benchmark by three verified refinements… | ||
| Ask Me Anything with Alex Aiken | PLDI 2020 | 2020-06-15 |
Argues that program synthesis and superoptimization work in practice for small codelets — early Stoke enumerates all 3-line x86 programs and later moves to… | ||
| Ask Me Anything with Kathleen Fisher | PLDI 2020 | 2020-06-15 |
A DARPA program builds vehicles with formally specified components and runs red-team wireless attacks every 18 months; after replacing ad-hoc code with… | ||
| KEYNOTE: From quadcopters to helicopters | Code Mesh LDN 2018 | 2018-11-08 |
DARPA’s HACMS program demonstrates that co-developed formal methods can harden vehicles: researchers replace RTOS and flight code with seL4 microkernel and… | ||
| nothing matches | ||