metaocaml / metaocaml-bibliography Goto Github PK

Currently very incomplete. Pull requests welcome! Note: end a line with two spaces to force a line break.

• MetaOCaml Theory and Implementation (OCaml 2023)
  (paper)
  by Oleg Kiselyov

• Safe and efficient generic functions with MacoCaml (OCaml 2023)
  (paper) (code)
  by Dmitrij Szamozvancev, Leo White, Ningning Xie and Jeremy Yallop

• MacoCaml: Staging Composable and Compilable Macros (ICFP 2023)
  (paper)
  by Ningning Xie, Leo White, Olivier Nicole and Jeremy Yallop

• flap: A Deterministic Parser with Fused Lexing (PLDI 2023)
  (paper) (BibTeX) (code)
  by Jeremy Yallop, Ningning Xie and Neel Krishnaswami

• Generating Programs for Polynomial Multiplication with Correctness Assurance (PEPM 2023)
  (BibTeX)
  by Ryo Tokuda and Yukiyoshi Kameyama

• Highest-performance Stream Processing (OCaml 2022)
  (paper) (code)
  by Oleg Kiselyov, Tomoaki Kobayashi, Aggelos Biboudis, Nick Palladinos

• Unified Program Generation and Verification: A Case Study on Number-Theoretic Transform (FLOPS 2022)
  (paper) (code)
  by Masahiro Masuda and Yukiyoshi Kameyama

• Generating C: System Description (FLOPS 2022)
  (BibTeX)
  by Oleg Kiselyov

• Staging with Class: A Specification for Typed Template Haskell (POPL 2022)
  (paper) (BibTeX)
  by Ningning Xie, Matthew Pickering, Andres Löh, Nicolas Wu, Jeremy Yallop and Meng Wang

• let (rec) insertion without effects, lights or magic (short paper) (PEPM 2022)
  (paper)
  by Oleg Kiselyov and Jeremy Yallop

• Type-safe generation of modules in applicative and generative styles (GPCE 2021)
  (paper) (BibTeX)
  by Yuhi Sato and Yukiyoshi Kameyama

• Module Generation in Multi-Stage Programming (Masters thesis)
  (dissertation)
  by Yuhi Sato

• Module generation without regret (PEPM 2020)
  (paper) (BibTeX)
  by Yuhi Sato, Yukiyoshi Kameyama and Takahisa Watanabe

• Session Types without Sophistry (FLOPS 2020)
  (paper) (BibTeX)
  by Oleg Kiselyov and Keigo Imai

• Staged Sums of Products (Haskell 2020)
  (paper) (BibTeX)
  by Matthew Pickering, Andres Löh and Nicolas Wu

• Staged Selective Parser Combinators (ICFP 2020)
  (paper) (BibTeX)
  by Jamie Willis, Nicolas Wu and Matthew Pickering

• Refining semantics for multi-stage programming (COMLAN, 2019)
  (BibTeX)
  by Rui Ge and Ronald Garcia

• A Survey of Metaprogramming Languages (CSUR, 2019)
  (paper) (BibTeX)
  by Yannis Lilis and Anthony Savidis

• Multi-stage Programs in Context (Haskell 2019)
  (paper) (BibTeX)
  by Matthew Pickering, Nicolas Wu and Csongor Kiss

• A Dependently Typed Multi-Stage Calculus (APLAS 2019)
  (paper) (BibTeX)
  by Akira Kawata and Atushi Igarashi

• A typed, algebraic approach to parsing (PLDI 2019)
  (paper) (BibTeX)
  by Neelakantan Krishnaswami and Jeremy Yallop

• Generating mutually recursive definitions (PEPM 2019)
  (paper) (BibTeX)
  by Jeremy Yallop and Oleg Kiselyov

• Meta C++: an extension layer for multi-stage generative metaprogramming (Journal of Object Technology)
  (paper) (BibTeX)
  by Yannis Lilis and Anthony Savidis

