Haskell logo

Haskell Symposium 2016

Nara, Japan, 22–23 September 2016 (directly after ICFP)
ACM logo

Thursday 22nd September

9:15 Welcome
Testing (chair: Stephanie Weirich)
9:25 FitSpec: Refining Property Sets for Functional Testing Rudy Braquehais and Colin Runciman
9:50 QuickFuzz: An Automatic Random Fuzzer for Common File Formats Gustavo Grieco, Martín Ceresa, and Pablo Buiras
10:15 Break
FRP (chair: David Terei)
10:35 Causal Commutative Arrows Revisited Jeremy Yallop and Hai Liu
11:00 Functional Reactive Programming, Refactored Ivan Perez, Manuel Bärenz, and Henrik Nilsson
11:25 Break
Functors (chair: Zhenjiang Hu)
11:45 Free Delivery (Functional Pearl) Jeremy Gibbons
12:10 How to Twist Pointers without Breaking Them Satvik Chauhan, Piyush P. Kurur, and Brent A. Yorgey
12:35 Lunch
Web Technology (chair: Iavor Diatchki)
14:00 High-Performance Client-Side Web Applications through Haskell EDSLs Anton Ekblad
14:25 Experience Report: Developing High Performance HTTP/2 Server in Haskell Kazuhiko Yamamoto
14:50 Break
Language Features (char: Niki Vazou)
15:20 Pattern Synonyms Matthew Pickering, Gergő Érdi, Simon Peyton Jones, and Richard A. Eisenberg
15:45 Desugaring Haskell's do-Notation into Applicative Operations Simon Marlow, Simon Peyton Jones, Edward Kmett, and Andrey Mokhov
16:10 Break
Lightning Talks (chair: Geoffrey Mainland)
16:40 Lightning Talks
Luite Stegeman What we can learn from JavaScript
Phil Trinder A new Haskell MOOC
Jacob Stanley Shrinking for Free
John Launchbury Formally-generated Control Code
Michal Gajda Homplexity: Evaluating Haskell Code Complexity
Luke Maurer Make unfold great again
Alejandro Russo Secure functors
Rudy Braquehais Writing a property-based testing library
Wouter Swierstra

Friday 23rd September

Strictness and STM (chair: Richard Eisenberg)
9:25 Revisiting Software Transactional Memory in Haskell Matthew Le, Ryan Yates, and Matthew Fluet
9:50 Autobahn: Using Genetic Algorithms to Infer Strictness Annotations Yisu Remy Wang, Diogenes Nunez, and Kathleen Fisher
10:15 Break
Types (chair: David Duke)
10:35 Experience Report: Types for a Relational Algebra Library Lennart Augustsson and Mårten Ågren
11:00 Embedding Session Types in Haskell Sam Lindley and J. Garrett Morris
11:25 Break
PC Chair Report and State of Haskell
11:45 PC Chair Report and State of Haskell
12:35 Lunch
Monads (chair: Yukiyoshi Kameyama)
14:00 The Key Monad: Type-Safe Unconstrained Dynamic Typing Atze van der Ploeg, Koen Claessen, and Pablo Buiras
14:25 Supermonads: One Notion to Bind Them All Jan Bracker and Henrik Nilsson
14:50 Break
Abstractions that Scale (chair: Geoffrey Mainland)
15:20 Non-recursive Make Considered Harmful: Build Systems at Scale Andrey Mokhov, Neil Mitchell, Simon Peyton Jones, and Simon Marlow
15:45 Lazy Graph Processing in Haskell Philip Dexter, Yu David Liu, and Kenneth Chiu
16:10 Closing


The ACM SIGPLAN Haskell Symposium 2016 will be co-located with the 2016 International Conference on Functional Programming (ICFP), in Nara, Japan.

The Haskell Symposiqum aims to present original research on Haskell, discuss practical experience and future development of the language, and to promote other forms of denotative programming.

Topics of interest include:

