Yukiyoshi Kameyama

Publication Activity (10 Years)

Years Active: 1994-2024
Publications (10 Years): 16

Top Topics

Partial Evaluation

Code Generation

Statistical Machine Learning

Top Venues

Sci. Comput. Program.

NII Shonan Meet. Rep.

Publications

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