• let (rec) insertion without effects, lights or magic (extended abstract) (ML 2019)
  (extended abstract)
  Oleg Kiselyov and Jeremy Yallop

• Reconciling Abstraction with High Performance: A MetaOCaml approach (Book)
  (BibTeX)
  by Oleg Kiselyov

• Funcons for HGMP: the fundamental constructs of homogeneous generative meta-programming (short paper) (GPCE 2018)
  (paper) (BibTeX)
  by L. Thomas van Binsbergen

• A Practical Unification of Multi-stage Programming and Macros (GPCE 2018)
  (paper) (BibTeX)
  by Nicolas Stucki, Aggelos Biboudis and Martin Odersky

• Program Generation for ML Modules (short paper) (PEPM 2018)
  (paper) (BibTeX)
  by Takahisa Watanabe and Yukiyoshi Kameyama

• Partially static data as free extension of algebras (PEPM 2018, ICFP 2018)
  (short paper (PEPM)) (full paper (ICFP)) (BibTeX)
  by Jeremy Yallop, Tamara von Glehn and Ohad Kammar

• Generating mutually recursive definitions (extended abstract) (ML 2018)
  (extended abstract)
  by Jeremy Yallop and Oleg Kiselyov

• Multi-Stage JavaScript (arXiv draft)
  (paper)
  by Anthony Savidis, Yannis Apostolidis and Yannis Lilis

• Staging with Control: Type-Safe Multi-stage Programming with Control Operators (GPCE 2017)
  (paper) (BibTeX)
  by Junpei Oishi, Yukiyoshi Kameyama

• Generating Code with Polymorphic let: A Ballad of Value Restriction, Copying and Sharing (ML 2015 post-proceedings)
  (paper) (BibTeX)
  by Oleg Kiselyov

• Staged generic programming (ICFP 2017)
  (paper) (BibTeX)
  by Jeremy Yallop

• Refining Semantics for Multi-Stage Programming (GPCE 2017)
  (paper) (BibTeX)
  by Rui Ge and Ronald Garcia

• Stream Fusion, to Completeness (POPL 2017)
  (paper) (BibTeX)
  by Oleg Kiselyov, Aggelos Biboudis, Nick Palladinos and Yannis Smaragdakis

• Modelling Homogeneous Generative Meta-programming (ECOOP 2017)
  (paper) (BibTeX)
  by Martin Berger, Laurence Tratt and Christian Urban

• Refining semantics for multi-stage programming (Masters dissertation, 2016)
  (dissertation)
  by Rui Ge

• Refined Environment Classifiers: Type- and Scope-safe Code Generation with Mutable Cells (APLAS 2016)
  (paper) (BibTeX)
  by Oleg Kiselyov, Yukiyoshi Kameyama and Yuto Sudo

• Reasoning about multi-stage programs (JFP 2016)
  (paper) (BibTeX)
  by Jun Inoue and Walid Taha

• Staging Beyond Terms: Prospects and Challenges (PEPM 2016)
  (paper) (BibTeX)
  by Jun Inoue, Oleg Kiselyov and Yukiyoshi Kameyama

• Automatic Staging via Partial Evaluation Techniques (SCSS 2016)
  (paper) (BibTeX)
  by Kenichi Asai and Yukiyoshi Kameyama

• Toward Introducing Binding-Time Analysis to MetaOCaml (PEPM 2016)
  (paper) (BibTeX)
  by Kenichi Asai

• Generic partially-static data (TyDe 2016)
  (extended abstract) (BibTeX)
  by David Kaloper-Meršinjak and Jeremy Yallop

• Staging generic programming (PEPM 2016)
  (paper) (BibTeX)
  by Jeremy Yallop

• IR-MetaOCaml : (re)implementing MetaOCaml (Masters thesis)
  (dissertation) (code)
  by Evgeny Roubinchtein

• Program logics for homogeneous generative run-time meta-programming (LMCS 2015)
  (paper) (BibTeX)
  by Martin Berger and Laurence Tratt

