IFL 2014 by ifl2014

Welcome to IFL 2014

IFL 2014 will be held October 1st through 3rd at Northeastern University in Boston, Massachusetts.

Follow @IFL_2014 on Twitter for the latest news on IFL.

The invited talk for IFL 2014 will be given by Niko Matsakis of Mozilla Research

Schedule

Wednesday, Oct 1

8:50 Welcome

Session: Interfacing. Chair: Peter Achten

9:00 Anton Tayanovskyy, Simon Fowler, Loic Denuziere and Adam Granicz Reactive Web Applications with Embedded Dynamic Dataflow in F#
9:30 Andrew Gill, Aleksander Eskilson, Ryan Scott and James Stanton Blank Canvas and the remote-monad design pattern: A Foreign Function Interface to the JavaScript Canvas API
10:00 Mathieu Boespflug, Facundo Dominguez, Alexander Vershilov and Allen Brown Project H: Programming R in Haskell

10:30 Break

Session: Language Extension. Chair: Matthew Fluet

11:00 David Raymond Christiansen Type-Directed Elaboration of Quasiquotations: A High-Level Syntax for Low-Level Reflection
11:30 James Gil de Lamadrid FEDELE: A Mechanism for Exending the Syntax and Semantics for the Hybrid Functional-Object-Oriented Scripting Language FOBS
12:00 Tero Hasu and Matthew Flatt Source-to-Source Compilation in Racket: You Want it in Which Language?

12:30 Lunch

Session: Keynote. Chair: Sam Tobin-Hochstadt

1:30 Niko Matsakis, Rust: Ownership and borrowing can change the world!

2:30 Break

Session: Data Flow. Chair: Niko Matsakis

3:30 Matthew Le and Matthew Fluet Combining Shared State with Speculative Parallelism in a Functional Language
4:00 Baltasar Trancón Y Widemann and Markus Lepper Towards Execution of the Synchronous Functional Data-Flow Language Sig
4:30 Philipp Schuster and Ralf Lämmel Declaration-level Change and Dependency Analysis of Hackage Packages

Thursday, Oct 2

Session: Analysis. Chair: Sven-Bodo Schulz

9:00 Connor Adsit and Matthew Fluet An Efficient Type- and Control-Flow Analysis for System F
9:30 Neil Sculthorpe, Andrew Farmer, and Andrew Gill Making a Century in HERMIT
10:00 Clemens Grelck and Heinrich Wiesinger Selected Issues in Persistent Asynchronous Adaptive Specialization for Generic Array Programming

10:30 Break

Session: Encoding. Chair: Clemens Grelck

11:00 Connor Smith Abstract machines for higher-order term sharing
11:30 Pieter Koopman, Rinus Plasmeijer and Jan Martin Jansen Church Encoding of Data Types Considered Harmful for Implementations
12:00 Peter Kourzanov Bidirectional parsing: a functional/logic perspective

12:30 Lunch

Session: Types. Chair: Andrew Gill

1:30 Alejandro Serrano, Patrick Bahr and Jurriaan Hage Type Families and Elaboration
2:00 Arthur Azevedo de Amorim, Marco Gaboardi, Emilio Jesús Gallego Arias and Justin Hsu Really Natural Linear Indexed Type Checking
2:30 Laszlo Domoszlai, Bas Lijnse and Rinus Plasmeijer Editlets: type based client side editors for iTasks
3:00 Peter Achten, Jurriën Stutterheim, Laszlo Domoszlai and Rinus Plasmeijer Task Oriented Programming with Purely Compositional Interactive Vector Graphics

3:30 Depart for excursion and banquet

Friday, Oct 3

Session: Parallelism. Chair: Lars Bergstrom

9:00 Jose Manuel Calderon Trilla and Colin Runciman An Iterative Compiler for Implicit Parallelism
9:30 Sven-Bodo Scholz Branch and Bound in a Data Parallel Setting
10:00 Markus Aronsson, Emil Axelsson and Mary Sheeran Stream Processing for Embedded Domain Specific Languages

