Benjamin Driscoll
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 2 in the filters
on a stage with
- Alex Aikenonce
- Frank Daionce
- Ke Wangonce
all 7 in the filters
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| Incremental Equality Saturation | EGRAPHS 2025 | 2025-06-16 |
Introduces an incremental egraph with per–e-class versions and a top-K analysis (K=2) so rewrites only target e-classes created by the current version and… | ||
| Better Defunctionalization through Lambda Set Specialization | PLDI 2023 | 2023-06-17 |
Claims a compiler pass called Lambda set specialization that turns defunctionalization into type monomorphization, implemented as a polymorphic internal type… | ||
| nothing matches | ||