Janis Voigtländer

Publication Activity (10 Years)

Years Active: 2002-2023
Publications (10 Years): 9

Top Venues

CoRR

ABP

J. Log. Algebraic Methods Program.

Modellierung (Companion)

Dresden University of Technology (PHD)

Education History

Dresden University of Technology

PHD

Publications

Leon Koth, Janis Voigtländer
Parametrisierung von Haskell-Programmieraufgaben. ABP (2023)
André Brandt, Marcellus Siegburg, Janis Voigtländer, Ke Wang
A Report on Automatic Generation of Petri Net Exercise and Exam Task Instances. Modellierung (Workshops) (2022)
Oliver Westphal, Janis Voigtländer
Describing Console I/O Behavior for Testing Student Submissions in Haskell. TFPIE (2020)
Oliver Westphal, Janis Voigtländer
Implementing, and Keeping in Check, a DSL Used in E-Learning. FLOPS (2020)
Marcellus Siegburg, Janis Voigtländer
Generating Diverse Exercise Tasks on UML Class and Object Diagrams, Using Formalisations in Alloy. Modellierung (Companion) (2020)
Janis Voigtländer
Free Theorems Simply, via Dinaturality. DECLARE (2019)
Janis Voigtländer
Free Theorems Simply, via Dinaturality. CoRR (2019)
Marcellus Siegburg, Janis Voigtländer, Oliver Westphal
Automatische Bewertung von Haskell-Programmieraufgaben. ABP (2019)
Helmut Grohne, Janis Voigtländer
Formalizing semantic bidirectionalization and extensions with dependent types. J. Log. Algebraic Methods Program. 86 (1) (2017)
Helmut Grohne, Andres Löh, Janis Voigtländer
Formalizing Semantic Bidirectionalization with Dependent Types. EDBT/ICDT Workshops (2014)
Stefan Mehner, Daniel Seidel, Lutz Straßburger, Janis Voigtländer
Parametricity and Proving Free Theorems for Functional-Logic Languages. PPDP (2014)
Tobias Gödderz, Janis Voigtländer
Automatic Testing of Operation Invariance. WLP/WFLP (2014)
Richard S. Bird, Jeremy Gibbons, Stefan Mehner, Janis Voigtländer, Tom Schrijvers
Understanding idiomatic traversals backwards and forwards. Haskell (2013)
Hugo Pacheco, Nuno Macedo, Alcino Cunha, Janis Voigtländer
A Generic Scheme and Properties of Bidirectional Transformations. CoRR (2013)
Jens Knoop, Janis Voigtländer
6. Arbeitstagung Programmiersprachen (ATPS 2013). Software Engineering (2013)
Jens Knoop, Janis Voigtländer
Vorwort zur 6. Arbeitstagung Programmiersprachen (ATPS 2013). Software Engineering (Workshops) (2013)
Janis Voigtländer, Zhenjiang Hu, Kazutaka Matsuda, Meng Wang
Enhancing semantic bidirectionalization via shape bidirectionalizer plug-ins. J. Funct. Program. 23 (5) (2013)
Janis Voigtländer
Ideas for connecting inductive program synthesis and bidirectionalization. PEPM (2012)
Frank Huch, Janis Voigtländer
5. Arbeitstagung Programmiersprachen (ATPS 2012). Software Engineering (2012)
Janis Voigtländer
Programming language approaches to bidirectional transformation. LDTA (2012)
Frank Hermann, Janis Voigtländer
First International Workshop on Bidirectional Transformations (BX 2012): Preface. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 49 (2012)
Daniel Seidel, Janis Voigtländer
Refined typing to localize the impact of forced strictness on free theorems. Acta Informatica 48 (3) (2011)
Daniel Seidel, Janis Voigtländer
Improvements for Free QAPL (2011)
João Paulo Fernandes, João Saraiva, Daniel Seidel, Janis Voigtländer
Strictification of circular programs. PEPM (2011)
Patricia Johann, Alex Simpson, Janis Voigtländer
A Generic Operational Metatheory for Algebraic Effects. LICS (2010)
Daniel Seidel, Janis Voigtländer
Automatically Generating Counterexamples to Naive Free Theorems. FLOPS (2010)
Jan Christiansen, Daniel Seidel, Janis Voigtländer
Free theorems for functional logic programs. PLPV (2010)
Janis Voigtländer, Zhenjiang Hu, Kazutaka Matsuda, Meng Wang
Combining syntactic and semantic bidirectionalization. ICFP (2010)
John P. Gallagher, Janis Voigtländer
Editorial. High. Order Symb. Comput. 23 (3) (2010)
Nate Foster, Kazutaka Matsuda, Janis Voigtländer
Three Complementary Approaches to Bidirectional Programming. SSGIP (2010)
Jan Christiansen, Daniel Seidel, Janis Voigtländer
An Adequate, Denotational, Functional-Style Semantics for Typed FlatCurry. WFLP (2010)
Daniel Seidel, Janis Voigtländer
Proving Properties about Functions on Lists Involving Element Tests. WADT (2010)
Patricia Johann, Janis Voigtländer
A family of syntactic logical relations for the semantics of Haskell-like languages. Inf. Comput. 207 (2) (2009)
Jan Christiansen, Daniel Seidel, Janis Voigtländer
Free theorems for functional logic programs: (abstract only). ACM SIGPLAN Notices 44 (11) (2009)
Janis Voigtländer
Free theorems involving type constructor classes: functional pearl. ICFP (2009)
Janis Voigtländer
Bidirectionalization for free! (Pearl). POPL (2009)
Daniel Seidel, Janis Voigtländer
Taming Selective Strictness. GI Jahrestagung (2009)
Florian Stenger, Janis Voigtländer
Parametricity for Haskell with Imprecise Error Semantics. TLCA (2009)
Janis Voigtländer
Asymptotic Improvement of Computations over Free Monads. MPC (2008)
Janis Voigtländer
Much ado about two (pearl): a pearl on parallel prefix computation. POPL (2008)
Janis Voigtländer
Semantics and Pragmatics of New Shortcut Fusion Rules. FLOPS (2008)
Janis Voigtländer
Proving correctness via free theorems: the case of the destroy/build-rule. PEPM (2008)
Janis Voigtländer
Formal Efficiency Analysis for Tree Transducer Composition. Theory Comput. Syst. 41 (4) (2007)
Jürgen Giesl, Armin Kühnemann, Janis Voigtländer
Deaccumulation techniques for improving provability. J. Log. Algebraic Methods Program. 71 (2) (2007)
Janis Voigtländer, Patricia Johann
Selective strictness and parametricity in structural operational semantics, inequationally. Theor. Comput. Sci. 388 (1-3) (2007)
Patricia Johann, Janis Voigtländer
The Impact of seq on Free Theorems-Based Program Transformations. Fundam. Informaticae 69 (1-2) (2006)
Janis Voigtländer
Using Circular Programs to Deforest in Accumulating Parameters. High. Order Symb. Comput. 17 (1-2) (2004)
Janis Voigtländer, Armin Kühnemann
Composition of functions with accumulating parameters. J. Funct. Program. 14 (3) (2004)
Patricia Johann, Janis Voigtländer
. POPL (2004)
Jürgen Giesl, Armin Kühnemann, Janis Voigtländer
Deaccumulation - Improving Provability. ASIAN (2003)
Janis Voigtländer
Conditions for Efficiency Improvement by Tree Transducer Composition. RTA (2002)
Janis Voigtländer
Using circular programs to deforest in accumulating parameters. ASIA-PEPM (2002)
Janis Voigtländer
Concatenate, reverse and map vanish for free. ICFP (2002)

Janis Voigtländer.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Janis Voigtländer