Hidehiko Masuhara
where else to find them
what they talk about
all 5 in the filters
where they keep going back
- SPLASH-E2 editions2022–2025
all 8 in the filters
on a stage with
all 12 in the filters
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| An Interactive Learning Environment for Program Design | SPLASH-E 2025 | 2025-10-18 |
An interactive tool called Rad guides students through the design recipe with step‑by‑step natural‑language prompts backed by an LLM and a custom GPT flow. It… | ||
| Daisy: An Exercise Environment for Learning Information Modeling | SPLASH-E 2025 | 2025-10-18 |
Daisy is a web-based, block-based exercise that breaks information modeling into three concrete steps — information mining, data representation, data example —… | ||
| Implementing and Evaluating a High-Level Language with WasmGC and the Wasm (…) | WebAssembly Workshop @ ICFP/SPLASH 2025 | 2025-10-16 |
Implementing and Evaluating a High-Level Language with WasmGC and the Wasm Component Model: Scala’s Case (Video, WAW 2025)
Rikito Taniguchi, Sébastien… | ||
| Joy of Meta-Tracing Just-in-Time Compilation: More Than Just a VM Generator | MPLR 2025 | 2025-10-14 |
Meta‑tracing JIT frameworks like RPython and Graal/Truffle generate not just VM compilers but alternate VM behaviors by changing interpreter semantics: the… | ||
| An Intrinsically Typed Compiler for Algebraic Effect Handlers | PEPM 2024 | 2024-01-16 |
Implements a type preserving compiler from an algebraic effect handler calculus to a stack‑machine assembly and proves type preservation by writing the… | ||
| Typed Equivalence of Labeled Effect Handlers and Labeled Delimited Control Operat... | PPDP 2023 | 2023-10-22 |
Formalizes four calculi (effect handlers vs delimited-control, static vs generative labels), gives a concrete type system for each and proves type soundness… | ||
| Mio: A Block-Based Environment for Program Design | SPLASH-E 2022 | 2022-12-05 |
Mio is a block-based environment that lets learners build block-based design artifacts (data definitions, examples, purpose, template), checks well-formedness… | ||
| Contextual Effect Polymorphism Meets Bidirectional Effects (Extended Abstract) | TyDe 2021 | 2021-08-22 |
Claims a type system that composes directional effects with contextual effect polymorphism so handlers can give depending responses and be passed through… | ||
| Amalgamating Different JIT Compilations in a Meta-tracing JIT Compiler Framework | DLS 2020 | 2020-11-17 |
Prototype BacCaml is an RPython-like meta-tracing framework reimplemented in MinCaml and OCaml that implements Method JIT by Tracing and a runtime called Stack… | ||
| Designing a Programming Environment Based on the Program Design Recipe (Lightning Talk) | Scheme 2020 | 2020-08-28 |
A prototype browser-based UI walks through the Program Design Recipe and a feedback generator checks data examples, templates and simple termination hints by… | ||
| On Teaching Type Systems as Macros (Lightning Talk) | Scheme 2020 | 2020-08-28 |
Course uses the Racket DSL Turnstile to let students write typing rules in paperlike syntax and also specify runtime behavior; a student implements a… | ||
| nothing matches | ||