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 Functional-Reactive 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 Knuth-like 0-1-...-k-Principles
  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.
• Type-Based 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.
• Parametricity-Based 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.
• Complement-Based 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 0-1-Principle 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 Constant-Complement Perspective
  at Bi-Trans in ABC'10, Hakone, March 13, 2010.
• Type-Based Reasoning for Real Languages
  as invited speaker at PPL'10, Kotohira, March 4, 2010.
• Knuth's 0-1-Principle 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 ISS-AiPL'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 22-24, 2009:
  Free Theorems - Foundations
  Knuth's 0-1-Principle and Beyond
  Free Theorems and "Real" Languages
• Semantic Bidirectionalisation
  as LFCS seminar at University of Edinburgh, April 21, 2009.
• Circular vs. Higher-Order Shortcut Fusion
  as departmental talk at University of Minho, March 30, 2009.
• Type-Based Reasoning and Imprecise Errors
  as colloquium at University of Strathclyde in Glasgow, March 6, 2009.
• Type-Based 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 Constant-Complement Perspective on Bidirectionalization for Free (technical presentation)
  at GRACE-BX'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/build-Rule (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 Theorems-Based 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 ASIA-PEPM'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.

Site proudly generated by Hakyll; Page changed October 2015