Yukiyoshi Kameyama

60 papers A 1B 15C 9Misc 7Journal 17Unranked 10
YearRankTypeTitle / Venue / Authors
2026 C ed.
Proceedings of the 2026 ACM SIGPLAN International Workshop on Partial Evaluation and Program Manipulation, PEPM 2026, Rennes, France, January 11-17, 2026
PEPM
Yukiyoshi Kameyama, Ningning Xie
2025 B conf
Expressive Power of One-Shot Control Operators and Coroutines.
APLAS
Kentaro Kobayashi, Yukiyoshi Kameyama
2025 J jnl
Expressive Power of One-Shot Control Operators and Coroutines.
CoRR
Kentaro Kobayashi, Yukiyoshi Kameyama
2025 B conf
Staged Gradual Typing.
GPCE
Hiroto Yaguchi, Yukiyoshi Kameyama
2024 J jnl
Program generation meets program verification: A case study on number-theoretic transform.
Sci. Comput. Program.
Masahiro Masuda, Yukiyoshi Kameyama
2024 B conf
Type-Safe Code Generation with Algebraic Effects and Handlers.
GPCE
Kanaru Isoda, Ayato Yokoyama, Yukiyoshi Kameyama
2023 — conf
Generating Programs for Polynomial Multiplication with Correctness Assurance.
PEPM@POPL
Ryo Tokuda, Yukiyoshi Kameyama
2022 B ed.
Proceedings of the 21st ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, GPCE 2022, Auckland, New Zealand, December 6-7, 2022
GPCE
Bernhard Scholz, Yukiyoshi Kameyama
2022 Misc conf
Unified Program Generation and Verification: A Case Study on Number-Theoretic Transform.
FLOPS
Masahiro Masuda, Yukiyoshi Kameyama
2021 Misc conf
FFT Program Generation for Ring LWE-Based Cryptography.
IWSEC
Masahiro Masuda, Yukiyoshi Kameyama
2021 B conf
Type-safe generation of modules in applicative and generative styles.
GPCE
Yuhi Sato, Yukiyoshi Kameyama
2020 Misc conf
Language-Integrated Query with Nested Data Structures and Grouping.
FLOPS
Rui Okura, Yukiyoshi Kameyama
2020 — conf
Module generation without regret.
PEPM@POPL
Yuhi Sato, Yukiyoshi Kameyama, Takahisa Watanabe
2020 — conf
One-Shot Algebraic Effects as Coroutines.
TFP
Satoru Kawahara, Yukiyoshi Kameyama
2020 B conf
Reorganizing queries with grouping.
GPCE
Rui Okura, Yukiyoshi Kameyama
2018 J jnl
Meta-Programming for Statistical Machine Learning (NII Shonan Meeting 2018-7).
NII Shonan Meet. Rep.
Oleg Kiselyov, Tiark Rompf, Jennifer Neville, Yukiyoshi Kameyama
2018 C conf
Program generation for ML modules (short paper).
PEPM
Takahisa Watanabe, Yukiyoshi Kameyama
2017 B conf
Staging with control: type-safe multi-stage programming with control operators.
GPCE
Junpei Oishi, Yukiyoshi Kameyama
2016 — conf
Automatic Staging via Partial Evaluation Techniques.
SCSS
Kenichi Asai, Yukiyoshi Kameyama
2016 C conf
Finally, safely-extensible and efficient language-integrated query.
PEPM
Kenichi Suzuki, Oleg Kiselyov, Yukiyoshi Kameyama
2016 — ed.
Proceedings of the 5th International Workshop on Functional High-Performance Computing, FHPC@ICFP 2016, Nara, Japan, September 22, 2016
FHPC@ICFP
David Duke, Yukiyoshi Kameyama
2016 B conf
Refined Environment Classifiers - Type- and Scope-Safe Code Generation with Mutable Cells.
APLAS
Oleg Kiselyov, Yukiyoshi Kameyama, Yuto Sudo
2016 C conf
Staging beyond terms: prospects and challenges.
PEPM
Jun Inoue, Oleg Kiselyov, Yukiyoshi Kameyama
2015 — conf
Answer-Type Modification without Tears: Prompt-Passing Style Translation for Typed Delimited-Control Operators.
WoC
Ikuo Kobori, Yukiyoshi Kameyama, Oleg Kiselyov
2015 J jnl
Combinators for impure yet hygienic code generation.
Sci. Comput. Program.
Yukiyoshi Kameyama, Oleg Kiselyov, Chung-chieh Shan
2015 — conf
Generate and offshore: type-safe and modular code generation for low-level optimization.
FHPC@ICFP
Naoki Takashima, Hiroki Sakamoto, Yukiyoshi Kameyama
2014 C conf
Combinators for impure yet hygienic code generation.
PEPM
Yukiyoshi Kameyama, Oleg Kiselyov, Chung-chieh Shan
2014 J jnl
Staging and high-performance computing: theory and practice (NII Shonan Meeting 2014-7).
NII Shonan Meet. Rep.
Oleg Kiselyov, Jeremy G. Siek, Yukiyoshi Kameyama
2013 C conf
Shonan challenge for generative programming: short position paper.
PEPM
Baris Aktemur, Yukiyoshi Kameyama, Oleg Kiselyov, Chung-chieh Shan
2012 Misc conf
A Call-by-Name CPS Hierarchy.
FLOPS
Asami Tanaka, Yukiyoshi Kameyama
2012 J jnl
Bridging the theory of staged programming languages and the practice of high-performance computing (NII Shonan Meeting 2012-4).
NII Shonan Meet. Rep.
Oleg Kiselyov, Chung-chieh Shan, Yukiyoshi Kameyama
2012 J jnl
Efficient Multi-Valued Bounded Model Checking for LTL over Quasi-Boolean Algebras.
IEICE Trans. Inf. Syst.
Jefferson O. Andrade, Yukiyoshi Kameyama
2011 B conf
Polymorphic Multi-stage Language with Control Effects.
APLAS
Yuichiro Kokaji, Yukiyoshi Kameyama
2011 J jnl
Shifting the stage - Staging with delimited control.
J. Funct. Program.
Yukiyoshi Kameyama, Oleg Kiselyov, Chung-chieh Shan
2011 J jnl
Type checking and typability in domain-free lambda calculi.
Theor. Comput. Sci.
Koji Nakazawa, Makoto Tatsuta, Yukiyoshi Kameyama, Hiroshi Nakano
2010 C conf
Equational axiomatization of call-by-name delimited control.
PPDP
Yukiyoshi Kameyama, Asami Tanaka
2010 J jnl
Improving Error Messages in Type System.
Inf. Media Technol.
Cynthia Kustanto, Yukiyoshi Kameyama
2009 J jnl
Foreword.
IEICE Trans. Inf. Syst.
Yukiyoshi Kameyama
2009 C conf
Shifting the stage: staging with delimited control.
PEPM
Yukiyoshi Kameyama, Oleg Kiselyov, Chung-chieh Shan
2008 B conf
A Direct Algorithm for Multi-valued Bounded Model Checking.
ATVA
Jefferson O. Andrade, Yukiyoshi Kameyama
2008 J jnl
A Type System for Dynamic Delimited Continuations.
Inf. Media Technol.
Takuo Yonezawa, Yukiyoshi Kameyama
2008 J jnl
Calculi of meta-variables.
Frontiers Comput. Sci. China
Masahiko Sato, Takafumi Sakurai, Yukiyoshi Kameyama, Atsushi Igarashi
2008 C conf
Closing the stage: from staged code to typed closures.
PEPM
Yukiyoshi Kameyama, Oleg Kiselyov, Chung-chieh Shan
2008 Misc conf
Typed Dynamic Control Operators for Delimited Continuations.
FLOPS
Yukiyoshi Kameyama, Takuo Yonezawa
2008 B conf
Undecidability of Type-Checking in Domain-Free Typed Lambda-Calculi with Existence.
CSL
Koji Nakazawa, Makoto Tatsuta, Yukiyoshi Kameyama, Hiroshi Nakano
2007 J jnl
Axioms for control operators in the CPS hierarchy.
High. Order Symb. Comput.
Yukiyoshi Kameyama
2007 B conf
Polymorphic Delimited Continuations.
APLAS
Kenichi Asai, Yukiyoshi Kameyama
2004 B conf
Axioms for Delimited Continuations in the CPS Hierarchy.
CSL
Yukiyoshi Kameyama
2004 Misc ed.
Functional and Logic Programming, 7th International Symposium, FLOPS 2004, Nara, Japan, April 7-9, 2004, Proceedings
FLOPS
Yukiyoshi Kameyama, Peter J. Stuckey
2003 A conf
A sound and complete axiomatization of delimited continuations.
ICFP
Yukiyoshi Kameyama, Masahito Hasegawa
2003 B conf
Calculi of Meta-variables.
CSL
Masahiko Sato, Takafumi Sakurai, Yukiyoshi Kameyama, Atsushi Igarashi
2002 J jnl
A Simply Typed Context Calculus with First-class Environments.
J. Funct. Log. Program.
Masahiko Sato, Takafumi Sakurai, Yukiyoshi Kameyama
2002 J jnl
Strong normalizability of the non-deterministic catch/throw calculi.
Theor. Comput. Sci.
Yukiyoshi Kameyama, Masahiko Sato
2001 Misc conf
A Simply Typed Context Calculus with First-Class Environments.
FLOPS
Masahiko Sato, Takafumi Sakurai, Yukiyoshi Kameyama
2001 — conf
CAL: A Computer Assisted Learning System for Computation and Logic.
EUROCAST
Masahiko Sato, Yukiyoshi Kameyama, Izumi Takeuti
2001 B conf
Dynamic Control Operators in Type Theory.
APLAS
Yukiyoshi Kameyama
2000 — conf
A Type-Theoretic Study on Partial Continuations.
IFIP TCS
Yukiyoshi Kameyama
1998 — conf
A Classical Catch/Throw Calculus with Tag Abstractions and its Strong Normalizability.
CATS
Yukiyoshi Kameyama, Masahiko Sato
1995 J jnl
A Type-Free Theory of Half-Monotone Inductive Definitions.
Int. J. Found. Comput. Sci.
Yukiyoshi Kameyama
1994 — conf
Conservativeness of Lambda over lambda-sigma-Calculus.
Logic, Language and Computation
Masahiko Sato, Yukiyoshi Kameyama