| 2020 | FLOPS | Implementing, and Keeping in Check, a DSL Used in E-Learning. | Oliver Westphal, Janis Voigtlnder |
| 2014 | EDBT | Formalizing Semantic Bidirectionalization with Dependent Types. | Helmut Grohne, Andres Lh, Janis Voigtlnder |
| 2014 | PPDP | Parametricity and Proving Free Theorems for Functional-Logic Languages. | Stefan Mehner, Daniel Seidel, Lutz Straburger, Janis Voigtlnder |
| 2013 | HASKELL | Understanding idiomatic traversals backwards and forwards. | Richard S. Bird, Jeremy Gibbons, Stefan Mehner, Janis Voigtlnder, Tom Schrijvers |
| 2012 | PEPM | Ideas for connecting inductive program synthesis and bidirectionalization. | Janis Voigtlnder |
| 2011 | PEPM | Strictification of circular programs. | Joo Paulo Fernandes, Joo Saraiva, Daniel Seidel, Janis Voigtlnder |
| 2010 | FLOPS | Automatically Generating Counterexamples to Naive Free Theorems. | Daniel Seidel, Janis Voigtlnder |
| 2010 | ICFP | Combining syntactic and semantic bidirectionalization. | Janis Voigtlnder, Zhenjiang Hu, Kazutaka Matsuda, Meng Wang |
| 2010 | LICS | A Generic Operational Metatheory for Algebraic Effects. | Patricia Johann, Alex Simpson, Janis Voigtlnder |
| 2009 | GI | Taming Selective Strictness. | Daniel Seidel, Janis Voigtlnder |
| 2009 | ICFP | Free theorems involving type constructor classes: functional pearl. | Janis Voigtlnder |
| 2009 | POPL | Bidirectionalization for free! (Pearl). | Janis Voigtlnder |
| 2008 | FLOPS | Semantics and Pragmatics of New Shortcut Fusion Rules. | Janis Voigtlnder |
| 2008 | MPC | Asymptotic Improvement of Computations over Free Monads. | Janis Voigtlnder |
| 2008 | PEPM | Proving correctness via free theorems: the case of the destroy/build-rule. | Janis Voigtlnder |
| 2008 | POPL | Much ado about two (pearl): a pearl on parallel prefix computation. | Janis Voigtlnder |
| 2004 | POPL | Free theorems in the presence of | Patricia Johann, Janis Voigtlnder |
| 2002 | ICFP | Concatenate, reverse and map vanish for free. | Janis Voigtlnder |
| 2002 | PEPM | Using circular programs to deforest in accumulating parameters. | Janis Voigtlnder |