Sosuke Moriguchi
where else to find them
what they talk about
where they keep going back
- REBLS2 editions2022–2023
on a stage with
- Takuo Watanabe4×
- Akihiko Yokoyamaonce
- Go Suzukionce
all 6 in the filters
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| Co-operative JIT Compilation for Resource-Constrained Low-Power Coprocessors | MPLR 2025 | 2025-10-14 |
A cooperative JIT traces execution on the main core and emits type-specialized basic blocks that migrate to the low‑power coprocessor, using trace-based… | ||
| Unification Modulo Isomorphisms between Dependent Types for Type-based Library Search | TyDe 2025 | 2025-10-12 |
Claims an equational unification procedure modulo a set of type isomorphisms for dependent product/sum types and presents a semi-algorithm plus a prototype… | ||
| Periodic and Aperiodic Task Description Mechanisms in an FRP Language for Small-... | REBLS 2023 | 2023-10-22 |
Extends Emfrp into EV mfrp that adds timing-typed discrete nodes and operators like at_last, at_now, merge and partialization so periodic (e.g. 500→1000 ms)… | ||
| Towards Introducing Asynchronous Tasks to an FRP Language for Small-Scale Embedded Systems | REBLS 2022 | 2022-12-07 |
Emfrp currently enforces termination per update and static memory bounds, which makes long-running work like parsing or graph search block input and ruin… | ||
| nothing matches | ||