© University of Kent - Contact | Feedback | Legal | FOI | Cookies
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).