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
Organizing Committee
Steering Committee
Research Papers
Program Committee
Research Artifacts
Artifact Evaluation Committee
Student Research Competition
Selection Committee
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
Additional information
There is no additional information of this room available.
Program
Detailed Table
Session Timeline
Detailed Timeline
Program Display Configuration
Time Zone
The program is currently displayed in
(GMT) Greenwich Mean Time : Belfast
.
Use conference time zone: (GMT) 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-07: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-03: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-01:00) Azores
(UTC) Coordinated Universal Time
(GMT) Greenwich Mean Time : Belfast
(GMT) Greenwich Mean Time : Dublin
(GMT) Greenwich Mean Time : Lisbon
(GMT) Greenwich Mean Time : London
(GMT) Monrovia, Reykjavik
(GMT+01:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
(GMT+01:00) Belgrade, Bratislava, Budapest, Ljubljana, Prague
(GMT+01:00) Brussels, Copenhagen, Madrid, Paris
(GMT+01:00) West Central Africa
(GMT+02:00) Windhoek
(GMT+02:00) Beirut
(GMT+02:00) Cairo
(GMT+02:00) Gaza
(GMT+02:00) Harare, Pretoria
(GMT+02:00) Jerusalem
(GMT+03:00) Minsk
(GMT+02:00) Syria
(GMT+03:00) Moscow, St. Petersburg, Volgograd
(GMT+03:00) Nairobi
(GMT+03: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+10:30) Adelaide
(GMT+09:30) Darwin
(GMT+10:00) Brisbane
(GMT+11:00) Hobart
(GMT+10:00) Vladivostok
(GMT+11:00) 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+13:00) Auckland, Wellington
(GMT+12:00) Fiji, Kamchatka, Marshall Is.
(GMT+13:45) Chatham Islands
(GMT+13:00) Nuku'alofa
(GMT+14:00) Kiritimati
The GMT offsets shown here reflect the offsets
at this moment
. These offsets update automatically in case there is a change in daylight saving time.
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 - 09:10
Day opening
Welcome
Scheme
09:10 - 10:10: Session 1
Scheme
at
L4
09:10 - 10:10
Talk
Keynote
Scheme
Sam Tobin-Hochstadt
Indiana University
10:30 - 11:30: Session 2
Scheme
at
L4
10:30 - 11:15
Talk
Paper: Scalar and Tensor Parameters for Importing Tensor Index Notation including Einstein Summation Notation
Scheme
Satoshi Egi
Rakuten Institute of Technology
11:15 - 11:30
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 - 12:30
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 - 14:45
Talk
Paper: Toward Parallelizing Control-flow Analysis with Datalog
Scheme
Thomas Gilray
University of Utah, USA
,
Sidharth Kumar
14:45 - 15:00
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 - 16:15
Talk
Report: Status of the ongoing R7RS standardization process
Scheme
Alaric Snell-Pym
16:15 - 16:30
Talk
Lightning: {lambda talk}
Scheme
Alain Marty
16:50 - 17:50: Session 6
Scheme
at
L4
16:50 - 17:40
Talk
Invited Talk
Scheme
Matthew Might
University of Utah, USA
17:40 - 17:50
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 - 09:10
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 - 10:10
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 - 11:00
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 - 11:30
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 - 12:30
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 - 14:30
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 - 15:00
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 - 15:59
Demonstration
Futhark Demo
FHPC
Troels Henriksen
DIKU, University of Copenhagen
16:00 - 16:29
Demonstration
ParaFormance Demo: Democratizing Parallel Software Development
FHPC
Christopher Brown
University of St. Andrews, UK
,
Kevin Hammond
University of St. Andrews, UK
16:30 - 16:50
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 - 17:20
Demonstration
Ziria Demo: Wringing performance from high-level code
FHPC
Siddhanathan Shanmugam
Drexel University, USA
,
Geoffrey Mainland
Drexel University, USA
17:20 - 17:50
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 - 09:10
Day opening
Opening & Welcome
Erlang
09:10 - 10:00: Keynote Invited Talk
Erlang
at
L4
09:10 - 10:00
Talk
Keynote
Erlang
Martin Sumner
10:30 - 11:20: Session 2
Erlang
at
L4
10:30 - 10:55
Talk
Construction and Formal Verification of a Fault-Tolerant Distributed Mutual Exclusion Algorithm
Erlang
Evgeniy Shishkin
JSC "InfoTeCS"
DOI
File Attached
10:55 - 11:20
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 - 12:25
Talk
Erlang and Elixir development news
Erlang
14:00 - 14:50: Session 4
Erlang
at
L4
14:00 - 14:25
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 - 14:50
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 - 15:55
Talk
The Shared-Memory Interferences of Erlang/OTP Built-ins
Erlang
Stavros Aronis
Uppsala University
,
Konstantinos (Kostis) Sagonas
15:55 - 16:20
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 - 17:20
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 - 17:50
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
Sat 31 Oct 02:55