10:30 Break

Session: Transformation. Josef Svenningsson

11:00 Gershom Bazerman Flipping Fold, Reformulating Reduction
11:30 Laszlo Domoszlai, Bas Lijnse and Rinus Plasmeijer Parametric lenses: change notification for bidirectional lenses
12:00 Brad Torrence, Mike Stees and Andrew Gill Worker/wrapper for a Better Life

12:30 Lunch

Session: Coordination. Chair: Rinus Plasmeijer

1:30 Stuart Gordon and Sven-Bodo Scholz Dynamic resource adaptation for coordinating runtime systems
2:00 Edward Amsden, Ryan Newton and Jeremy Siek Editing Functional Programs Without Breaking Them
2:30 Olle Fredriksson, Dan Ghica and Bertram Wheen Towards a native higher-order RPC

3:00 Break

Session: Tools and Extensions. Chair: Sam Tobin-Hochstadt

3:30 Thomas Schmorleiz and Ralf Lämmel Towards Tool Support for History Annotations in Similarity Management
4:00 Michael Arntzenius Moxy: a language with monoidally extensible syntax
4:30 Steven Keuchel and Tom Schrijvers Towards efficient implementations of effect handlers

Important Dates

Submission deadline for draft papers: September 8th --- NEW DEADLINE
Notification of acceptance for presentation: September 10
Early registration deadline: September 11
Late registration deadline: September 17
Submission deadline for pre-symposium proceedings: September 24
26th IFL Symposium: October 1-3
Submission deadline for post-symposium proceedings: December 15
Notification of acceptance for post-symposium proceedings: January 31 2015
Camera-ready version for post-symposium proceedings: March 15 2015

All dates are Anywhere on Earth.

Call For Papers

Available in Plain Text and in HTML.

Scope

The goal of the IFL symposia is to bring together researchers actively engaged in the implementation and application of functional and function-based programming languages. IFL 2014 will be a venue for researchers to present and discuss new ideas and concepts, work in progress, and publication-ripe results related to the implementation and application of functional languages and function-based programming.

Following the IFL tradition, IFL 2014 will use a post-symposium review process to produce the formal proceedings. All participants of IFL 2014 are invited to submit either a draft paper or an extended abstract describing work to be presented at the symposium. At no time may work submitted to IFL be simultaneously submitted to other venues; submissions must adhere to ACM SIGPLAN's republication policy:

http://www.sigplan.org/Resources/Policies/Republication

The submissions will be screened by the program committee chair to make sure they are within the scope of IFL, and will appear in the draft proceedings distributed at the symposium. Submissions appearing in the draft proceedings are not peer-reviewed publications. Hence, publications that appear only in the draft proceedings do not count as publication for the ACM SIGPLAN republication policy. After the symposium, authors will be given the opportunity to incorporate the feedback from discussions at the symposium and will be invited to submit a revised full article for the formal review process. From the revised submissions, the program committee will select papers for the formal proceedings considering their correctness, novelty, originality, relevance, significance, and clarity.

Organizers

Sam Tobin-Hochstadt, Chair

Program Committee

Sam Tobin-Hochstadt, Indiana University
Rinus Plasmeijer, Radboud University Nijmegen
Atze Dijkstra, Utrecht University
Colin Runciman, University of York
Graham Hutton, University of Nottingham
Mary Sheeran, Chalmers University of Technology
Patricia Johann, Appalachian State University
Matthew Fluet, Rochester Institute of Technology
Josef Svenningsson, Chalmers University of Technology
Małgorzata Biernacka, University of Wroclaw
Peter Achten, Radboud Univerity Nijmegen
Laura Castro, University of A Coruña
Hai Paul Liu, Intel Labs
Kathryn Gray, Cambridge University
Lars Bergstrom, Mozilla Research
Lindsey Kuper, Indiana University
Nicolas Wu, Oxford
T. Stephen Strickland, Brown University
Xavier Clerc, INRIA