| 2025 | APLAS | Expressive Power of One-Shot Control Operators and Coroutines. | Kentaro Kobayashi, Yukiyoshi Kameyama |
| 2025 | GPCE | Staged Gradual Typing. | Hiroto Yaguchi, Yukiyoshi Kameyama |
| 2024 | GPCE | Type-Safe Code Generation with Algebraic Effects and Handlers. | Kanaru Isoda, Ayato Yokoyama, Yukiyoshi Kameyama |
| 2023 | PEPM | Generating Programs for Polynomial Multiplication with Correctness Assurance. | Ryo Tokuda, Yukiyoshi Kameyama |
| 2022 | FLOPS | Unified Program Generation and Verification: A Case Study on Number-Theoretic Transform. | Masahiro Masuda, Yukiyoshi Kameyama |
| 2021 | GPCE | Type-safe generation of modules in applicative and generative styles. | Yuhi Sato, Yukiyoshi Kameyama |
| 2021 | IWSEC | FFT Program Generation for Ring LWE-Based Cryptography. | Masahiro Masuda, Yukiyoshi Kameyama |
| 2020 | FLOPS | Language-Integrated Query with Nested Data Structures and Grouping. | Rui Okura, Yukiyoshi Kameyama |
| 2020 | GPCE | Reorganizing queries with grouping. | Rui Okura, Yukiyoshi Kameyama |
| 2020 | PEPM | Module generation without regret. | Yuhi Sato, Yukiyoshi Kameyama, Takahisa Watanabe |
| 2018 | PEPM | Program generation for ML modules (short paper). | Takahisa Watanabe, Yukiyoshi Kameyama |
| 2017 | GPCE | Staging with control: type-safe multi-stage programming with control operators. | Junpei Oishi, Yukiyoshi Kameyama |
| 2016 | APLAS | Refined Environment Classifiers - Type- and Scope-Safe Code Generation with Mutable Cells. | Oleg Kiselyov, Yukiyoshi Kameyama, Yuto Sudo |
| 2016 | PEPM | Staging beyond terms: prospects and challenges. | Jun Inoue, Oleg Kiselyov, Yukiyoshi Kameyama |
| 2016 | PEPM | Finally, safely-extensible and efficient language-integrated query. | Kenichi Suzuki, Oleg Kiselyov, Yukiyoshi Kameyama |
| 2015 | ICFP | Generate and offshore: type-safe and modular code generation for low-level optimization. | Naoki Takashima, Hiroki Sakamoto, Yukiyoshi Kameyama |
| 2014 | PEPM | Combinators for impure yet hygienic code generation. | Yukiyoshi Kameyama, Oleg Kiselyov, Chung-chieh Shan |
| 2013 | PEPM | Shonan challenge for generative programming: short position paper. | Baris Aktemur, Yukiyoshi Kameyama, Oleg Kiselyov, Chung-chieh Shan |
| 2012 | FLOPS | A Call-by-Name CPS Hierarchy. | Asami Tanaka, Yukiyoshi Kameyama |
| 2011 | APLAS | Polymorphic Multi-stage Language with Control Effects. | Yuichiro Kokaji, Yukiyoshi Kameyama |
| 2010 | PPDP | Equational axiomatization of call-by-name delimited control. | Yukiyoshi Kameyama, Asami Tanaka |
| 2009 | PEPM | Shifting the stage: staging with delimited control. | Yukiyoshi Kameyama, Oleg Kiselyov, Chung-chieh Shan |
| 2008 | ATVA | A Direct Algorithm for Multi-valued Bounded Model Checking. | Jefferson O. Andrade, Yukiyoshi Kameyama |
| 2008 | CSL | Undecidability of Type-Checking in Domain-Free Typed Lambda-Calculi with Existence. | Koji Nakazawa, Makoto Tatsuta, Yukiyoshi Kameyama, Hiroshi Nakano |
| 2008 | FLOPS | Typed Dynamic Control Operators for Delimited Continuations. | Yukiyoshi Kameyama, Takuo Yonezawa |
| 2008 | PEPM | Closing the stage: from staged code to typed closures. | Yukiyoshi Kameyama, Oleg Kiselyov, Chung-chieh Shan |
| 2007 | APLAS | Polymorphic Delimited Continuations. | Kenichi Asai, Yukiyoshi Kameyama |
| 2004 | CSL | Axioms for Delimited Continuations in the CPS Hierarchy. | Yukiyoshi Kameyama |
| 2003 | CSL | Calculi of Meta-variables. | Masahiko Sato, Takafumi Sakurai, Yukiyoshi Kameyama, Atsushi Igarashi |
| 2003 | ICFP | A sound and complete axiomatization of delimited continuations. | Yukiyoshi Kameyama, Masahito Hasegawa |
| 2001 | APLAS | Dynamic Control Operators in Type Theory. | Yukiyoshi Kameyama |
| 2001 | FLOPS | A Simply Typed Context Calculus with First-Class Environments. | Masahiko Sato, Takafumi Sakurai, Yukiyoshi Kameyama |