Write a Blog >>
FHPC 2017
Thu 7 Sep 2017
Oxford, United Kingdom
co-located with
ICFP 2017
Toggle navigation
Attending
Venue: Mathematical Institute
Program
Complete Program
Your Program
Thu 7 Sep
Track/Call
Organization
FHPC 2017 Committees
Track Committees
Organizing Committee
Program Committee
Contributors
People Index
Search
Series
Series
FHPNC 2023
FHPNC 2022
FHPNC 2021
FHPNC 2020
FHPNC 2019
FHPC 2018
FHPC 2017
FHPC 2016
Sign in
Sign up
ICFP 2017
(
series
) /
FHPC 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) Belfast
.
Use conference time zone: (GMT+01:00) 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) Belfast
(GMT+01:00) Dublin
(GMT+01:00) Lisbon
(GMT+01:00) 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) Athens
(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
Displayed time zone:
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
Displayed time zone:
Belfast
change
09:00 - 09:10
Welcome to FHPC'17
FHPC 2017
at
L4
09:00
10m
Day opening
Welcome to FHPC'17
FHPC 2017
Phil Trinder
University of Glasgow
,
Cosmin Oancea
DIKU, University of Copenhagen
09:10 - 10:10
First Keynote
FHPC 2017
at
L4
Chair(s):
Kevin Hammond
University of St. Andrews, UK
09:10
60m
Talk
Haskell in the Datacentre
FHPC 2017
Simon Marlow
Facebook
10:30 - 11:30
Compilation
FHPC 2017
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 2017
A:
Geoffrey Mainland
Drexel University, USA
,
A:
Siddhanathan Shanmugam
Drexel University, USA
11:00
30m
Talk
Destination-Passing Style for Efficient Memory Management
FHPC 2017
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 2017
at
L4
Chair(s):
Cosmin Oancea
DIKU, University of Copenhagen
12:00
30m
Talk
VisPar: Visualising dataflow graphs from the Par monad
FHPC 2017
A:
Maximilian Algehed
Chalmers University of Technology, Sweden
,
A:
Patrik Jansson
Chalmers University of Technology
14:00 - 15:00
Parallel Programming
FHPC 2017
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 2017
A:
Adam Barwell
,
A:
Kevin Hammond
University of St. Andrews, UK
14:30
30m
Talk
Strategies for Regular Segmented Reductions on GPU
FHPC 2017
A:
Rasmus Wriedt Larsen
DIKU, University of Copenhagen
,
A:
Troels Henriksen
DIKU, University of Copenhagen
15:30 - 16:30
Demo Session
FHPC 2017
at
L4
Chair(s):
Cosmin Oancea
DIKU, University of Copenhagen
15:30
29m
Demonstration
Futhark Demo
FHPC 2017
Troels Henriksen
DIKU, University of Copenhagen
16:00
29m
Demonstration
ParaFormance Demo: Democratizing Parallel Software Development
FHPC 2017
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 2017
16:50 - 17:50
Demo and Panel
FHPC 2017
at
L4
Chair(s):
Phil Trinder
University of Glasgow
16:50
30m
Demonstration
Ziria Demo: Wringing performance from high-level code
FHPC 2017
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 2017
Geoffrey Mainland
Drexel University, USA
,
Kevin Hammond
University of St. Andrews, UK
,
Simon Marlow
Facebook
Fri 8 Sep
Displayed time zone:
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 Tóth
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 Tóth
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
Displayed time zone:
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
Displayed time zone:
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 2017
Welcome to FHPC'17
FHPC 2017
First Keynote
FHPC 2017
Compilation
FHPC 2017
Tools
FHPC 2017
Parallel Programming
FHPC 2017
Demo Session
FHPC 2017
Demo and Panel
Fri 8 Sep
Displayed time zone:
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
Displayed time zone:
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
Displayed time zone:
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
Displayed time zone:
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 28 Mar 11:48