Janis Voigtländer

61 papers A* 4A 3B 2C 10Misc 3Journal 16Unranked 21

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	Automatically testing console I/O behavior of student submissions in Haskell. J. Funct. Program. Oliver Westphal, Janis Voigtländer
2025	—	`conf`	Extensional and Intensional Checking of Student Programs in a Graphical Domain. ABP Patrick Ritzenfeld, Janis Voigtländer
2024	—	`conf`	Eine Taxonomie zur Variabilisierung von Programmieraufgaben. DELFI Workshops Annabell Brocker, Robert Garmann, Sven Strickroth, Michael Striewe, Janis Voigtländer
2023	—	`conf`	Parametrisierung von Haskell-Programmieraufgaben. ABP Leon Koth, Janis Voigtländer
2022	—	`conf`	A Report on Automatic Generation of Petri Net Exercise and Exam Task Instances. Modellierung (Workshops) André Brandt, Marcellus Siegburg, Janis Voigtländer, Ke Wang
2020	—	`conf`	Describing Console I/O Behavior for Testing Student Submissions in Haskell. TFPIE Oliver Westphal, Janis Voigtländer
2020	—	`conf`	Generating Diverse Exercise Tasks on UML Class and Object Diagrams, Using Formalisations in Alloy. Modellierung (Companion) Marcellus Siegburg, Janis Voigtländer
2020	Misc	`conf`	Implementing, and Keeping in Check, a DSL Used in E-Learning. FLOPS Oliver Westphal, Janis Voigtländer
2019	—	`conf`	Automatische Bewertung von Haskell-Programmieraufgaben. ABP Marcellus Siegburg, Janis Voigtländer, Oliver Westphal
2019	—	`conf`	Free Theorems Simply, via Dinaturality. DECLARE Janis Voigtländer
2019	J	`jnl`	Free Theorems Simply, via Dinaturality. CoRR Janis Voigtländer
2017	J	`jnl`	Formalizing semantic bidirectionalization and extensions with dependent types. J. Log. Algebraic Methods Program. Helmut Grohne, Janis Voigtländer
2017	—	`ed.`	Proceedings 29th and 30th Workshops on (Constraint) Logic Programming and 24th International Workshop on Functional and (Constraint) Logic Programming, WLP 2015 / WLP 2016 / WFLP 2016, Dresden and Leipzig, Germany, 22nd September 2015 and 12-14th September 2016. WLP / WFLP Sibylle Schwarz, Janis Voigtländer
2015	B	`ed.`	Mathematics of Program Construction - 12th International Conference, MPC 2015, Königswinter, Germany, June 29 - July 1, 2015. Proceedings MPC Ralf Hinze, Janis Voigtländer
2014	—	`conf`	Automatic Testing of Operation Invariance. WLP/WFLP Tobias Gödderz, Janis Voigtländer
2014	—	`conf`	Formalizing Semantic Bidirectionalization with Dependent Types. EDBT/ICDT Workshops Helmut Grohne, Andres Löh, Janis Voigtländer
2014	C	`conf`	Parametricity and Proving Free Theorems for Functional-Logic Languages. PPDP Stefan Mehner, Daniel Seidel, Lutz Straßburger, Janis Voigtländer
2013	C	`conf`	6. Arbeitstagung Programmiersprachen (ATPS 2013). Software Engineering Jens Knoop, Janis Voigtländer
2013	J	`jnl`	A Generic Scheme and Properties of Bidirectional Transformations. CoRR Hugo Pacheco, Nuno Macedo, Alcino Cunha, Janis Voigtländer
2013	J	`jnl`	Enhancing semantic bidirectionalization via shape bidirectionalizer plug-ins. J. Funct. Program. Janis Voigtländer, Zhenjiang Hu, Kazutaka Matsuda, Meng Wang
2013	C	`conf`	Understanding idiomatic traversals backwards and forwards. Haskell Richard S. Bird, Jeremy Gibbons, Stefan Mehner, Janis Voigtländer, Tom Schrijvers
2013	C	`conf`	Vorwort zur 6. Arbeitstagung Programmiersprachen (ATPS 2013). Software Engineering (Workshops) Jens Knoop, Janis Voigtländer
2012	C	`conf`	5. Arbeitstagung Programmiersprachen (ATPS 2012). Software Engineering Frank Huch, Janis Voigtländer
2012	J	`jnl`	First International Workshop on Bidirectional Transformations (BX 2012): Preface. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. Frank Hermann, Janis Voigtländer
2012	C	`conf`	Ideas for connecting inductive program synthesis and bidirectionalization. PEPM Janis Voigtländer
2012	C	`ed.`	Proceedings of the 5th ACM SIGPLAN Symposium on Haskell, Haskell 2012, Copenhagen, Denmark, 13 September 2012 Haskell Janis Voigtländer
2012	—	`conf`	Programming language approaches to bidirectional transformation. LDTA Janis Voigtländer
2011	—	`conf`	Improvements for Free QAPL Daniel Seidel, Janis Voigtländer
2011	J	`jnl`	Refined typing to localize the impact of forced strictness on free theorems. Acta Informatica Daniel Seidel, Janis Voigtländer
2011	C	`conf`	Strictification of circular programs. PEPM João Paulo Fernandes, João Saraiva, Daniel Seidel, Janis Voigtländer
2010	A*	`conf`	A Generic Operational Metatheory for Algebraic Effects. LICS Patricia Johann, Alex Simpson, Janis Voigtländer
2010	—	`conf`	An Adequate, Denotational, Functional-Style Semantics for Typed FlatCurry. WFLP Jan Christiansen, Daniel Seidel, Janis Voigtländer
2010	Misc	`conf`	Automatically Generating Counterexamples to Naive Free Theorems. FLOPS Daniel Seidel, Janis Voigtländer
2010	A	`conf`	Combining syntactic and semantic bidirectionalization. ICFP Janis Voigtländer, Zhenjiang Hu, Kazutaka Matsuda, Meng Wang
2010	J	`jnl`	Editorial. High. Order Symb. Comput. John P. Gallagher, Janis Voigtländer
2010	—	`conf`	Free theorems for functional logic programs. PLPV Jan Christiansen, Daniel Seidel, Janis Voigtländer
2010	C	`ed.`	Proceedings of the 2010 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, PEPM 2010, Madrid, Spain, January 18-19, 2010 PEPM John P. Gallagher, Janis Voigtländer
2010	—	`conf`	Proving Properties about Functions on Lists Involving Element Tests. WADT Daniel Seidel, Janis Voigtländer
2010	—	`conf`	Three Complementary Approaches to Bidirectional Programming. SSGIP Nate Foster, Kazutaka Matsuda, Janis Voigtländer
2009	J	`jnl`	A family of syntactic logical relations for the semantics of Haskell-like languages. Inf. Comput. Patricia Johann, Janis Voigtländer
2009	A*	`conf`	Bidirectionalization for free! (Pearl). POPL Janis Voigtländer
2009	J	`jnl`	Free theorems for functional logic programs: (abstract only). ACM SIGPLAN Notices Jan Christiansen, Daniel Seidel, Janis Voigtländer
2009	A	`conf`	Free theorems involving type constructor classes: functional pearl. ICFP Janis Voigtländer
2009	—	`conf`	Parametricity for Haskell with Imprecise Error Semantics. TLCA Florian Stenger, Janis Voigtländer
2009	—	`conf`	Taming Selective Strictness. GI Jahrestagung Daniel Seidel, Janis Voigtländer
2008	B	`conf`	Asymptotic Improvement of Computations over Free Monads. MPC Janis Voigtländer
2008	A*	`conf`	Much ado about two (pearl): a pearl on parallel prefix computation. POPL Janis Voigtländer
2008	C	`conf`	Proving correctness via free theorems: the case of the destroy/build-rule. PEPM Janis Voigtländer
2008	Misc	`conf`	Semantics and Pragmatics of New Shortcut Fusion Rules. FLOPS Janis Voigtländer
2007	J	`jnl`	Deaccumulation techniques for improving provability. J. Log. Algebraic Methods Program. Jürgen Giesl, Armin Kühnemann, Janis Voigtländer
2007	J	`jnl`	Formal Efficiency Analysis for Tree Transducer Composition. Theory Comput. Syst. Janis Voigtländer
2007	J	`jnl`	Selective strictness and parametricity in structural operational semantics, inequationally. Theor. Comput. Sci. Janis Voigtländer, Patricia Johann
2006	J	`jnl`	The Impact of seq on Free Theorems-Based Program Transformations. Fundam. Informaticae Patricia Johann, Janis Voigtländer
2005	—	`—`	Tree transducer composition as program transformation. Janis Voigtländer
2004	J	`jnl`	Composition of functions with accumulating parameters. J. Funct. Program. Janis Voigtländer, Armin Kühnemann
2004	A*	`conf`	Free theorems in the presence of POPL Patricia Johann, Janis Voigtländer
2004	J	`jnl`	Using Circular Programs to Deforest in Accumulating Parameters. High. Order Symb. Comput. Janis Voigtländer
2003	—	`conf`	Deaccumulation - Improving Provability. ASIAN Jürgen Giesl, Armin Kühnemann, Janis Voigtländer
2002	A	`conf`	Concatenate, reverse and map vanish for free. ICFP Janis Voigtländer
2002	—	`conf`	Conditions for Efficiency Improvement by Tree Transducer Composition. RTA Janis Voigtländer
2002	—	`conf`	Using circular programs to deforest in accumulating parameters. ASIA-PEPM Janis Voigtländer