Marisa Kirisame
where else to find them
no profile links on file
what they talk about
all 5 in the filters
where they keep going back
no series more than once — all 4 in the filters
on a stage with
all 6 in the filters
who talks about the same things
- Nada Amin26 talks
- Pavel Panchekha8 talks
- Thomas J. Porter4 talks
- Cyrus Omar21 talks
- Erik Meijer13 talks
- Saman Amarasinghe13 talks
| title | conference | date |
|---|---|---|
| Incremental Bidirectional Typing via Order Maintenance | OOPSLA 2025 | 2025-10-16 |
Presents a small-step incremental bidirectional type system that maintains binding pointers with an order maintenance data structure so inserts/deletes and… | ||
| Spineless Traversal for Layout Invalidation | PLDI 2025 | 2025-06-16 |
A new incremental-layout algorithm, Spineless Traversal, replaces top-down tree scans with a pointer queue ordered by order-maintenance timestamps to avoid… | ||
| Incremental Bidirectional Typing via Order Maintenance | WITS 2025 | 2025-01-25 |
Presents an incremental algorithm that maintains total bidirectional typing for a gradually typed language via small-step update propagation that lets edits… | ||
| Neural Networks are Programs, Too | LambdaConf 2017 | 2017-05-25 |
Claims neural networks are programs so functional techniques (Finally Tagless, Haskell types) yield automatic differentiation by dual numbers, a DSL that… | ||
| nothing matches | ||