Yukiyoshi Kameyama

Sci. Comput. Program., January, 2024

2023

Generating Programs for Polynomial Multiplication with Correctness Assurance.

[BibT_eX]

[DOI]

Ryo Tokuda

Proceedings of the 2023 ACM SIGPLAN International Workshop on Partial Evaluation and Program Manipulation, 2023

2022

Unified Program Generation and Verification: A Case Study on Number-Theoretic Transform.

[BibT_eX]

[DOI]

Masahiro Masuda

Proceedings of the Functional and Logic Programming - 16th International Symposium, 2022

2021

FFT Program Generation for Ring LWE-Based Cryptography.

[BibT_eX]

[DOI]

Masahiro Masuda

Proceedings of the Advances in Information and Computer Security, 2021

Type-safe generation of modules in applicative and generative styles.

[BibT_eX]

[DOI]

Yuhi Sato

Proceedings of the GPCE '21: Concepts and Experiences, Chicago, IL, USA, October 17, 2021

2020

One-Shot Algebraic Effects as Coroutines.

[BibT_eX]

[DOI]

Satoru Kawahara

Proceedings of the Trends in Functional Programming - 21st International Symposium, 2020

Module generation without regret.

[BibT_eX]

[DOI]

Yuhi Sato

Takahisa Watanabe

Proceedings of the 2020 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, 2020

Reorganizing queries with grouping.

[BibT_eX]

[DOI]

Rui Okura

Proceedings of the GPCE '20: Proceedings of the 19th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, 2020

Language-Integrated Query with Nested Data Structures and Grouping.

[BibT_eX]

[DOI]

Rui Okura

Proceedings of the Functional and Logic Programming - 15th International Symposium, 2020

2018

Meta-Programming for Statistical Machine Learning (NII Shonan Meeting 2018-7).

[BibT_eX]

[DOI]

NII Shonan Meet. Rep., 2018

Program generation for ML modules (short paper).

[BibT_eX]

[DOI]

Takahisa Watanabe

Proceedings of the ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, 2018

2017

Staging with control: type-safe multi-stage programming with control operators.

[BibT_eX]

[DOI]

Junpei Oishi

Proceedings of the 16th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, 2017

2016

Automatic Staging via Partial Evaluation Techniques.

[BibT_eX]

[DOI]

Kenichi Asai

Proceedings of the 7th International Symposium on Symbolic Computation in Software Science, 2016

Finally, safely-extensible and efficient language-integrated query.

[BibT_eX]

[DOI]

Kenichi Suzuki

Proceedings of the 2016 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, 2016

Staging beyond terms: prospects and challenges.

[BibT_eX]

[DOI]

Jun Inoue

Proceedings of the 2016 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, 2016

Refined Environment Classifiers - Type- and Scope-Safe Code Generation with Mutable Cells.

[BibT_eX]

[DOI]

Yuto Sudo

Proceedings of the Programming Languages and Systems - 14th Asian Symposium, 2016

2015

Combinators for impure yet hygienic code generation.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2015

Answer-Type Modification without Tears: Prompt-Passing Style Translation for Typed Delimited-Control Operators.

[BibT_eX]

[DOI]

Ikuo Kobori

Proceedings of the Workshop on Continuations, 2015

Generate and offshore: type-safe and modular code generation for low-level optimization.

[BibT_eX]

[DOI]

Naoki Takashima

Hiroki Sakamoto

Proceedings of the 4th ACM SIGPLAN Workshop on Functional High-Performance Computing, 2015

2014

Staging and high-performance computing: theory and practice (NII Shonan Meeting 2014-7).

[BibT_eX]

[DOI]

Jeremy G. Siek

NII Shonan Meet. Rep., 2014

2013

Shonan challenge for generative programming: short position paper.

[BibT_eX]

[DOI]

Proceedings of the ACM SIGPLAN 2013 Workshop on Partial Evaluation and Program Manipulation, 2013

2012

Bridging the theory of staged programming languages and the practice of high-performance computing (NII Shonan Meeting 2012-4).

[BibT_eX]

[DOI]

NII Shonan Meet. Rep., 2012

Efficient Multi-Valued Bounded Model Checking for LTL over Quasi-Boolean Algebras.

