Hiromi Ishii
where else to find them
no profile links on file
what they talk about
all 4 in the filters
where they keep going back
- EGRAPHS2 editions2025–2026
on a stage with
- Taro Shimizuonce
- Toshiki Teramuraonce
- Yusuke Matsushitaonce
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| Pure Borrow: Linear Haskell Meets Rust-Style Borrowing | PLDI 2026 | 2026-06-15 |
Pure Borrow implements Rust-style borrowing as a Linear Haskell library that runs on GHC, exposing a BO monad for lifetime-restricted mutation… | ||
| Optimizing Optimizations, Declaratively: Optimizing the Higher-Order Functions in(…) | EGRAPHS 2026 | 2026-06-15 |
Two concrete uses of egglog inside JijModeling 2: resugaring comprehensions reconstructs Python comprehension syntax from map/flat_map/filter and then applies… | ||
| Optimizing Optimizations: Case Study on Detecting Specific Types of Mathematical(…) | EGRAPHS 2025 | 2025-06-16 |
JijModeling separates symbolic formula from input data and uses e-graphs to detect structured constraints like SOS1 so solvers can use dedicated APIs… | ||
| nothing matches | ||