Yukiyoshi Kameyama
where else to find them
github:yukiyoshi
what they talk about
all 4 in the filters
where they keep going back
- GPCE4 editions2020–2024
on a stage with
- Ayato Yokoyamaonce
- Kanaru Isodaonce
- Rui Okuraonce
all 5 in the filters
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| Type-Safe Code Generation With Algebraic Effects and Handlers | GPCE 2024 | 2024-10-21 |
A two-stage calculus with algebraic effects and deep handlers enforces that well-typed generators never produce scope-extruding code and supports multi-level… | ||
| Generating Programs for Polynomial Multiplication with Correctness Assurance | PEPM 2023 | 2023-01-16 |
Generates verified polynomial-multiplication code by driving a DSL-based program generator with stronger interval analysis and formula synthesis; finds an… | ||
| PC Chair's Report | GPCE 2022 | 2022-12-06 |
Conference runs a double-blind review with reviewers barred from seeing author names, about two weeks of discussion, and 32 submissions this year of which 15… | ||
| Type-safe generation of modules in applicative and generative styles | GPCE 2021 | 2021-10-17 |
Defines two staged ML-like languages, lambda-G and lambda-A, with a type-preserving translation and implementation into plain MetaOCaml using a genlet… | ||
| Reorganizing Queries with Grouping | GPCE 2020 | 2020-11-16 |
An implementation of Quelg produces SQL via an IR with select and gselect primitives and a new reorganization algorithm that rewrites nested grouping to reduce… | ||
| nothing matches | ||