University of Kent - Home

• Contact
• Maps
• Departments

Navigation menu

School of Computing

• Home
• Research
• Teaching

Studying

• Becoming a postgraduate
• Becoming an undergraduate

Activities

• News
• National & International services
• Seminars
• Schools Liaison
• Outreach
• Kent IT Clinic
• Kent enterprise

Local users

• For current students and staff
• Systems Support

About us

• Contacts - How to find us
• People
  • Staff
  • Research Students
  • Undergraduate (local)
  • Taught Postgraduate (local)
  • Former Staff
  • Former Research Students
  • Student portal (univ)

Search

School of Computing

Search:

Talks by Olaf Chitil

Most of my external talks with slides.

• 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).

Kent wins Queen's Award