Janis Voigtländer - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

2010

Proceedings of the ACM SIGPLAN 2010 Workshop on Partial Evaluation and Program ManipulationJohn P. Gallagher, Janis Voigtländer, editors, ACM, January 2010.

2009

A family of syntactic logical relations for the semantics of Haskell-like languagesPatricia Johann, Janis Voigtländer. iandc, 207(2):341-368, 2009. [doi]
Bidirectionalization for free! (Pearl)Janis Voigtländer. POPL 2009: 165-176 [doi]

2008

Much ado about two (pearl): A pearl on parallel prefix computationJanis Voigtländer. POPL 2008: 29-35 [doi]
Types for Programming and ReasoningJanis Voigtländer. 2008.
Semantics and Pragmatics of New Shortcut Fusion RulesJanis Voigtländer. FLOPS 2008: 163-179 [doi]
Asymptotic Improvement of Computations over Free MonadsJanis Voigtländer. mpc 2008: 388-403 [doi]
Proving correctness via free theorems: The case of the destroy/build-ruleJanis Voigtländer. PEPM 2008: 13-20 [doi]

2007

Deaccumulation techniques for improving provabilityJürgen Giesl, Armin Kühnemann, Janis Voigtländer. jlp, 71(2):79-113, 2007. [doi]
Formal Efficiency Analysis for Tree Transducer CompositionJanis Voigtländer. mst, 41(4):619-689, 2007. [doi]
Selective strictness and parametricity in structural operational semantics, inequationallyJanis Voigtländer, Patricia Johann. TCS, 388(1-3):290-318, 2007. [doi]

2006

The Impact of seq on Free Theorems-Based Program TransformationsPatricia Johann, Janis Voigtländer. FUIN, 69(1-2):63-102, 2006. [doi]

2005

Tree Transducer Composition as Program TransformationJanis Voigtländer. PhD thesis, Technische Universität Dresden, 2005.

2004

Free theorems in the presence of seqPatricia Johann, Janis Voigtländer. POPL 2004: 99-110 [doi]
Composition of functions with accumulating parametersJanis Voigtländer, Armin Kühnemann. JFP, 14(3):317-363, 2004. [doi]
Using Circular Programs to Deforest in Accumulating ParametersJanis Voigtländer. lisp, 17(1-2):129-163, 2004. [doi]

2003

Deaccumulation - Improving ProvabilityJürgen Giesl, Armin Kühnemann, Janis Voigtländer. asian 2003: 146-160 [doi]

2002

2001

Composition of restricted Macro Tree TransducersJanis Voigtländer. Master's thesis, Technische Universität Dresden, 2001.