Rose Kunkel
where else to find them
what they talk about
where they keep going back
no series more than once — all 2 in the filters
on a stage with
all 11 in the filters
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| babble: Learning Better Abstractions with E-Graphs and Anti-unification | POPL 2023 | 2023-01-15 |
Presents Library Learning Modulo Theory (LLMT) implemented as the tool babble, which uses e-graphs plus a new e-graph anti-unification algorithm and targeted… | ||
| STORM: Refinement Types for Secure Web Applications | 15th USENIX Symposium on Operating Systems Design and Implementation (OSDI '21) | 2021-07-14 |
Storm is a web framework that enforces data-dependent security policies at compile time via a Security Typed ORM that refines MVC types with logical… | ||
| nothing matches | ||