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 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.
Display in different 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-06: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-04: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
Apply
Program
Detailed Table
Session Timeline
Detailed Timeline
×
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:
(GMT+01:00) Greenwich Mean Time : Belfast
change
scheme-2017
09:00 - 09:10:
Scheme 2017
- Session 0 at
L4
scheme-2017
09:00 - 09:10
Day opening
Welcome
scheme-2017
09:10 - 10:10:
Scheme 2017
- Session 1 at
L4
scheme-2017
09:10 - 10:10
Talk
Keynote
Sam Tobin-Hochstadt
Indiana University
scheme-2017
10:30 - 11:30:
Scheme 2017
- Session 2 at
L4
scheme-2017
10:30 - 11:15
Talk
Paper: Scalar and Tensor Parameters for Importing Tensor Index Notation including Einstein Summation Notation
Satoshi Egi
Rakuten Institute of Technology
scheme-2017
11:15 - 11:30
Talk
Lightning Talk: Extending the LISP model from cons cells to triples, from trees to hypergraphs
Joe Corneli
,
Raymond Puzio
scheme-2017
12:00 - 12:30:
Scheme 2017
- Session 3 at
L4
scheme-2017
12:00 - 12:30
Talk
Panel: Future of 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.
scheme-2017
14:00 - 15:00:
Scheme 2017
- Session 4 at
L4
scheme-2017
14:00 - 14:45
Talk
Paper: Toward Parallelizing Control-flow Analysis with Datalog
Thomas Gilray
University of Utah, USA
,
Sidharth Kumar
scheme-2017
14:45 - 15:00
Talk
Lightning: Gerbil on Gambit, as they say Racket on Chez
Dimitris Vyzovitis
scheme-2017
15:30 - 16:30:
Scheme 2017
- Session 5 at
L4
scheme-2017
15:30 - 16:15
Talk
Report: Status of the ongoing R7RS standardization process
Alaric Snell-Pym
scheme-2017
16:15 - 16:30
Talk
Lightning: {lambda talk}
Alain Marty
scheme-2017
16:50 - 17:50:
Scheme 2017
- Session 6 at
L4
scheme-2017
16:50 - 17:40
Talk
Invited Talk
Matthew Might
University of Utah, USA
scheme-2017
17:40 - 17:50
Day closing
Goodbye
Thu 7 Sep
Times are displayed in time zone:
(GMT+01:00) Greenwich Mean Time : Belfast
change
FHPC-2017-papers
09:00 - 09:10:
FHPC 2017
- Welcome to FHPC'17 at
L4
FHPC-2017-papers
09:00 - 09:10
Day opening
Welcome to FHPC'17
Phil Trinder
University of Glasgow
,
Cosmin Oancea
DIKU, University of Copenhagen
FHPC-2017-papers
09:10 - 10:10:
FHPC 2017
- First Keynote at
L4
Chair(s):
Kevin Hammond
University of St. Andrews, UK
FHPC-2017-papers
09:10 - 10:10
Talk
Haskell in the Datacentre
Simon Marlow
Facebook
FHPC-2017-papers
10:30 - 11:30:
FHPC 2017
- Compilation at
L4
Chair(s):
Phil Trinder
University of Glasgow
FHPC-2017-papers
10:30 - 11:00
Talk
From High-level Radio Protocol Specifications to Efficient Low-level Implementations via Partial Evaluation
Geoffrey Mainland
Drexel University, USA
,
Siddhanathan Shanmugam
Drexel University, USA
FHPC-2017-papers
11:00 - 11:30
Talk
Destination-Passing Style for Efficient Memory Management
Amir Shaikhha
EPFL, Switzerland
,
Andrew Fitzgibbon
Microsoft Research, Cambridge
,
Simon Peyton Jones
Microsoft Research, Cambridge
,
Dimitrios Vytiniotis
Microsoft Research, Cambridge
FHPC-2017-papers
12:00 - 12:30:
FHPC 2017
- Tools at
L4
Chair(s):
Cosmin Oancea
DIKU, University of Copenhagen
FHPC-2017-papers
12:00 - 12:30
Talk
VisPar: Visualising dataflow graphs from the Par monad
Maximilian Algehed
Chalmers University of Technology, Sweden
,
Patrik Jansson
Chalmers University of Technology
FHPC-2017-papers
14:00 - 15:00:
FHPC 2017
- Parallel Programming at
L4
Chair(s):
Geoffrey Mainland
Drexel University, USA
FHPC-2017-papers
14:00 - 14:30
Talk
In Search of a Map: using Program Slicing to Discover Potential Parallelism in Recursive Functions
Adam Barwell
,
Kevin Hammond
University of St. Andrews, UK
FHPC-2017-papers
14:30 - 15:00
Talk
Strategies for Regular Segmented Reductions on GPU
Rasmus Wriedt Larsen
DIKU, University of Copenhagen
,
Troels Henriksen
DIKU, University of Copenhagen
FHPC-2017-papers
15:30 - 16:30:
FHPC 2017
- Demo Session at
L4
Chair(s):
Cosmin Oancea
DIKU, University of Copenhagen
FHPC-2017-papers
15:30 - 15:59
Demonstration
Futhark Demo
Troels Henriksen
DIKU, University of Copenhagen
FHPC-2017-papers
16:00 - 16:29
Demonstration
ParaFormance Demo: Democratizing Parallel Software Development
Christopher Brown
University of St. Andrews, UK
,
Kevin Hammond
University of St. Andrews, UK
FHPC-2017-papers
16:30 - 16:50
Social Event
Break 16:30 - 16:50: Wine and Nibbles @ North Mezzanine
FHPC-2017-papers
16:50 - 17:50:
FHPC 2017
- Demo and Panel at
L4
Chair(s):
Phil Trinder
University of Glasgow
FHPC-2017-papers
16:50 - 17:20
Demonstration
Ziria Demo: Wringing performance from high-level code
Siddhanathan Shanmugam
Drexel University, USA
,
Geoffrey Mainland
Drexel University, USA
FHPC-2017-papers
17:20 - 17:50
Day closing
Panel Discussion: The challenges for Functional High Performance Computing
Geoffrey Mainland
Drexel University, USA
,
Kevin Hammond
University of St. Andrews, UK
,
Simon Marlow
Facebook
Fri 8 Sep
Times are displayed in time zone:
(GMT+01:00) Greenwich Mean Time : Belfast
change
erlang-2017-papers
09:00 - 09:10:
Erlang 2017
- Opening & Welcome at
L4
erlang-2017-papers
09:00 - 09:10
Day opening
Opening & Welcome
erlang-2017-papers
09:10 - 10:00:
Erlang 2017
- Keynote Invited Talk at
L4
erlang-2017-papers
09:10 - 10:00
Talk
Keynote
Martin Sumner
erlang-2017-papers
10:30 - 11:20:
Erlang 2017
- Session 2 at
L4
erlang-2017-papers
10:30 - 10:55
Talk
Construction and Formal Verification of a Fault-Tolerant Distributed Mutual Exclusion Algorithm
Evgeniy Shishkin
JSC "InfoTeCS"
DOI
File Attached
erlang-2017-papers
10:55 - 11:20
Talk
Towards an Isabelle/HOL Formalisation of Core Erlang
Joseph Harrison
University of Kent
erlang-2017-papers
12:00 - 12:25:
Erlang 2017
- Session 3 at
L4
erlang-2017-papers
12:00 - 12:25
Talk
Erlang and Elixir development news
erlang-2017-papers
14:00 - 14:50:
Erlang 2017
- Session 4 at
L4
erlang-2017-papers
14:00 - 14:25
Talk
Distributed Memory Architecture for High-Level Synthesis of Embedded Controllers from Erlang
Kagumi Azuma
Kwansei Gakuin University
,
Nagisa Ishiura
Kwansei Gakuin University
,
Nobuaki Yoshida
ASTEM RI/KYOTO
,
Hiroyuki Kanbara
ASTEM RI/KYOTO
erlang-2017-papers
14:25 - 14:50
Talk
Structuring Erlang BEAM control flow
Dániel Lukács
Eötvös Loránd University
,
Melinda Toth
erlang-2017-papers
15:30 - 16:20:
Erlang 2017
- Session 5 at
L4
erlang-2017-papers
15:30 - 15:55
Talk
The Shared-Memory Interferences of Erlang/OTP Built-ins
Stavros Aronis
Uppsala University
,
Konstantinos (Kostis) Sagonas
erlang-2017-papers
15:55 - 16:20
Talk
Towards Change-driven Testing
Viktória Fördős
,
István Bozó
Eötvös Loránd University
,
Melinda Toth
erlang-2017-papers
16:50 - 17:50:
Erlang 2017
- Session 6 at
L4
erlang-2017-papers
16:50 - 17:20
Talk
eAOP - An Aspect Oriented Programming Framework for Erlang
Ian Cassar
University of Malta
,
Adrian Francalanza
University of Malta
,
Luca Aceto
Reykjavik University
,
Anna Ingolfsdottir
Reykjavik University
erlang-2017-papers
17:20 - 17:50
Talk
In medias res: WIP discussion
Sun 3 Sep
Times are displayed in time zone:
(GMT+01:00) 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:
(GMT+01:00) 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:
(GMT+01:00) 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:
(GMT+01:00) 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:
(GMT+01:00) 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:
(GMT+01:00) 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
Thu 6 Aug 04:10