[BibT_eX]

[DOI]

Jefferson O. Andrade

IEICE Trans. Inf. Syst., 2012

A Call-by-Name CPS Hierarchy.

[BibT_eX]

[DOI]

Asami Tanaka

Proceedings of the Functional and Logic Programming - 11th International Symposium, 2012

2011

Type checking and typability in domain-free lambda calculi.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2011

Shifting the stage - Staging with delimited control.

[BibT_eX]

[DOI]

J. Funct. Program., 2011

Polymorphic Multi-stage Language with Control Effects.

[BibT_eX]

[DOI]

Yuichiro Kokaji

Proceedings of the Programming Languages and Systems - 9th Asian Symposium, 2011

2010

Improving Error Messages in Type System.

[BibT_eX]

[DOI]

Cynthia Kustanto

Inf. Media Technol., 2010

Equational axiomatization of call-by-name delimited control.

[BibT_eX]

[DOI]

Asami Tanaka

Proceedings of the 12th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2010

2009

Foreword.

[BibT_eX]

[DOI]

IEICE Trans. Inf. Syst., 2009

2008

A Type System for Dynamic Delimited Continuations.

[BibT_eX]

[DOI]

Takuo Yonezawa

Inf. Media Technol., 2008

Calculi of meta-variables.

[BibT_eX]

[DOI]

Frontiers Comput. Sci. China, 2008

Closing the stage: from staged code to typed closures.

[BibT_eX]

[DOI]

Proceedings of the 2008 ACM SIGPLAN Symposium on Partial Evaluation and Semantics-based Program Manipulation, 2008

Typed Dynamic Control Operators for Delimited Continuations.

[BibT_eX]

[DOI]

Takuo Yonezawa

Proceedings of the Functional and Logic Programming, 9th International Symposium, 2008

Undecidability of Type-Checking in Domain-Free Typed Lambda-Calculi with Existence.

[BibT_eX]

[DOI]

Proceedings of the Computer Science Logic, 22nd International Workshop, 2008

A Direct Algorithm for Multi-valued Bounded Model Checking.

[BibT_eX]

[DOI]

Jefferson O. Andrade

Proceedings of the Automated Technology for Verification and Analysis, 2008

2007

Axioms for control operators in the CPS hierarchy.

[BibT_eX]

[DOI]

High. Order Symb. Comput., 2007

Polymorphic Delimited Continuations.

[BibT_eX]

[DOI]

Kenichi Asai

Proceedings of the Programming Languages and Systems, 5th Asian Symposium, 2007

2004

Axioms for Delimited Continuations in the CPS Hierarchy.

[BibT_eX]

[DOI]

Proceedings of the Computer Science Logic, 18th International Workshop, 2004

2003

A sound and complete axiomatization of delimited continuations.

[BibT_eX]

[DOI]

Masahito Hasegawa

Proceedings of the Eighth ACM SIGPLAN International Conference on Functional Programming, 2003

2002

Strong normalizability of the non-deterministic catch/throw calculi.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2002

A Simply Typed Context Calculus with First-class Environments.

[BibT_eX]

[DOI]

Takafumi Sakurai

J. Funct. Log. Program., 2002

2001

CAL: A Computer Assisted Learning System for Computation and Logic.

[BibT_eX]

[DOI]

Izumi Takeuti

Proceedings of the Computer Aided Systems Theory, 2001

Dynamic Control Operators in Type Theory.

[BibT_eX]

Proceedings of the Second Asian Workshop on Programming Languages and Systems, 2001

2000

A Type-Theoretic Study on Partial Continuations.

[BibT_eX]

[DOI]

Proceedings of the Theoretical Computer Science, 2000

1998

A Classical Catch/Throw Calculus with Tag Abstractions and its Strong Normalizability.

[BibT_eX]

Proceedings of Computing: The Fourth Australasian Theory Symposium (CATS'98), 1998

1995

A Type-Free Theory of Half-Monotone Inductive Definitions.

[BibT_eX]

[DOI]

Int. J. Found. Comput. Sci., 1995

1994

Conservativeness of Lambda over lambda-sigma-Calculus.

[BibT_eX]

[DOI]