Accepted projects for 2017

Posted on May 24, 2017 by Niki Vazou & Jasper Van der Jeugt (permalink)

Hey all,

We are happy to announce the 15 projects accepted for Summer of Haskell 2017 and that the community bonding period has begun.

If there are people who would like to co-mentor a project, please let us know.

Haskell.org projects

Safe streaming with linear types

Student: Edvard Hübinette

Mentor: Arnaud Spiwack

Blog: https://m0ar.github.io/safe-streaming/ Bringing Sanity to the GHC Performance Test-Suite

Student: Jared Weakly

Mentor: Ben Gamari

Blog: https://jaredweakly.com/blog/category/blog/ Haskell IDE Engine

Student: Zubin Duggal

Mentor: Alan Zimmerman Last Mile for cabal new-build

Student: Francesco Gazzetta

Mentor: Daniel Wagner Totality checking base with Liquid Haskell

Student: Sean Leffler

Mentor: Niki Vazou

Co-mentor: Eric Seidel Modularizing haskell-mode and improving haskell-interactive-mode

Student: Vasantha Ganesh Kanniappan

Mentor: Gracjan Polak Haskey (an embedded key-value store modeled after LMDB)

Student: Henri Verroken

Mentor: Steven Keuchel

Co-mentor: George Karachalias Improve the Shake-Based Hadrian Build System for GHC

Student: Zhen Zhang

Mentor: Andrey Mokhov GHC Performance improvements

Student: Igor Popov

Mentor: Jose Calderon Improvement of Hackage Matrix Builder

Student: Andika Demas Riyandi

Mentor: Herbert Valerio Riedel WebGHC (a WebAssembly backend for GHC)

Student: Michael Vogelsang

Mentor: Will Fancher

code.world projects

Better collaborative coding features for CodeWorld

Student: Parv Mor

Co-mentor: Michael Chavinda

Co-mentor: Anthony Green Improvements to parsing, compiling, and errors for CodeWorld

Student: Pranjal Tale

Primary Mentor: Kyle Butt

Secondary Mentor: Chris Smith Exporting and sharing CodeWorld projects

Student: Venkatraman Srikanth

Primary Mentor: Theo Belaire

Secondary Mentor: Han Wang Improve editor tooling for CodeWorld

Student: Eric Roberts

Primary Mentor: Emin Karayel

Secondary Mentor: Fernando Alegre

We would like to thank all students who applied for the quality proposals. We received 68 so selecting the projects was extremely difficult. Yet, three new positions opened during selection period to accept high quality applications.

Summer of Haskell 2017 is made possible by our generous sponsors:

haskell.org kicked things off this year by funding a student and organizing the Summer of Haskell 2017 after a successful Summer of Haskell 2016.

Asahi Net is a Japanese Internet service provider that has been running stable systems for over 25 years. They are a proud sponsor of the Summer of Haskell, and contribute to the Japanese Haskell community.

Awake Networks is building a next generation network security and analytics platform. They are a proud sponsor of the Summer of Haskell and contribute broadly to the Haskell community.

CodeWorld is an educational project that blends mathematics and Haskell programming into a visual playground. Chris Smith has volunteered to fund two students to work on CodeWorld in particular.

Digital Asset provides Distributed Ledger solutions for financial institutions globally. They have developed a pure, typed, functional, domain specific language for writing contracts, called DAML. They are a proud sponsor of the Summer of Haskell and contribute broadly to the Haskell community.

Facebook uses Haskell in its anti-abuse infrastructure, and as part of that effort we open-sourced the Haxl framework which is being used at scale in production to automatically parallelise data-fetching code. We’re delighted to be able to support the Haskell community’s efforts by sponsoring a student for this year’s Summer of Haskell.

Fugue Inc. radically simplifies cloud operations with its software-defined system for dynamically orchestrating and enforcing cloud infrastructure at scale. Fugue uses Haskell in its product and is proud to sponsor a student to improve the ecosystem.

Galois applies cutting-edge computer science and applied mathematics to solve difficult technological problems, delivering practical solutions tailored to our clients’ needs. Haskell and other functional programming languages are key tools we use in providing these solutions.

IOHK is a technology company committed to using peer-to-peer technologies to provide financial services to the three billion people who don’t have them. We implement our first-principles cryptographic research in Haskell and we are committed to the development of the Haskell ecosystem.

Tweag I/O is a network of software innovation labs across Europe. We develop novel solutions and products for our clients around the world. Haskell is key to delivering fast, correct and maintainable code. We have shipped Haskell in anything from tiny web services to large high-performance compute clusters with custom hardware. We’re particularly keen to help the community grow Haskell into the strongest systems programming language and ecosystem out there. We’re very proud to sponsor a student this summer to help make it happen.

Davean has volunteered to fund a student expressly to work on the Hadrian build system for GHC. Steven Keuchel has provided funds for a student to work on Haskey.

Older posts

An RSS feed is also available.