| 2026 | RC | PEARL: A Partial Evaluation Toolbox for a Reversible Language. | Louis Marott Normann, Robert Glck |
| 2024 | PEPM | Partial Evaluation of Reversible Flowchart Programs. | Louis Normann, Robert Glck |
| 2024 | RC | Towards Clean Reversible Lossless Compression - A Reversible Programming Experiment with Zip. | Therese Lyngby, Rasmus Ross Nylandsted, Robert Glck, Tetsuo Yokoyama |
| 2024 | SCAM | Experiment Using Partial Evaluation for Transformational Debugging. | Kanae Tsushima, Robert Glck |
| 2023 | RC | Towards a Taxonomy for Reversible Computation Approaches. | Robert Glck, Ivan Lanese, Claudio Antares Mezzina, Jaroslaw Adam Miszczak, Iain Phillips, Irek Ulidowski, Germn Vidal |
| 2023 | RC | Towards a Dereversibilizer: Fewer Asserts, Statically. | Jonas Wolpers Reholt, Robert Glck, Matthis Kruse |
| 2021 | RC | Towards a Unified Language Architecture for Reversible Object-Oriented Programming. | Lasse Hay-Schmidt, Robert Glck, Martin Holm Cservenka, Tue Haulund |
| 2020 | FLOPS | An Efficient Composition of Bidirectional Programs by Memoization and Lazy Update. | Kanae Tsushima, Bach Nguyen Trong, Robert Glck, Zhenjiang Hu |
| 2020 | PPDP | Inversion Framework: Reasoning about Inversion by Conditional Term Rewriting Systems. | Maja H. Kirkeby, Robert Glck |
| 2019 | FM | Reversible Programs Have Reversible Semantics. | Robert Glck, Robin Kaarsgaard, Tetsuo Yokoyama |
| 2019 | LOPSTR | Semi-inversion of Conditional Constructor Term Rewriting Systems. | Maja Hanne Kirkeby, Robert Glck |
| 2018 | RC | Data Structures and Dynamic Memory Management in Reversible Languages. | Martin Holm Cservenka, Robert Glck, Tue Haulund, Torben gidius Mogensen |
| 2017 | RC | Implementing Reversible Object-Oriented Language Features on Reversible Machines. | Tue Haulund, Torben gidius Mogensen, Robert Glck |
| 2016 | WoLLIC | A Classical Propositional Logic for Reasoning About Reversible Logic Circuits. | Holger Bock Axelsen, Robert Glck, Robin Kaarsgaard |
| 2013 | RC | Reversible Representation and Manipulation of Constructor Terms in the Heap. | Holger Bock Axelsen, Robert Glck |
| 2011 | FOSSACS | What Do Reversible Programs Compute? | Holger Bock Axelsen, Robert Glck |
| 2011 | LATA | A Simple and Efficient Universal Reversible Turing Machine. | Holger Bock Axelsen, Robert Glck |
| 2011 | RC | A Reversible Processor Architecture and Its Reversible Logic Design. | Michael Kirkedal Thomsen, Holger Bock Axelsen, Robert Glck |
| 2011 | RC | Towards a Reversible Functional Language. | Tetsuo Yokoyama, Holger Bock Axelsen, Robert Glck |
| 2009 | PEPM | Is there a fourth Futamura projection? | Robert Glck |
| 2008 | ICALP | Reversible Flowchart Languages and the Structured Reversible Program Theorem. | Tetsuo Yokoyama, Holger Bock Axelsen, Robert Glck |
| 2007 | CSR | Reversible Machine Code and Its Abstract Processor Architecture. | Holger Bock Axelsen, Robert Glck, Tetsuo Yokoyama |
| 2007 | PEPM | A reversible programming language and its invertible self-interpreter. | Tetsuo Yokoyama, Robert Glck |
| 2006 | APLAS | On Jones-Optimal Specializers: A Case Study Using Unmix. | Johan Gade, Robert Glck |
| 2005 | PADL | The Program Inverter LRinv and Its Structure. | Masahiko Kawabe, Robert Glck |
| 2004 | FLOPS | Derivation of Deterministic Inverse Programs Based on LR Parsing. | Robert Glck, Masahiko Kawabe |
| 2003 | APLAS | A Program Inverter for a Functional Language with Equality and Constructors. | Robert Glck, Masahiko Kawabe |
| 2003 | PEPM | Transforming interpreters into inverse interpreters by partial evaluation. | Robert Glck, Youhei Kawada, Takuya Hashimoto |
| 2002 | APLAS | An Automatic Program Inverter for Lisp: Potential and Limitations. | Robert Glck, Masahiko Kawabe |
| 2002 | PEPM | Automatic generation of efficient string matching algorithms by generalized partial computation. | Yoshihiko Futamura, Zenjiro Konishi, Robert Glck |
| 2002 | PEPM | Jones optimality, binding-time improvements, and the strength of program specializers. | Robert Glck |
| 2001 | APLAS | Jones Optimality and the Strength of Program Specializers. | Robert Glck |
| 2001 | LOPSTR | On Deforesting Parameters of Accumulating Maps. | Kazuhiko Kakehi, Robert Glck, Yoshihiko Futamura |
| 2000 | APLAS | Principles of Inverse Computation in a Functional Language. | Sergei M. Abramov, Robert Glck |
| 2000 | APLAS | Automatic Generation of Very Efficient Programs by Generalized Partial Computation. | Yoshihiko Futamura, Zenjiro Konishi, Robert Glck |
| 2000 | MPC | The Universal Resolving Algorithm: Inverse Computation in a Functional Language. | Sergei M. Abramov, Robert Glck |
| 1998 | FLOPS | Semantics Modifiers: An Approach to Non-Standard Semantics of Programming Languages. | Sergei M. Abramov, Robert Glck |
| 1998 | LOPSTR | Generalization in Hierarchies of Online Program Specialization Systems. | Robert Glck, John Hatcliff, Jesper Jrgensen |
| 1998 | PEPM | Multi-Level Specialization (Extended Abstract). | Robert Glck, Jesper Jrgensen |
| 1998 | PEPM | Introduction to Supercompilation. | Morten Heine Srensen, Robert Glck |
| 1996 | SAC | Bootstrapping higher-order program transformers from interpreters. | Michael Sperber, Robert Glck, Peter Thiemann |
| 1995 | LOPSTR | On the Mechanics of Metasystem Hierarchies in Program Transformation. | Robert Glck |
| 1994 | ESOP | Towards Unifying Partial Evaluation, Deforestation, Supercompilation, and GPC. | Morten Heine Srensen, Robert Glck, Neil D. Jones |
| 1994 | PEPM | Partial Evaluation of Numerical Programs in Fortran. | Romana Baier, Robert Glck, Robert Zchling |
| 1994 | SAS | Generating Transformers for Deforestation and Supercompilation. | Robert Glck, Jesper Jrgensen |
| 1993 | SAS | Occam's Razor in Metacompuation: the Notion of a Perfect Process Tree. | Robert Glck, Andrei V. Klimov |
| 1991 | PEPM | Towards Multiple Self-Application. | Robert Glck |
| 1990 | ISSAC | Application of Metasystem Transition to Function Inversion and Transformation. | Robert Glck, Valentin F. Turchin |