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

1. Safe streaming with linear types
   Student: Edvard Hübinette
   Mentor: Arnaud Spiwack
   Blog: https://m0ar.github.io/safe-streaming/

2. Bringing Sanity to the GHC Performance Test-Suite
   Student: Jared Weakly
   Mentor: Ben Gamari
   Blog: https://jaredweakly.com/blog/category/blog/

3. Haskell IDE Engine
   Student: Zubin Duggal
   Mentor: Alan Zimmerman

4. Last Mile for cabal new-build
   Student: Francesco Gazzetta
   Mentor: Daniel Wagner

5. Totality checking base with Liquid Haskell
   Student: Sean Leffler
   Mentor: Niki Vazou
   Co-mentor: Eric Seidel

6. Modularizing haskell-mode and improving haskell-interactive-mode
   Student: Vasantha Ganesh Kanniappan
   Mentor: Gracjan Polak

7. Haskey (an embedded key-value store modeled after LMDB)
   Student: Henri Verroken
   Mentor: Steven Keuchel
   Co-mentor: George Karachalias

8. Improve the Shake-Based Hadrian Build System for GHC
   Student: Zhen Zhang
   Mentor: Andrey Mokhov

9. GHC Performance improvements
   Student: Igor Popov
   Mentor: Jose Calderon

10. Improvement of Hackage Matrix Builder
    Student: Andika Demas Riyandi
    Mentor: Herbert Valerio Riedel

11. WebGHC (a WebAssembly backend for GHC)
    Student: Michael Vogelsang
    Mentor: Will Fancher

code.world projects

12. Better collaborative coding features for CodeWorld
    Student: Parv Mor
    Co-mentor: Michael Chavinda
    Co-mentor: Anthony Green

13. Improvements to parsing, compiling, and errors for CodeWorld
    Student: Pranjal Tale
    Primary Mentor: Kyle Butt
    Secondary Mentor: Chris Smith

14. Exporting and sharing CodeWorld projects
    Student: Venkatraman Srikanth
    Primary Mentor: Theo Belaire
    Secondary Mentor: Han Wang

15. 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

• December 8, 2024 - Summer of Haskell 2024 Results
• January 20, 2024 - Summer of Haskell 2023 Results
• May 14, 2023 - Summer of Haskell 2023 Project Selections
• February 1, 2022 - Google Summer of Code in 2022
• September 23, 2021 - Haskell.org GSoC results for 2021
• October 12, 2020 - Haskell.org GSoC results for 2020
• January 12, 2020 - Call for Ideas for 2020
• January 10, 2020 - Haskell.org GSoC results for 2019
• August 26, 2019 - Student Blog: Results for Bipartite Graphs Project
• July 26, 2019 - Student Blog: Testing Bipartiteness with Monad Transformers
• May 29, 2019 - Student Blog: Introducing Bipartite Graphs in Alga
• February 26, 2019 - Haskell.Org Participating in GSoC 2019
• December 28, 2018 - Call for Ideas for 2019
• September 1, 2018 - Haskell.org GSoC results for 2018
• April 23, 2018 - Accepted projects for 2018
• March 14, 2018 - Student Applications are now open
• December 25, 2017 - Call for Ideas for 2018
• September 15, 2017 - Final results for 2017
• August 4, 2017 - Midterm update for 2017
• May 24, 2017 - Accepted projects for 2017
• April 25, 2017 - Student Applications are now open
• April 5, 2017 - Getting ready for Summer of Haskell 2017
• February 28, 2017 - Summer of Haskell 2017 Announcement
• December 8, 2016 - Summer of Haskell 2016 Wrap-Up

An RSS feed is also available.