Home >>
ICFP 2017
Sun 3 - Sat 9 September 2017 Oxford, United Kingdom
Anyone with an active role within the website of ICFP 2017 (e.g. authors, committee members) can start a blog. Want to write a blog but don't have an active role on the website yet? Please ask one of the organizers or use the contact form to request post privileges. Note that you need to be logged in, in order to post a blog.

Attending my first conferenceMon 30 Oct 2017

I am Steven Cheung, a PhD student at the University of Birmingham, researching on the semantics of data-flow languages using Geometry of Interaction style machines. This post is about my own experience in the ICFP as a student volunteer.

This is my first …

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

St Giles' FairWed 17 May 2017

St Giles’ Fair is traditionally held in Oxford on the Monday and Tuesday following the first Sunday after St Giles’ Day, which is 1st September; in 2017, it will be on Monday 3rd and Tuesday …

SightseeingWed 17 May 2017

The main Tourist Information Office is on Broad Street in the centre of town; you can get maps and tickets here, and there is also a bureau de change with good exchange rates. There is a hop-on, hop-off [open-top bus …

Walking, running, puntingWed 17 May 2017

There is a number of nice places around Oxford to go for a walk or a run, in case you want some fresh air.

My favourite running route is round the University Parks. The perimeter is a bit over 2km. There are two entrances on the west side on Parks Road, one on …

Pubs and barsWed 17 May 2017

The Royal Oak, just across the road from the venue, is very good. But it’s not very big, so if you all go there it will be a very tight squeeze. I suggest instead that you spread yourselves out among the following hostelries.

Near the venue

  • [The Royal …

RestaurantsWed 17 May 2017

This is a list of restaurant recommendations, either on account of convenience or of quality (and many of both!). Those I have personally enjoyed are indicated with an asterisk. There are almost no nearby restaurants that I would specifically recommend avoiding; so the unasterisked restaurants …

ICFP 2017 local informationWed 17 May 2017

Welcome to ICFP in Oxford!

The most important information about the conference is available through the menus on the conference website. In this series of blog posts you will find additional information—about: