School of Computing

Talks by Olaf Chitil

Most of my external talks with slides.
  • Tracing Computations of Functional Programs
    Software Engineering Institute, School of Electronics Engineering and Computer Science, Peking University, China, 3 May 2017.
    Abstract, Slides PdF (696 KB).
  • Typed Lazy Contracts
    Invited talk. PROLE 2013. Madrid, Spain, 19 September 2013.
    Abstract, Slides Pdf (545 KB).
  • Contracts for Lazy Functional Languages
    Technische Universität München, Germany, 6 June 2013.
    Abstract, Slides Pdf (537 KB).
  • Practical Typed Lazy Contracts
    17th ACM SIGPLAN International Conference on Functional Programming, Copenhagen, Denmark, 10 September 2012.

    Abstract, Slides Pdf (270 KB), Library on Hackage.
  • A semantics for lazy assertions
    20th ACM SIGPLAN workshop on Partial evaluation and program manipulation, PEPM 2011, Austin, Texas, USA, 25 January 2011.
    Abstract, Slides Pdf (330 KB).

  • Debugging Functional Programs
    Hefei University of Technology, Anhui, China, 23 April 2009.
    Abstract, Slides Pdf (800 KB).

  • Heat - An Interactive Development Environment for Learning & Teaching Haskell
    20th International Symposium on Implementation and Application of Functional Languages, IFL 2008, Hatfield, Hertfordshire, UK, 11 September 2008.
    Abstract, Slides Pdf (830 KB), Talk movie (86 MB).

  • Comprehending Finite Maps for Algorithmic Debugging of Higher-Order Functional Programs
    10th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming, Valencia, Spain, 16 July 2008.
    Abstract, Slides Pdf (380 KB).

  • Debugging of Functional Programs
    Computer Science Research Colloquium, University of Hertfordshire, UK, 12 March 2008.
    Abstract, Slides Pdf (800 KB).

  • Foundations for the Debugging of Functional Programs
    Functional Programming in the Afternoon, Credite Suisse, London, UK, 12 February 2008.
    Abstract, Slides Pdf (450 KB).

  • Promoting Non-Strict Programming - Introducing Strict Check
    18th International Workshop on Implementation and Application of Functional Languages, IFL 2006, Budapest, Hungary, 6 September 2006.
    Slides (16): Pdf (150 KB).

  • Foundations for Tracing Functional Programs and the Correctness of Algorithmic Debugging
    Kolloquium des Instituts für Informatik und Praktische Mathematik, Christian-Albrechts-Universität zu Kiel, Germany, 26 April 2006.
    Abstract, Slides (46): Pdf (600 KB).

  • Towards a Theory of Tracing for Functional Programs based on Graph Rewriting
    3rd International Workshop on Termgraph Rewriting, Vienna, Austria, 1 April 2006.
    Abstract, Slides (27): Pdf (410 KB).

  • Pretty Printing with Delimited Continuations
    17th International Workshop on Implementation and Application of Functional Languages, IFL 2005, Dublin, Ireland, 21 September 2005.
    Slides (11): Pdf (200 KB).

  • A Theory of Tracing Pure Functional Programs
    21st British Colloquium for Theoretical Computer Science, BCTCS 2005, Nottingham, UK, 22 March 2005.
    Abstract, Slides (12) Pdf (51 KB).

  • Source-Based Trace Exploration with Hat
    16th International Workshop on Implementation of Functional Languages, IFL 2004, Lübeck, Germany, 9 September 2004.
    Slides (5): Pdf (22 KB). Most of the talk was a demonstration.

  • Lazy Assertions (together with Colin Runciman)
    15th International Workshop on Implementation of Functional Languages, IFL 2003, Edinburgh, Scotland, 9 September 2003.

  • Werkzeuge zur Lokalisierung der Ursachen von Typfehlern in Programmen
    Kolloquium des Instituts für Informatik und Praktische Mathematik, Christian-Albrechts-Universität zu Kiel, Germany, 8 August 2003.
    Abstract, Folien (23): Postscript (110 KB), Pdf (92 KB).

  • Locating the Source of Type Errors
    University of Kent at Canterbury, 11 July 2003.
    Slides (13): Pdf (70 KB).

  • Transforming Haskell for Tracing
    14th International Workshop on Implementation of Functional Languages, IFL 2002, Madrid, Spain, 16 September 2002.
    Slides (15): Pdf (475 KB)

  • Tracen und Debuggen von Funktionalen Programmen mit verzögerter Auswertung
    Lehrstuhl für Programmiersprachen, Albert-Ludwigs-Universität Freiburg, Germany, 15 May 2002.
    Abstract, Folien (25): Postscript (786 KB), Pdf (729 KB).

  • Tracen und Debuggen von Funktionalen Programmen mit verzögerter Auswertung
    Kolloquium des Instituts für Informatik und Praktische Mathematik, Christian-Albrechts-Universität zu Kiel, Germany, 20 December 2001.
    Abstract, Folien (20): Postscript (596 KB), Pdf (545 KB).

  • A Semantics for Tracing
    13th International Workshop on Implementation of Functional Languages, IFL 2001, Ericsson Computer Science Laboratory, Älvsjö, Sweden, 26 September 2001.
    Slides (12): Postscript (312 KB), Pdf (276 KB).

  • Compositional Explanation of Types and Algorithmic Debugging of Type Errors
    Sixth ACM SIGPLAN International Conference on Functional Programming (ICFP'01), Firenze, Italy, 4 September 2001.
    Slides (20): Postscript (2125 KB), Pdf (1976 KB).

  • Pretty Printing with Lazy Dequeues
    2001 ACM SIGPLAN Haskell Workshop, Firenze, Italy, 2 September 2001.
    Slides (10): Postscript (1382 KB), Pdf (1280 KB).

  • Tracing and Debugging Haskell Programs with Hat
    Theoretical Computer Science Group, University of Kent at Canterbury, 12 February 2001.
    Abstract, Slides (23): Postscript (678 KB), Pdf (607 KB).

  • Freja, Hat and Hood - A Comparative Evaluation of Three Systems for Tracing and Debugging Haskell Programs
    Haskell Implementers' Workshop, Microsoft Research, Cambridge, 22 January 2001.

  • Tracing and Debugging of Lazy Functional Programs
    Verification and Testing Research Group, University of Sheffield, 15 December 2000.
    Abstract

  • Type-Inference Based Deforestation of Functional Programs
    Informatik-Oberseminar, RWTH Aachen, Germany, 27 October 2000.
    Abstract, Folien (23): Postscript (68 KB).

  • Freja, Hat and Hood - A Comparative Evaluation of Three Systems for Tracing and Debugging Lazy Functional Programs
    12th International Workshop on Implementation of Functional Languages (IFL 2000), Aachen, Germany, 4 September 2000.
    Slides (18): Postscript (66 KB).

  • Deforestation of Functional Programs through Type Inference
    17. Workshop der GI-Fachgruppe 2.1.4, Programmiersprachen und Rechenkonzepte mit Schwerpunkt Softwarekomponenten, Bad Honnef, Germany, 9 May 2000.

  • Deforestation von Funktionalen Programmen durch Typinferenz
    Im Rahmen des Seminars zum Forschungsschwerpunkt Intelligente Formale Systeme. Technische Universität Dresden, 26 Januar 2000.
    Abstract, Folien (23): Postscript (323 KB).

  • Type-Inference Based Short Cut Deforestation (nearly) without Inlining 11th International Workshop on Implementation of Functional Languages (IFL '99), Lochem, Netherlands, 7 September 1999.
    Slides (19): Postscript (356 KB).

  • Denotational Semantics for Teaching Lazy Functional Programming
    Workshop on Functional and Declarative Programming in Education, Paris, France, 29 September 1999.
    Slides (7): Postscript (34 KB).

  • Type Inference Builds a Short Cut to Deforestation
    1999 ACM SIGPLAN International Conference on Functional Programming (ICFP '99), Paris, France, 29 September 1999.
    Slides (16): Postscript (378 KB).

  • Common Subexpressions are Uncommon in Lazy Functional Languages
    9th International Workshop on Implementation of Functional Languages (IFL '97), St. Andrews, Scotland, 12 September 1997.
    Slides (15): Postscript (38 KB).

School of Computing, University of Kent, Canterbury, Kent, CT2 7NF

Enquiries: +44 (0)1227 824180 or contact us.

Last Updated: 23/06/2017