Latest Blogs

Attending ICFP as an Undergraduate StudentMon 9 Oct 2017

My name is Marilyn and I am a third year undergraduate student at Tufts University in Massachusetts, USA. I began doing functional programming research on Haskell optimizers over the summer and decided to attend ICFP at the end of the summer. This was my first academic conference experience and …

Testing Functional ProgramsSun 8 Oct 2017

It is well known that testing is an important part of the process of software engineering. Functional programs should be no exception. However functional programs are special in that often they can be totally described equationally. This is the fundamental idea behind QuickCheck, a tool that …

A good place to know unexpected research resultsFri 6 Oct 2017

I am Zirun Zhu, a PhD student at Sokendai (The Graduate University for Advanced Studies) doing research on bidirectional transformations (BXs for short). It was my pleasure to serve as a student volunteer for ICFP, and got a free ticket to all the events there.

Informal workshop on numerical programming in HaskellSun 1 Oct 2017

I am Adam Ścibior, a third year PhD student at University of Cambridge and Max Planck Institute for Intelligent Systems. This post is about a last minute informal workshop on numerical programming and data science that was held at ICFP this year.

The workshop was put together by Dominic …

Improving STM Performance with Transactional StructsFri 29 Sep 2017

I am Michael Walker, a Ph.D student at the University of York working on concurrency testing. This post is about a talk from the Haskell Symposium this year, [Improving STM Performance with Transactional …

ICFP 2017Tue 19 Sep 2017

The 22nd ACM SIGPLAN International Conference on Functional Programming (ICFP 2017) took place in the Mathematical Institute in Oxford from 3rd to 9th September 2017, chaired by Jeremy Gibbons and colocated with [_Formal Structures for Computation and …

A student trying to make themselves at homeTue 19 Sep 2017

Attending a conference as a student can be challenging, especially if they have not attended lots of them. It took me a number of conferences and workshops (I appreciate these opportunities) to start feeling at home in these events. I am Koko Muroya, a …

Using Slack at ICFP 2017Tue 19 Sep 2017

Talks at ICFP 2017 were livestreamed. In order to allow remote participants also to ask questions, we set up a Slack workspace for the conference. This note records some of my experience with doing so, and some lessons learned. I’m grateful for help from [Lindsey …

A Blog by Simon ArchipoffFri 15 Sep 2017

Hi,

I am Simon Archipoff, I am a PhD student at Université de Bordeaux, in computer science.

I wanted to attend to ICFP and several co-located workshop because I have a old and deep interest in functional programming.

I’ll try now to express a feeling that explain my interest.

Human …

filter(JustinPombrio, ICFP)Sat 9 Sep 2017

Shameless Plug

First, an advertisement. I’m graduating in a year, and want to either start as a postdoc or join industry, ideally in or near the US Northeast.

My primary research area is in syntactic sugar. But I have also done (or supervised) research in JavaScript semantics, …

Log-time Sampling and Updating for Discrete DistributionsSat 9 Sep 2017

I am Michael Walker, a Ph.D student at the University of York working on concurrency testing. This post is about one of my favourite talks from the Haskell Symposium this year, Ode on a Random Urn, a …

Social events with the ICFP communityFri 8 Sep 2017

ICFP 2017 has multiple social events, which established a potent community spirit at the conference. The two, which are more strongly associated with the main ICFP conference, are the welcome reception, held on the first evening of the main conference, and the banquet, held on the last. …

No Country for Polymaths*Thu 7 Sep 2017

Look at this picture for a moment, remember how you feel and what you think. Later, I will tell you more about it.

hue

“Jules Henri Poincaré**, 29 April 1854 – 17 July 1912) was a French mathematician, theoretical physicist, engineer, and philosopher of …

Artificial Intelligence at ICFPThu 7 Sep 2017

I am Adam Ścibior, a third year PhD student at University of Cambridge and Max Planck Institute for Intelligent Systems. I work on probabilistic programming, which puts me at the intersection of the fields of Machine Learning and Programming Languages. I was therefore delighted to see that …

Giving a talk at HOPEWed 6 Sep 2017

I am Youyou Cong, a second-year PhD student at Ochanomizu University in Tokyo, Japan.

I gave a talk at the HOPE workshop, which was held before the main conference. The talk was about my recent collaborative work on natural language semantics. …

Sometimes people behave badlyMon 4 Sep 2017

Yesterday, Sunday September 3rd, was the first day of workshops around ICFP – the first day of the conference week – and I noticed something strange: someone is using the conference notepads to leave small insulting notes about a specific university they hate.

The anonymous note says, …

Why am I going to ICFP 2017? (1/2)Sat 2 Sep 2017

I am William J. Bowman, a sixth year Ph.D. student at Northeastern University. I am once more attending, contributing to, and volunteering at ICFP. But why do I do that?

As I prepare for ICFP 2017, I asked my self “why do I go to ICFP?”. I found the question …

CafesMon 28 Aug 2017

Here are some suggestions for cafes around the venue and colleges, both for breakfasts (in case you’re staying somewhere without breakfast) and for lunches (in case you want to avoid the crowds at the venue). Many of the restaurants