Papers in the latter three categories need not necessarily report original academic research results. For example, they may instead report reusable programming idioms, elegant ways to approach a problem, or practical experience that will be useful to other users, implementors, or researchers. The key criterion for such a paper is that it makes a contribution from which other Haskellers can benefit. It is not enough simply to describe a standard solution to a standard programming problem, or report on experience where you used Haskell in the standard way and achieved the result you were expecting. More advice is available via the Haskell wiki.

Regular papers should explain their research contributions in both general and technical terms, identifying what has been accomplished, explaining why it is significant, and relating it to previous work, and to other languages where appropriate.

In addition, we solicit proposals for:

These proposals should summarize the system capabilities that would be demonstrated. The proposals will be judged on whether the ensuing session is likely to be important and interesting to the Haskell community at large, whether on grounds academic or industrial, theoretical or practical, technical, social or artistic. Please contact the program chair with any questions about the relevance of a proposal.

Travel Support

Student attendees with accepted papers can apply for a SIGPLAN PAC grant to help cover travel expenses. PAC also offers other support, such as for child-care expenses during the meeting or for travel costs for companions of SIGPLAN members with physical disabilities, as well as for travel from locations outside of North America and Europe.


Accepted papers will be included in the ACM Digital Library. Authors must grant ACM publication rights upon acceptance. Authors are encouraged to publish auxiliary material with their paper (source code, test data, etc.); they retain copyright of auxiliary material.

Accepted proposals for system demonstrations will be posted on the symposium website but not formally published in the proceedings.

All accepted papers and proposals will be posted on the conference website one week before the meeting.

Publication date: The official publication date of accepted papers is the date the proceedings are made available in the ACM Digital Library. This date may be up to two weeks prior to the first day of the conference. The official publication date affects the deadline for any patent filings related to published work.

Submission Details

Submitted papers should be in portable document format (PDF), formatted using the ACM SIGPLAN style guidelines. The text should be in a 9-point font in two columns. The length is restricted to 12 pages, except for "Experience Report" papers, which are restricted to 6 pages. Papers need not fill the page limit—for example, a Functional Pearl may be much shorter than 12 pages. Each paper submission must adhere to SIGPLAN's republication policy.

Demo proposals are limited to 2-page abstracts, in the same ACM format as papers.

"Functional Pearls", "Experience Reports", and "Demo Proposals" should be marked as such with those words in the title at time of submission.

The paper submission deadline and length limitations are firm. There will be no extensions, and papers violating the length limitations will be summarily rejected.

Papers may be submitted at https://icfp-haskell2016.hotcrp.com/.

Submission Timetable

Early Track Regular Track System Demos
1st April   Paper Submission
20th May Notification
6th June  Abstract Submission 
10th June Paper Submission
17th June Resubmission Demo Submission
12th July Notification Notification Notification
31st July Camera ready due Camera ready due

Deadlines stated are valid anywhere on earth.

The Haskell Symposium uses a two-track submission process so that some papers can gain early feedback. Papers can be submitted to the early track on 1st April. On 20th May, strong papers are accepted outright, and the others will be given their reviews and invited to resubmit. On 17th June, early track papers may be resubmitted and are sent back to the same reviewers. The Haskell Symposium regular track operates as in previous years. Papers accepted via the early and regular tracks are considered of equal value and will not be distinguished in the proceedings.

Although all papers may be submitted to the early track, authors of functional pearls and experience reports are particularly encouraged to use this mechanism. The success of these papers depends heavily on the way they are presented, and submitting early will give the program committee a chance to provide feedback and help draw out the key ideas.

Program Committee

James Cheney University of Edinburgh (UK)
Iavor Diatchki Galois (USA)
David Duke University of Leeds (UK)
Richard Eisenberg Bryn Mawr College (USA)
Andy Gill University of Kansas (USA)
Zhenjiang Hu National Institute of Informatics (Japan)
Ranjit Jhala UC San Diego (USA)
Yukiyoshi Kameyama University of Tsukuba (Japan)
Ken Friis Larsen University of Copenhagen (Denmark)
Geoffrey Mainland (chair) Drexel University (USA)
Mary Sheeran Chalmers University of Technology (Sweden)
David Terei Stanford (USA)
Niki Vazou UC San Diego (USA)
Dimitrios Vytiniotis Microsoft Research (USA)

More Information