Slides (and some Videos) of some Talks

Inductive Program Synthesis for Bidirectional Transformations
at Dagstuhl Seminar "Approaches and Applications of Inductive Programming", Dagstuhl, October 28, 2015.

Optimizing Signal Graphs for FunctionalReactive Programs
at IFIP WG 2.4 meeting #56, Boppard, July 28, 2015.

Embarrassingly Simple Generation of Free Theorems
at IFIP WG 2.1 meeting #71, Zeegse, March 26, 2014.

Bidirectional Transformations  a PL perspective
at BIRS Workshop on BX, Banff, December 2, 2013.
A video of this talk is available here.

Understanding Idiomatic Traversals Backwards and Forwards (corresponding paper: here)
at IFIP WG 2.1 meeting #70, Ulm, July 3, 2013.

Discovering Counterexamples for Knuthlike 01...kPrinciples
at IFIP WG 2.1 meeting #69, Ottawa, October 9, 2012.

Algebraische Dynamische Programmierung (in German)
at HaL7, Halle/Saale, July 13, 2012.
A video of this talk is available here.

Programming Language Approaches to Bidirectional Transformation
as invited speaker at LDTA'12, Tallinn, March 31, 2012.

Ideas for Connecting Inductive Program Synthesis and Bidirectionalization (corresponding paper: here)
at PEPM'12, Philadelphia, January 23, 2012.

TypeBased Reasoning about Efficiency
as ToPS seminar at National Institute of Informatics, Tokyo, August 3, 2011.

View Update: Programmiersprachliche Techniken für Bidirektionale Transformation
as colloquium at Universität Bamberg, June 16, 2011.

ParametricityBased Reasoning about Efficiency
as FP talk at Chalmers University of Gothenburg, June 8, 2011.

Improvements for Free (corresponding paper: here)
at IFIP WG 2.1 meeting #67, Reykjavik, May 25, 2011.

Free Theorems about Monadic Code
at EWCE'11, Ljubljana, March 18, 2011.

ComplementBased Bidirectionalization (part of tutorial)
Efficiency of Bidirectional Transformations (position statement)
at Dagstuhl Seminar "bx", Dagstuhl, January 17 and 20, 2011.

Lectures within course "Source Code Analysis and Manipulation" in PhD program at University of Minho, October 18, 2010:
Semantic Bidirectionalisation
Free Theorems  Foundations
Knuth's 01Principle and Beyond

Combining Syntactic and Semantic Bidirectionalization (corresponding paper: here)
at ICFP'10, Baltimore, September 28, 2010.
A video of this talk is available here.

Strictification of Circular Programs (corresponding paper: here)
at IFIP WG 2.1 meeting #66, Atlantic City, September 22+23, 2010.

Lightweight Program Inversion
at Dutch HUG Day, Nieuwegein, April 24, 2010.

Semantic Bidirectionalization and the ConstantComplement Perspective
at BiTrans in ABC'10, Hakone, March 13, 2010.

TypeBased Reasoning for Real Languages
as invited speaker at PPL'10, Kotohira, March 4, 2010.

Knuth's 01Principle and Beyond
as GRACE seminar at National Institute of Informatics, Tokyo, February 26, 2010.

Free Theorems Involving Type Constructor Classes (corresponding paper: here)
at ICFP'09, Edinburgh, September 1, 2009.
A video of this talk is available here.

News About a Recent Application of Parametricity
at ISSAiPL'09, Edinburgh, August 25, 2009.

Typbasierte Programmtransformation (in German)
at my Habilitation defense in Dresden, July 14, 2009.

Parametricity for Haskell with Imprecise Error Semantics (corresponding paper: here)
at TLCA'09, Brasilia, July 2, 2009.
(similarly held earlier at NWPT'08, Tallinn, November 19, 2008)

Short Course "Free Theorems and Applications" at University of Edinburgh, April 2224, 2009:
Free Theorems  Foundations
Knuth's 01Principle and Beyond
Free Theorems and "Real" Languages

Semantic Bidirectionalisation
as LFCS seminar at University of Edinburgh, April 21, 2009.

Circular vs. HigherOrder Shortcut Fusion
as departmental talk at University of Minho, March 30, 2009.

TypeBased Reasoning and Imprecise Errors
as colloquium at University of Strathclyde in Glasgow, March 6, 2009.

TypeBased Reasoning and Bidirectional Transformation
as colloquium at Universität Kiel, February 20, 2009.

Bidirectionalization for Free! (corresponding paper: here)
at POPL'09, Savannah, January 22, 2009.

Free Theorems for Bidirectional Transformation (short talk)
A ConstantComplement Perspective on Bidirectionalization for Free (technical presentation)
at GRACEBX'08, Shonan Village, December 15 and 16, 2008.

Asymptotic Improvement of Computations over Free Monads (corresponding paper: here)
at MPC'08, Marseille, July 16, 2008.

Freie Theoreme  Was und Wie (in German)
at HaL3, Leipzig, April 18, 2008.

Semantics and Pragmatics of New Shortcut Fusion Rules (corresponding paper: here)
at FLOPS'08, Ise, April 15, 2008.

Much Ado about Two: A Pearl on Parallel Prefix Computation (corresponding paper: here)
at POPL'08, San Francisco, January 10, 2008.

Proving Correctness via Free Theorems: The Case of the destroy/buildRule (corresponding paper: here)
at PEPM'08, San Francisco, January 7, 2008.

Free Theorems  The Basics
in our working group in Dresden, January 6, 2006.

Komposition von Baumübersetzern als Programmtransformation (in German)
at my PhD defense in Dresden, January 24, 2005.

The Impact of seq on Free TheoremsBased Program Transformations (corresponding paper: here)
in our working group in Dresden, October 22, 2004.

Elimination of Intermediate Results in Functional Programs
as colloquium at TU Munich, November 18, 2003.

Efficiency Improvement by Tree Transducer Composition
at workshop of the postgraduate programme GK 334, Gohrisch, April 2, 2003.

Concatenate, Reverse and Map Vanish For Free (corresponding paper: here)
at ICFP'02, Pittsburgh, October 4, 2002.

Using Circular Programs to Deforest in Accumulating Parameters (corresponding paper: here)
at ASIAPEPM'02, Aizu, September 14, 2002.

Conditions for Efficiency Improvement by Tree Transducer Composition (corresponding paper: here)
at RTA'02, Copenhagen, July 23, 2002.

Composition of Unrestricted Macro Tree Transducers
in our working group in Dresden, April 19, 2002.