• IFL 2012
• Schedule

IFL 2012 - Schedule

Sessions will consist of four talks, with each talk lasting no more than 25 minutes including questions.

Thursday, 30 August 2012

• 9.00 - 10.40 SESSION 1 : Session Chair: José Pedro Magalhães (University of Oxford)
  • Welcome
  • Steven Keuchel and Tom Schrijvers: Modular Monadic Reasoning, a (Co-)Routine
  • Dominic Orchard and Alan Mycroft: A Notation for Comonads
  • Andrej Bauer, Martin Hofmann and Aleksandr Karbyshev: On monadic parametricity of second-order functionals

• 10.40 - 11.00 Tea Break

• 11.00 - 12.40 SESSION 2 : Session Chair: Clemens Grelck (University of Amsterdam)
  • Mischa Dieterle, Thomas Horstmeyer, Jost Berthold and Rita Loogen: Iterating Skeletons - Structured Parallelism by Composition
  • Artjoms Šinkarovs and Sven-Bodo Scholz: Data Layout Inference for Code Vectorisation
  • Malak Aljabri, Phil Trinder and Hans-Wolfgang Loidl: The Design of a GUMSMP: a Multilevel Parallel Haskell Implementation
  • John T. O’Donnell: Specification of Extensible Sparse Functional Arrays

• 12.40 - 14.00 Lunch

• 14.00 - 15.40 SESSION 3 : Session Chair: Peter Thiemann (University of Freiburg)
  • Bob van der Linden, Steffen Michels and Rinus Plasmeijer: Data Change Notifications for Cooperative Web Applications
  • Atze Dijkstra, Jurriën Stutterheim, Alessandro Vermeulen and Doaitse Swierstra: Building JavaScript Applications with Haskell
  • Edward Amsden: Push-Pull Signal-Function Functional Reactive Programming
  • Kathryn E Gray: Parameterized Parsers

• 15.40 - 16.00 Tea Break

• 16.00 - 17.40 SESSION 4 : Session Chair: Nicolas Wu (University of Oxford)
  • Pieter Koopman and Rinus Plasmeijer: Skew Generic Test Data Generation
  • Jason S. Reich, Matthew Naylor and Colin Runciman: Advances in Lazy SmallCheck: Efficient testing of higher-order properties with mixed quantification
  • David Wakeling: Functional Proxy Programming or Tinker Tailor Soldier Spy
  • Gene Sher: The Quintessential Neural Network Programming Language

• 18.00 - BBQ

Friday, 31 August 2012

• 9.00 - 10.00 SESSION 5 : Session Chair: Ralf Hinze (University of Oxford)
  • Invited Talk, Fritz Henglein: Have your cake and eat it, too: Generic sorting and partitioning in linear time and fully abstractly-simultaneously

• 10.00 - 10.20 Tea Break

• 10.20 - 12.00 SESSION 6 : Session Chair: Tom Schrijvers (Ghent University)
  • Thomas Harper: Fusion in the Utrecht Haskell Compiler: Extended Abstract
  • Xavier Clerc: OCaml-Java: from OCaml sources to Java bytecodes
  • Neil Sculthorpe, Andrew Farmer and Andy Gill: The HERMIT in the Tree
  • José Pedro Magalhães: Optimisation of Generic Programs through Inlining

• 12.00 - 13.20 Lunch early lunch

• 13.20 - 15.00 SESSION 7 : Session Chair: Wouter Swierstra (University of Utrecht)
  • Ki Yung Ahn, Tim Sheard, Marcelo Fiore and Andrew M. Pitts: The Nax Programming language (work in progress)
  • Jeroen Weijers, Jurriaan Hage and Stefan Holdermans: Security Type Error Diagnosis
  • Matthew Fluet: A Type- and Control-Flow Analysis for System F
  • Ken Madlener and Sjaak Smetsers: Verified and Executable Semantics in Coq

• 15.00 - Social event

Saturday, 1 September 2012

• 9.00 - 10.40 SESSION 8 : Session Chair: Jeremy Gibbons (University of Oxford)
  • Cezar Ionescu and P. Jansson: Dependently-typed Programming in Scientific Computing
  • Paul van der Walt and Wouter Swierstra: Applications of Reflection in Agda
  • Peter Thiemann and Manuel Chakravarty: Agda Meets Accelerate
  • Olivier Danvy and Moe Masuko: On Binomial Expansions in Moessner’s Theorem

• 10.40 - 11.00 Tea Break

• 11.00 - 12.40 SESSION 9 : Session Chair: Stephan Herhut (Intel Labs)
  • Martin Pluemicke: Functional implementation of well-typings in Java_λ
  • Fangyong Tang and Clemens Grelck: User-Defined Shape Constraints in SAC
  • Marco Polo Perez and Colin Runciman: Tyre-Check-I: Low-level Type Inference for Reduceron Code Safety
  • Kanae Tsushima and Kenichi Asai: An Embedded Type Debugger

• 12.40 - 14.00 Lunch

• 14.00 - 15.40 SESSION 10 : Session Chair: Pablo Nogueira (Technical University of Madrid)
  • Natalia Chechina, Phil Trinder, Amir Ghaffari, Rickard Green, Kenneth Lundin and Robert Virding: The Design of Scalable Distributed Erlang
  • Lesley Wevers, Marieke Huisman and Ander de Keijzer: A Concurrent Persistent Functional Language, Towards Practical Functional Databases
  • Melinda Tóth and István Bozó: Detecting Process Relationships in Erlang Programs
  • Archibald Elliott, Christopher Brown, Marco Danelutto and Kevin Hammond: Skel: A Streaming Process-based Skeleton Library for Erlang

• 15.40 - 16.00 Tea Break

• 16.00 - 17.40 SESSION 11 : Session Chair: Rinus Plasmeijer (Radboud University Nijmegen)
  • Nicolas Wu, José Pedro Magalhães, Jeroen Bransen and Wouter Swierstra: Pure and Lazy Lambda Mining
  • Richard Senington and David Duke: Decomposing Metaheuristic Operations
  • Tom Schrijvers and Bruno Oliveira: Rational Term Equality, Functionally
  • Good-bye