![]() |
Haskell Symposium 2015Vancouver, Canada, 3 – 4 September 2015 (directly after ICFP) |
![]() |
9:00 | Welcome |
Type Checking (chair: Garrett Morris) | |
9:10 | Improving Haskell Types with SMT |
Iavor S. Diatchki | |
9:35 | A Typechecker Plugin for Units of Measure |
Adam Gundry | |
10:00 | Break |
Verification (chair: Richard Eisenberg) | |
10:30 | Reasoning with the HERMIT: Tool Support for Equational Reasoning on GHC Core Programs |
Andrew Farmer, Neil Sculthorpe and Andy Gill | |
10:55 | Formally Proving a Compiler Transformation Safe |
Joachim Breitner | |
11:20 | Break |
Graphics and Distribution (chair: Oleg Kiselyov) | |
11:40 | Bridging the GUI Gap with Reactive Values and Relations |
Ivan Perez and Henrik Nilsson | |
12:05 | The Remote Monad Design Pattern |
Andy Gill, Neil Sculthorpe, Justin Dawson, Aleksander Eskilson, Andrew Farmer, Mark Grebe, Jeffrey Rosenbluth, Ryan Scott and James Stanton | |
12:30 | Lunch |
Generics (chair: Atze Dijkstra) | |
14:00 | Variations on Variants |
J. Garrett Morris | |
14:25 | Modular Reifiable Matching: A List-of-Functors Approach to Two-Level Types |
Bruno C. d. S. Oliveira, Shin-Cheng Mu and Shu-Hung You | |
14:50 | Break |
Monads and Comonads (chair: Edward Kmett) | |
15:10 | Injective Type Families for Haskell (schedule changed) |
Jan Stolarek, Simon Peyton Jones and Richard A. Eisenberg | |
15:35 | Functional Pearl: Getting a Quick Fix on Comonads |
Kenneth Foner | |
16:00 | Break |
Lightning Talks | |
16:30 | Lightning Talks schedule |
Type Classes (chair: Ben Lippmeier) | |
9:10 | Freer Monads, More Extensible Effects (schedule changed) |
Oleg Kiselyov and Hiromi Ishii | |
9:35 | Type Families with Class, Type Classes with Family |
Alejandro Serrano, Jurriaan Hage and Patrick Bahr | |
10:00 | Break |
Concurrency and Parallelism (chair: Tom DuBuisson) | |
10:30 | Deja Fu: A Concurrency Testing Library for Haskell |
Michael Walker and Colin Runciman | |
10:55 | Improving Implicit Parallelism |
José Manuel Calderón Trilla and Colin Runciman | |
11:20 | Break |
Report and Future of Haskell Discussion (chair: Geoff Mainland) | |
11:40 | PC Chair Report and Future of Haskell Discussion |
12:30 | Lunch |
Probabilistic and Linear Programming (chair: Chung-chieh Shan) | |
14:00 | Practical probabilistic programming with monads |
Adam Ścibior, Zoubin Ghahramani and Andrew D. Gordon | |
14:25 | Embedding a Full Linear Lambda Calculus in Haskell |
Jeff Polakow | |
14:50 | Break |
Code Generation (chair: Paul Liu) | |
15:10 | Guilt Free Ivory |
Trevor Elliott, Lee Pike, Simon Winwood, Pat Hickey, James Bielman, Jamey Sharp, Eric Seidel and John Launchbury | |
15:35 | Type-safe Runtime Code Generation: Accelerate to LLVM |
Trevor L. McDonell, Manuel M. T. Chakravarty, Vinod Grover and Ryan R. Newton | |
16:00 | Close |
The ACM
SIGPLAN
Haskell
Symposium 2015 will be co-located with the
2015
International Conference on Functional Programming (ICFP),
in Vancouver, Canada.
The Haskell Symposium 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:
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.
Early Track | Regular Track | System Demos | |
13th March | Paper Submission | ||
1st May | Notification | ||
19th May | ⋮ | Abstract Submission | |
22nd May | ⋮ | Paper Submission | |
5th June | Resubmission | ⋮ | Demo Submission |
26th June | Notification | Notification | Notification |
19th July | Final papers due | Final papers due |
In this iteration of the Haskell Symposium we are trialling a two-track submission process, so that some papers can gain early feedback. Papers can be submitted to the early track on 13th March. On 1st May, strong papers are accepted outright, and the others will be given their reviews and invited to resubmit. On 5th 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.
Mathieu Boespflug | Tweag I/O | (France) |
Edwin Brady | University of St Andrews | (UK) |
Atze Dijkstra | Utrecht University | (Netherlands) |
Tom DuBuisson | Galois | (USA) |
Torsten Grust | Universität Tübingen | (Germany) |
Patrik Jansson | Chalmers University of Technology | (Sweden) |
Patricia Johann | Appalachian State University | (USA) |
Oleg Kiselyov | Tohoku University | (Japan) |
Edward Kmett | McGraw Hill Financial | (USA) |
Neelakantan Krishnaswami | University of Birmingham | (UK) |
Ben Lippmeier (chair) | Vertigo Technology | (Australia) |
Hai (Paul) Liu | Intel Labs | (USA) |
Garrett Morris | University of Edinburgh | (UK) |
Dominic Orchard | Imperial College London | (UK) |
Matt Roberts | Macquarie University | (Australia) |
Tim Sheard | Portland State University | (USA) |
Joel Svensson | Indiana University | (USA) |
Edsko de Vries | Well-Typed | (Ireland) |