posted by organizer: jberthold || 2125 views || tracked by 5 users: [display]

HIW 2014 : Haskell Implementors' Workshop 2014


When Sep 6, 2014 - Sep 6, 2014
Where Gothenburg, Sweden
Submission Deadline Jul 14, 2014
Notification Due Jul 21, 2014
Final Version Due Sep 6, 2014
Categories    programming languages   programming

Call For Papers

Call for Contributions
ACM SIGPLAN Haskell Implementors' Workshop
Gothenburg, Sweden, 06 September, 2014

Co-located with ICFP 2014

Important dates
Proposal Deadline: Monday, 14 July, 2014 (midnight, anywhere on earth)
Notification: 21 July 2014
Workshop: Saturday, 6 September 2014

The 6th Haskell Implementors' Workshop is to be held alongside ICFP
2014 this year in Gothenburg. It is a forum for people involved in the
design and development of Haskell implementations, tools, libraries,
and supporting infrastructure, to share their work and discuss future
directions and collaborations with others.

Talks and/or demos are proposed by submitting an abstract, and
selected by a small program committee. There will be no published
proceedings; the workshop will be informal and interactive, with a
flexible timetable and plenty of room for ad-hoc discussion, demos,
and impromptu short talks.

Attendance figures clearly reflect the growth of the Haskell user
community and a constant interest in implementation aspects.

Scope and target audience

It is important to distinguish the Haskell Implementors' Workshop from
the Haskell Symposium which is also co-located with ICFP 2014. The
Haskell Symposium is for the publication of Haskell-related research. In
contrast, the Haskell Implementors' Workshop will have no proceedings --
although we will aim to make talk videos, slides and presented data
available with the consent of the speakers.

In the Haskell Implementors' Workshop, we hope to study the underlying
technology. We want to bring together anyone interested in the
nitty-gritty details behind turning plain-text source code into a
deployed product. Having said that, members of the wider Haskell
community are more than welcome to attend the workshop -- we need your
feedback to keep the Haskell ecosystem thriving.

The scope covers any of the following topics. There may be some topics
that people feel we've missed, so by all means submit a proposal even if
it doesn't fit exactly into one of these buckets:

* Compilation techniques
* Language features and extensions
* Type system implementation
* Concurrency and parallelism: language design and implementation
* Performance, optimisation and benchmarking
* Virtual machines and run-time systems
* Libraries and tools for development or deployment


At this stage we would like to invite proposals from potential speakers
for talks and demonstrations. We are aiming for 20 minute talks with 10
minutes for questions and changeovers. We want to hear from people
writing compilers, tools, or libraries, people with cool ideas for
directions in which we should take the platform, proposals for new
features to be implemented, and half-baked crazy ideas. Please submit a
talk title and abstract of no more than 300 words.

Submissions should be made via EasyChair. The website is:

If you don't have an account you can create one here:

Because the submission is an abstract only, please click the "abstract
only" button when you make your submission. There is no need to
attach a separate file.

We will also have a lightning talks session which will be organised on
the day. These talks will be 5-10 minutes, depending on available time.
Suggested topics for lightning talks are to present a single idea, a
work-in-progress project, a problem to intrigue and perplex Haskell
implementors, or simply to ask for feedback and collaborators.


* Jost Berthold (co-chair) (University of Copenhagen)
* Kevin Hammond (University of St.Andrews)
* Gabriele Keller (University of New South Wales)
* Paul Liu (Intel Labs)
* Rita Loogen (Philipps-Universitat Marburg)
* Geoffrey Mainland (co-chair) (Drexel University, Philadelphia)
* Carter Schonwald (WellPosed Ltd)


* Jost Berthold (berthold at
* Geoffrey Mainland (mainland at

Related Resources

JMIER 2019   Rapid Publication & Free - Journal of Mechanical and Industrial Engineering Research
SEFM 2018   The 16th International Conference on Software Engineering and Formal Methods
LCTES 2018   Languages, Compilers, and Tools for Embedded Systems
PRL-IIDFB 2019   PRL SI on Intelligent Industrial Digital Forensics and Biocybernetics: Practices and Challenges
UNIF 2018   32nd International Workshop on Unification
DISP 2018   Special Issue on Data Intelligence in Security and Privacy, Journal of Information Security and Applications
ManLang 2018   15th International Conference on Managed Languages & Runtimes
PHPKONF 2018   PHPKonf Istanbul PHP Conference 2018