Accepted projects for 2017
Posted on May 24, 2017 by Niki Vazou & Jasper Van der Jeugt (permalink)
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.
Safe streaming with linear types
Student: Edvard Hübinette
Mentor: Arnaud Spiwack
Bringing Sanity to the GHC Performance Test-Suite
Student: Jared Weakly
Mentor: Ben Gamari
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
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:
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.