• Modular macros (OCaml 2015)
  (extended abstract)
  by Jeremy Yallop and Leo White

• Generate and offshore: type-safe and modular code generation for low-level optimization (FHPC 2015)
  (BibTeX)
  by Naoki Takashima, Hiroki Sakamoto and Yukiyoshi Kameyama

• Combinators for Impure yet Hygienic Code Generation (SCP 2015)
  (paper) (BibTeX)
  by Yukiyoshi Kameyama, Oleg Kiselyov and Chung-chieh Shan

• The design and implementation of MetaOCaml (FLOPS 2014)
  (paper) (BibTeX)
  by Oleg Kiselyov

• On Cross-Stage Persistence in Multi-Stage Programming (FLOPS 2014)
  (paper) (BibTeX)
  by Yuichiro Hanada and Atsushi Igarashi

• Compiling a Reflective Language using MetaOCaml (GPCE 2014)
  (BibTeX)
  by Kenichi Asai

• Supercompiling with Staging (META 2014)
  (paper)
  by Jun Inoue

• Staging and High-Performance Computing: Theory and Practice (NII Shonan 2014)
  (report) (BibTeX)
  by Oleg Kiselyov, Yukiyoshi Kameyama and Jeremy Siek

• Shonan Challenge for Generative Programming (PEPM 2013)
  (paper) (BibTeX)
  by Baris Aktemur, Yukiyoshi Kameyama, Oleg Kiselyov and Chung-chieh Shan

• Reasoning about Multi-Stage Programs (ESOP 2012)
  (paper) (BibTeX)
  by Jun Inoue and Walid Taha

• Bridging the theory of staged programming languages and the practice of high-performance computing (NII Shonan 2012)
  (report) (BibTeX)
  by Oleg Kiselyov, Chung-chieh Shan and Yukiyoshi Kameyama

• Type-directed Automatic Generation of Open Code Multi-Staged Programs (Journal of KIISE 2012)
  by Yung-Bum Jung, Won-Chan Lee and Kwang-Keun Yi

• Polymorphic multi-stage language with control effects (APLAS 2011)
  (paper) (BibTeX)
  by Yuichiro Kokaji and Yukiyoshi Kameyama

• A Generative Geometric Kernel (PEPM 2011)
  (paper) (BibTeX)
  by Jacques Carette, Mustafa Elsheikh and Spencer Smith

• Multi-stage programming with functors and monads: eliminating abstraction overhead from generic code (GPCE 2005, SCP 2011)
  (GPCE 2005 paper) (SCP 2011 paper) (BibTeX)
  by Jacques Carette and Oleg Kiselyov

• Shifting the Stage: staging with delimited control (JFP 2011)
  (paper) (BibTeX)
  by Yukiyoshi Kameyama, Oleg Kiselyov and Chung-chieh Shan

• Multi-Stage Programming for High-Level Description of Circuit Families (CISP 2010)
  (paper)
  by Fulong Chen, Walid Taha and Lei Deng

• Mint: Java multi-stage programming using weak separability (PLDI 2010)
  (paper) (BibTeX)
  by Edwin Westbrook, Mathias Ricken, Jun Inoue, Yilong Yao, Tamer Abdelatif and Walid Taha

• A Generative Approach to Meshing Geometry (McMaster University, 2010)
  (thesis)
  by Mustafa Elsheikh

• The MetaOCaml files: Status report and research proposal (ML 2010)
  (extended abstract)
  by Oleg Kiselyov and Chung-chieh Shan

