Blogs (28) >>
ICFP 2017
Sun 3 - Sat 9 September 2017
Oxford, United Kingdom
Toggle navigation
Attending
Venue: Mathematical Institute
Accommodation
Registration
Travel to Oxford
Practical Information
Student Volunteers
Student Travel Support
Code of Conduct
Call for Sponsorship
Visa Support Letter
Program
Complete Program
Your Program
Sun 3 Sep
Mon 4 Sep
Tue 5 Sep
Wed 6 Sep
Thu 7 Sep
Fri 8 Sep
Sat 9 Sep
Tracks
ICFP 2017
Keynotes and Reports
Tutorials
Workshops
Research Papers
Research Artifacts
Student Research Competition
Social Events
Co-hosted Conferences
CUFP
FSCD
Workshops
Erlang
FARM
FHPC
HIW
HOPE
ML
OCaml
PLMW
Scheme
TyDe
Co-hosted Symposiums
Haskell
Organization
ICFP 2017 Committees
Organizing Committee
Steering Committee
Track Committees
Research Papers
Research Artifacts
Student Research Competition
Contributors
People Index
Co-hosted Conferences
CUFP
Organizing Committee
Program Committee
FSCD
Not available
Workshops
Erlang
Organizing Committee
Program Committee
FARM
Organizing Committee
Program Committee
FHPC
Organizing Committee
Program Committee
HIW
Program Committee
HOPE
Organizing Committee
Program Committee
ML
Organizing Committee
Program Committee
OCaml
Organizing Committee
Program Committee
PLMW
Organizing Committee
Scheme
Program Committee
Steering Committee
TyDe
Organizing Committee
Program Committee
Co-hosted Symposiums
Haskell
Program Committee
Search
Series
Series
ICFP 2021
ICFP 2020
ICFP 2019
ICFP 2018
ICFP 2017
ICFP 2016
Sign in
Sign up
ICFP 2017
(
series
) /
Mathematical Institute
/
Room information: L4
Venue
Mathematical Institute
Room name
L4
Floor
0
Capacity
60
Room Information
No extra information available
Program
Detailed Table
Session Timeline
Detailed Timeline
Program Display Configuration
Time Zone
The program is currently displayed in
(GMT+01:00) Greenwich Mean Time : Belfast
.
Use conference time zone: (GMT+01:00) Greenwich Mean Time : Belfast
Select other time zone
(GMT-12:00) AoE (Anywhere On Earth)
(GMT-11:00) Midway Island, Samoa
(GMT-09:00) Hawaii-Aleutian
(GMT-10:00) Hawaii
(GMT-09:30) Marquesas Islands
(GMT-09:00) Gambier Islands
(GMT-08:00) Alaska
(GMT-07:00) Tijuana, Baja California
(GMT-08:00) Pitcairn Islands
(GMT-07:00) Pacific Time (US & Canada)
(GMT-06:00) Mountain Time (US & Canada)
(GMT-06:00) Chihuahua, La Paz, Mazatlan
(GMT-07:00) Arizona
(GMT-06:00) Saskatchewan, Central America
(GMT-05:00) Guadalajara, Mexico City, Monterrey
(GMT-05:00) Easter Island
(GMT-05:00) Central Time (US & Canada)
(GMT-04:00) Eastern Time (US & Canada)
(GMT-04:00) Cuba
(GMT-05:00) Bogota, Lima, Quito, Rio Branco
(GMT-04:00) Caracas
(GMT-03:00) Santiago
(GMT-04:00) La Paz
(GMT-03:00) Faukland Islands
(GMT-04:00) Manaus, Amazonas, Brazil
(GMT-03:00) Atlantic Time (Goose Bay)
(GMT-03:00) Atlantic Time (Canada)
(GMT-02:30) Newfoundland
(GMT-03:00) UTC-3
(GMT-03:00) Montevideo
(GMT-02:00) Miquelon, St. Pierre
(GMT-02:00) Greenland
(GMT-03:00) Buenos Aires
(GMT-03:00) Brasilia, Distrito Federal, Brazil
(GMT-02:00) Mid-Atlantic
(GMT-01:00) Cape Verde Is.
(GMT) Azores
(UTC) Coordinated Universal Time
(GMT+01:00) Greenwich Mean Time : Belfast
(GMT+01:00) Greenwich Mean Time : Dublin
(GMT+01:00) Greenwich Mean Time : Lisbon
(GMT+01:00) Greenwich Mean Time : London
(GMT) Monrovia, Reykjavik
(GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
(GMT+02:00) Belgrade, Bratislava, Budapest, Ljubljana, Prague
(GMT+02:00) Brussels, Copenhagen, Madrid, Paris
(GMT+01:00) West Central Africa
(GMT+02:00) Windhoek
(GMT+03:00) Beirut
(GMT+02:00) Cairo
(GMT+03:00) Gaza
(GMT+02:00) Harare, Pretoria
(GMT+03:00) Jerusalem
(GMT+03:00) Minsk
(GMT+03:00) Syria
(GMT+03:00) Moscow, St. Petersburg, Volgograd
(GMT+03:00) Nairobi
(GMT+04:30) Tehran
(GMT+04:00) Abu Dhabi, Muscat
(GMT+04:00) Yerevan
(GMT+04:30) Kabul
(GMT+05:00) Ekaterinburg
(GMT+05:00) Tashkent
(GMT+05:30) Chennai, Kolkata, Mumbai, New Delhi
(GMT+05:45) Kathmandu
(GMT+06:00) Astana, Dhaka
(GMT+07:00) Novosibirsk
(GMT+06:30) Yangon (Rangoon)
(GMT+07:00) Bangkok, Hanoi, Jakarta
(GMT+07:00) Krasnoyarsk
(GMT+08:00) Beijing, Chongqing, Hong Kong, Urumqi
(GMT+08:00) Irkutsk, Ulaan Bataar
(GMT+08:00) Perth
(GMT+08:45) Eucla
(GMT+09:00) Osaka, Sapporo, Tokyo
(GMT+09:00) Seoul
(GMT+09:00) Yakutsk
(GMT+09:30) Adelaide
(GMT+09:30) Darwin
(GMT+10:00) Brisbane
(GMT+10:00) Hobart
(GMT+10:00) Vladivostok
(GMT+10:30) Lord Howe Island
(GMT+11:00) Solomon Is., New Caledonia
(GMT+11:00) Magadan
(GMT+11:00) Norfolk Island
(GMT+12:00) Anadyr, Kamchatka
(GMT+12:00) Auckland, Wellington
(GMT+12:00) Fiji, Kamchatka, Marshall Is.
(GMT+12:45) Chatham Islands
(GMT+13:00) Nuku'alofa
(GMT+14:00) Kiritimati
The GMT offsets shown reflect the offsets
at the moment of the conference
.
Time Band
By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.
Display full program
Specify a time band
-
Save
×
You're viewing the program in a time zone which is different from your device's time zone -
change time zone
Sun 3 Sep
Times are displayed in time zone:
Greenwich Mean Time : Belfast
change
09:00 - 09:10
Session 0
Scheme
at
L4
09:00
10m
Day opening
Welcome
Scheme
09:10 - 10:10
Session 1
Scheme
at
L4
09:10
60m
Talk
Keynote
Scheme
Sam Tobin-Hochstadt
Indiana University
10:30 - 11:30
Session 2
Scheme
at
L4
10:30
45m
Talk
Paper: Scalar and Tensor Parameters for Importing Tensor Index Notation including Einstein Summation Notation
Scheme
Satoshi Egi
Rakuten Institute of Technology
11:15
15m
Talk
Lightning Talk: Extending the LISP model from cons cells to triples, from trees to hypergraphs
Scheme
Joe Corneli
,
Raymond Puzio
12:00 - 12:30
Session 3
Scheme
at
L4
12:00
30m
Talk
Panel: Future of Scheme
Scheme
François-René Rideau
,
Marc Feeley
Université de Montréal
,
Arthur Gleckler
SRFI Editor
,
Kathy Gray
,
Alaric Snell-Pym
,
Andy Wingo
Igalia, S.L.
14:00 - 15:00
Session 4
Scheme
at
L4
14:00
45m
Talk
Paper: Toward Parallelizing Control-flow Analysis with Datalog
Scheme
Thomas Gilray
University of Utah, USA
,
Sidharth Kumar
14:45
15m
Talk
Lightning: Gerbil on Gambit, as they say Racket on Chez
Scheme
Dimitris Vyzovitis
15:30 - 16:30
Session 5
Scheme
at
L4
15:30
45m
Talk
Report: Status of the ongoing R7RS standardization process
Scheme
Alaric Snell-Pym
16:15
15m
Talk
Lightning: {lambda talk}
Scheme
Alain Marty
16:50 - 17:50
Session 6
Scheme
at
L4
16:50
50m
Talk
Invited Talk
Scheme
Matthew Might
University of Utah, USA
17:40
10m
Day closing
Goodbye
Scheme
Thu 7 Sep
Times are displayed in time zone:
Greenwich Mean Time : Belfast
change
09:00 - 09:10
Welcome to FHPC'17
FHPC
at
L4
09:00
10m
Day opening
Welcome to FHPC'17
FHPC
Phil Trinder
University of Glasgow
,
Cosmin Oancea
DIKU, University of Copenhagen
09:10 - 10:10
First Keynote
FHPC
at
L4
Chair(s):
Kevin Hammond
University of St. Andrews, UK
09:10
60m
Talk
Haskell in the Datacentre
FHPC
Simon Marlow
Facebook
10:30 - 11:30
Compilation
FHPC
at
L4
Chair(s):
Phil Trinder
University of Glasgow
10:30
30m
Talk
From High-level Radio Protocol Specifications to Efficient Low-level Implementations via Partial Evaluation
FHPC
A:
Geoffrey Mainland
Drexel University, USA
,
A:
Siddhanathan Shanmugam
Drexel University, USA
11:00
30m
Talk
Destination-Passing Style for Efficient Memory Management
FHPC
A:
Amir Shaikhha
EPFL, Switzerland
,
A:
Andrew Fitzgibbon
Microsoft Research, Cambridge
,
A:
Simon Peyton Jones
Microsoft Research, Cambridge
,
A:
Dimitrios Vytiniotis
Microsoft Research, Cambridge
12:00 - 12:30
Tools
FHPC
at
L4
Chair(s):
Cosmin Oancea
DIKU, University of Copenhagen
12:00
30m
Talk
VisPar: Visualising dataflow graphs from the Par monad
FHPC
A:
Maximilian Algehed
Chalmers University of Technology, Sweden
,
A:
Patrik Jansson
Chalmers University of Technology
14:00 - 15:00
Parallel Programming
FHPC
at
L4
Chair(s):
Geoffrey Mainland
Drexel University, USA
14:00
30m
Talk
In Search of a Map: using Program Slicing to Discover Potential Parallelism in Recursive Functions
FHPC
A:
Adam Barwell
,
A:
Kevin Hammond
University of St. Andrews, UK
14:30
30m
Talk
Strategies for Regular Segmented Reductions on GPU
FHPC
A:
Rasmus Wriedt Larsen
DIKU, University of Copenhagen
,
A:
Troels Henriksen
DIKU, University of Copenhagen
15:30 - 16:30
Demo Session
FHPC
at
L4
Chair(s):
Cosmin Oancea
DIKU, University of Copenhagen
15:30
29m
Demonstration
Futhark Demo
FHPC
Troels Henriksen
DIKU, University of Copenhagen
16:00
29m
Demonstration
ParaFormance Demo: Democratizing Parallel Software Development
FHPC
Christopher Brown
University of St. Andrews, UK
,
Kevin Hammond
University of St. Andrews, UK
16:30
20m
Social Event
Break 16:30 - 16:50: Wine and Nibbles @ North Mezzanine
FHPC
16:50 - 17:50
Demo and Panel
FHPC
at
L4
Chair(s):
Phil Trinder
University of Glasgow
16:50
30m
Demonstration
Ziria Demo: Wringing performance from high-level code
FHPC
Siddhanathan Shanmugam
Drexel University, USA
,
Geoffrey Mainland
Drexel University, USA
17:20
30m
Day closing
Panel Discussion: The challenges for Functional High Performance Computing
FHPC
Geoffrey Mainland
Drexel University, USA
,
Kevin Hammond
University of St. Andrews, UK
,
Simon Marlow
Facebook
Fri 8 Sep
Times are displayed in time zone:
Greenwich Mean Time : Belfast
change
09:00 - 09:10
Opening & Welcome
Erlang
at
L4
09:00
10m
Day opening
Opening & Welcome
Erlang
09:10 - 10:00
Keynote Invited Talk
Erlang
at
L4
09:10
50m
Talk
Keynote
Erlang
Martin Sumner
10:30 - 11:20
Session 2
Erlang
at
L4
10:30
25m
Talk
Construction and Formal Verification of a Fault-Tolerant Distributed Mutual Exclusion Algorithm
Erlang
Evgeniy Shishkin
JSC "InfoTeCS"
DOI
File Attached
10:55
25m
Talk
Towards an Isabelle/HOL Formalisation of Core Erlang
Erlang
Joseph Harrison
University of Kent
12:00 - 12:25
Session 3
Erlang
at
L4
12:00
25m
Talk
Erlang and Elixir development news
Erlang
14:00 - 14:50
Session 4
Erlang
at
L4
14:00
25m
Talk
Distributed Memory Architecture for High-Level Synthesis of Embedded Controllers from Erlang
Erlang
Kagumi Azuma
Kwansei Gakuin University
,
Nagisa Ishiura
Kwansei Gakuin University
,
Nobuaki Yoshida
ASTEM RI/KYOTO
,
Hiroyuki Kanbara
ASTEM RI/KYOTO
14:25
25m
Talk
Structuring Erlang BEAM control flow
Erlang
Dániel Lukács
Eötvös Loránd University
,
Melinda Toth
15:30 - 16:20
Session 5
Erlang
at
L4
15:30
25m
Talk
The Shared-Memory Interferences of Erlang/OTP Built-ins
Erlang
Stavros Aronis
Uppsala University
,
Konstantinos (Kostis) Sagonas
15:55
25m
Talk
Towards Change-driven Testing
Erlang
Viktória Fördős
,
István Bozó
Eötvös Loránd University
,
Melinda Toth
16:50 - 17:50
Session 6
Erlang
at
L4
16:50
30m
Talk
eAOP - An Aspect Oriented Programming Framework for Erlang
Erlang
Ian Cassar
University of Malta
,
Adrian Francalanza
University of Malta
,
Luca Aceto
Reykjavik University
,
Anna Ingolfsdottir
Reykjavik University
17:20
30m
Talk
In medias res: WIP discussion
Erlang
Sun 3 Sep
Times are displayed in time zone:
Greenwich Mean Time : Belfast
change
Room
9:00
30
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
17:00
30
L4
Scheme
Session 0
Scheme
Session 1
Scheme
Session 2
Scheme
Session 3
Scheme
Session 4
Scheme
Session 5
Scheme
Session 6
Thu 7 Sep
Times are displayed in time zone:
Greenwich Mean Time : Belfast
change
Room
9:00
30
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
17:00
30
L4
FHPC
Welcome to FHPC'17
FHPC
First Keynote
FHPC
Compilation
FHPC
Tools
FHPC
Parallel Programming
FHPC
Demo Session
FHPC
Demo and Panel
Fri 8 Sep
Times are displayed in time zone:
Greenwich Mean Time : Belfast
change
Room
9:00
30
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
17:00
30
L4
Erlang
Opening & Welcome
Erlang
Keynote Invited Talk
Erlang
Session 2
Erlang
Session 3
Erlang
Session 4
Erlang
Session 5
Erlang
Session 6
Sun 3 Sep
Times are displayed in time zone:
Greenwich Mean Time : Belfast
change
Room
9:00
15
30
45
10:00
15
30
45
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
15:00
15
30
45
16:00
15
30
45
17:00
15
30
45
L4
Scheme
Welcome
09:00 - 09:10
Scheme
Keynote
09:10 - 10:10
Scheme
Paper: Scalar and Tensor Parameters for Importing Tensor Index Notation ...
10:30 - 11:15
Scheme
Lightning Talk: Extending the LISP model from cons cells to triples, fr ...
11:15 - 11:30
Scheme
Panel: Future of Scheme
12:00 - 12:30
Scheme
Paper: Toward Parallelizing Control-flow Analysis with Datalog
14:00 - 14:45
Scheme
Lightning: Gerbil on Gambit, as they say Racket on Chez
14:45 - 15:00
Scheme
Report: Status of the ongoing R7RS standardization process
15:30 - 16:15
Scheme
Lightning: {lambda talk}
16:15 - 16:30
Scheme
Invited Talk
16:50 - 17:40
Scheme
Goodbye
17:40 - 17:50
Thu 7 Sep
Times are displayed in time zone:
Greenwich Mean Time : Belfast
change
Room
9:00
15
30
45
10:00
15
30
45
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
15:00
15
30
45
16:00
15
30
45
17:00
15
30
45
L4
FHPC
Welcome to FHPC'17
09:00 - 09:10
FHPC
Haskell in the Datacentre
09:10 - 10:10
FHPC
From High-level Radio Protocol Specifications to Efficient Low-level Im ...
10:30 - 11:00
FHPC
Destination-Passing Style for Efficient Memory Management
11:00 - 11:30
FHPC
VisPar: Visualising dataflow graphs from the Par monad
12:00 - 12:30
FHPC
In Search of a Map: using Program Slicing to Discover Potential Paralle ...
14:00 - 14:30
FHPC
Strategies for Regular Segmented Reductions on GPU
14:30 - 15:00
FHPC
Futhark Demo
15:30 - 15:59
FHPC
ParaFormance Demo: Democratizing Parallel Software Development
16:00 - 16:29
FHPC
Break 16:30 - 16:50: Wine and Nibbles @ North Mezzanine
16:30 - 16:50
FHPC
Ziria Demo: Wringing performance from high-level code
16:50 - 17:20
FHPC
Panel Discussion: The challenges for Functional High Performance Computing
17:20 - 17:50
Fri 8 Sep
Times are displayed in time zone:
Greenwich Mean Time : Belfast
change
Room
9:00
15
30
45
10:00
15
30
45
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
15:00
15
30
45
16:00
15
30
45
17:00
15
30
45
L4
Erlang
Opening & Welcome
09:00 - 09:10
Erlang
Keynote
09:10 - 10:00
Erlang
Construction and Formal Verification of a Fault-Tolerant Distributed Mu ...
10:30 - 10:55
Erlang
Towards an Isabelle/HOL Formalisation of Core Erlang
10:55 - 11:20
Erlang
Erlang and Elixir development news
12:00 - 12:25
Erlang
Distributed Memory Architecture for High-Level Synthesis of Embedded Co ...
14:00 - 14:25
Erlang
Structuring Erlang BEAM control flow
14:25 - 14:50
Erlang
The Shared-Memory Interferences of Erlang/OTP Built-ins
15:30 - 15:55
Erlang
Towards Change-driven Testing
15:55 - 16:20
Erlang
eAOP - An Aspect Oriented Programming Framework for Erlang
16:50 - 17:20
Erlang
In medias res: WIP discussion
17:20 - 17:50
x
Wed 14 Apr 16:46