• A Logical Foundation for Environment Classifiers (TLCA 2009) (LMCS 2010)
  (paper (TLCA)) (paper (LMCS) (BibTeX (TLCA)) (BibTeX (LMCS))
  by Takeshi Tsukada and Atsushi Igarashi

• Finally tagless, partially evaluated: tagless staged interpreters for simpler typed languages (JFP 19(5), 2009)
  (paper) (BibTeX)
  by Jacques Carette, Oleg Kiselyov and Chung-chieh Shan

• Functional Meta-programming for Parallel Skeletons (ICCS, 2008)
  (paper) (BibTeX)
  by Jocelyn Sérot and Joel Falcou

• Closing the Stage: From Staged Code to Typed Closures (PEPM 2008)
  (paper) (BibTeX)
  by Yukiyoshi Kameyama, Oleg Kiselyov and Chung-chieh Shan

• Concoqtion: indexed types now! (PEPM 2007)
  (paper) (BibTeX)
  by Seth Fogarty, Emir Pasalic, Jeremy Siek and Walid Taha

• A Gentle Introduction to Multi-stage Programming, Part II (GTTSE 2007)
  (paper) (BibTeX)
  by Walid Taha

• Dependent open terms and the evaluation contexts that bind them (Unpublished)
  (extended abstract)
  by Oleg Kiselyov and Chung-chieh Shan

• MetaOCaml Server Pages (SCP 2006)
  (paper) (BibTeX)
  by Christopher League

• Gaussian Elimination: a case study in efficient genericity with MetaOCaml (SCP 2006)
  (paper) (BibTeX)
  by Jacques Carette

• Combining Partial Evaluation and Staged Interpretation in the Implementation of Domain-Specific Languages (SCP 2006)
  (paper) (BibTeX)
  by Christoph A. Herrmann and Tobias Langhammer

• A Monadic Approach for Avoiding Code Duplication (PEPM 2006)
  (paper) (BibTeX)
  by Kedar Swadi, Walid Taha, Oleg Kiselyov and Emir Pasalic

• Experiences with an object-oriented, multi-stage language (SCP 2006)
  (paper) (BibTeX)
  by Gregory Neverov and Paul Roe

• In search of a program generator to implement generic transformations for high-performance computing (SCP 2006)
  (paper) (BibTeX)
  by Albert Cohen, Sébastien Donadio, Maria-Jesus Garzaran, Christoph Herrmann, Oleg Kiselyov, David Paduac

• Towards a fully-reflective meta-programming language (ACSC 2005)
  (paper) (BibTeX)
  by Gregory Neverov and Paul Roe

• Tuning MetaOCaml Programs for High Performance
  (thesis)
  by Tobias Langhammer

• Implicitly Heterogeneous Multi-Stage Programming (GPCE 2005) (New Generation Comput. 2007)
  (extended) (BibTeX)
  by Jason Eckhardt, Roumen Kaiabachev, Emir Pasalic, Kedar Swadi and Walid Taha

• Generating Message-Passing Programs from Abstract Specifications by Partial Evaluation (PPL 2005)
  (paper) (BibTeX)
  by Christoph A. Herrmann

• Staging Dynamic Programming Algorithms (Unpublished)
  (paper)
  by Kedar Swadi, Walid Taha and Oleg Kiselyov

• Staged Computation with Names and Necessity (JFP 2005)
  (paper) (BibTeX)
  by Aleksandar Nanevski and Frank Pfenning

• Binding-Time Analysis for MetaML via Type Inference and Constraint Solving (TACAS 2004)
  (paper) (BibTeX)
  by Nathan Linger and Tim Sheard

• DSL Implementation in MetaOCaml, Template Haskell, and C++ (DSPG 2003) (OOPSLA companion 2004)
  (paper) (BibTeX (DSPG)) (BibTeX (OOPSLA))
  by Krzysztof Czarnecki, John O’Donnell, Jörg Striegnitz and Walid Taha

• A Gentle Introduction to Multi-stage Programming (DSPG 2004)
  (paper) (BibTeX)
  by Walid Taha

• A Methodology for Generating Verified Combinatorial Circuits (EMSOFT 2004)
  (paper) (BibTeX)
  by Oleg Kiselyov, Kedar N. Swadi and Walid Taha

• ML-like Inference for Classifiers (ESOP 2004)
  (paper) (BibTeX)
  by Cristiano Calcagno, Eugenio Moggi and Walid Taha

• MetaKlaim: A Type Safe Multi-stage Language for Global Computing (MSCS 2004)
  (paper) (BibTeX)
  by Gian Luigi Ferrari, Eugenio Moggi and Rosario Pugliese

• Closed Types for a Safe Imperative MetaML (JFP 2003)
  (paper) (BibTeX)
  by Cristiano Calcagno, Eugenio Moggi and Tim Sheard

• Implementing Multi-stage Languages Using ASTs, Gensym, and Reflection (GPCE 2003)
  (paper) (BibTeX)
  by Cristiano Calcagno, Walid Taha, Liwen Huang and Xavier Leroy

• Staged Notational Definitions (GPCE 2003)
  (paper) (BibTeX)
  by Walid Taha and Patricia Johann

• Environment Classifiers (POPL 2003)
  (paper) (BibTeX)
  by Walid Taha and Michael Florentin Nielsen

• An Efficient Staging Algorithm for Binding-Time Analysis (LOPSTR 2003)
  (paper) (BibTeX)
  by Takuma Murakami, Zhenjiang Hu, Kazuhiko Kakehi and Masato Takeichi

• Tagless Staged Interpreters for Typed Languages (ICFP 2002)
  (paper) (BibTeX)
  by Emir Pasalic, Walid Taha and Tim Sheard

• Meta-programming with names and necessity (ICFP 2002)
  (paper) (BibTeX)
  by Aleksandar Nanevski

• Accomplishments and Research Challenges in Meta-programming (SAIG 2001)
  (paper) (BibTeX)
  by Tim Sheard

• Dynamically Adaptable Software with Metacomputations in a Staged Language (SAIG 2001)
  (paper) (BibTeX)
  by William L. Harrison and Tim Sheard

• Macros as Multi-Stage Computations (ICFP 2001)
  (paper) (BibTeX)
  by Steven E. Ganz, Amr Sabry and Walid Taha

• Multi-Stage Programming with Explicit Annotations (PEPM 1997, TCS 2000)
  (PEPM 1997 paper) (BibTeX (PEPM)) (BibTeX (TCS))
  by Walid Taha and Tim Sheard

• Closed Types as a Simple Approach to Safe Imperative Multi-Stage Programming (ICALP 2000)
  (paper) (BibTeX)
  by Cristiano Calcagno, Eugenio Moggi and Walid Taha

• Multi-Stage Imperative Languages: A Conservative Extension Result (SAIG 2000)
  (paper) (BibTeX)
  by Cristiano Calcagno and Eugenio Moggi

• Sound Reductions for Untyped CBN MetaML (PEPM 2000)
  (paper) (BibTeX)
  by Walid Taha

• Multi-Stage Programming: Its Theory and Applications (1999)
  (dissertation)
  by Walid Taha

• DSL Implementation Using Staging and Monads (DSL 1999)
  (paper) (BibTeX)
  by Tim Sheard, Zine-el-abidine Benaissa and Emir Pasalic

• Logical Modalities and Multi-Stage Programming (IMLA 1999)
  (paper)
  by Zine-El-Abidine Benaissa, Eugenio Moggi, Walid Taha and Tim Sheard

• Idealized MetaML: Simpler, and More Expressive (ESOP 1999)
  (paper) (BibTeX)
  by Eugenio Moggi, Walid Taha, Zine-El-Abidine Benaissa and Tim Sheard

• Using MetaML: A Staged Programming Language (Advanced Functional Programming 1998)
  (paper) (BibTeX)
  by Tim Sheard

• Multi-Stage Programming: Axiomatization and Type-Safety (ICALP 1998)
  (paper) (BibTeX)
  by Walid Taha, Zine-El-Abidine Benaissa and Tim Sheard

• Multi-Stage Programming (poster at ICFP 1997)
  (BibTeX)
  by Walid Taha and Tim Sheard

Status of links at last commit: