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
Co-hosted Workshops
Erlang
FARM
FHPC
HIW
HOPE
ML
OCaml
PLMW
Scheme
TyDe
Co-hosted Symposiums
Haskell
Committees
ICFP 2017
Organizing Committee
Steering Committee
Research Papers
Program Committee
Research Artifacts
Artifact Evaluation Committee
Student Research Competition
Selection Committee
Co-hosted Conferences
CUFP
CUFP 2017
Organizing Committee
CUFP 2017
Program Committee
FSCD
Not available
Co-hosted Workshops
Erlang
Erlang 2017
Organizing Committee
Erlang 2017
Program Committee
FARM
FARM 2017
Organizing Committee
FARM 2017
Program Committee
FHPC
FHPC 2017
Organizing Committee
FHPC 2017
Program Committee
HIW
HIW 2017
Program Committee
HOPE
HOPE 2017
Organizing Committee
HOPE 2017
Program Committee
ML
ML 2017
Organizing Committee
ML 2017
Program Committee
OCaml
OCaml 2017
Organizing Committee
OCaml 2017
Program Committee
PLMW
PLMW 2017
Organizing Committee
Scheme
Scheme 2017
Program Committee
Scheme 2017
Steering Committee
TyDe
TyDe 2017
Organizing Committee
TyDe 2017
Program Committee
Co-hosted Symposiums
Haskell
Haskell 2017
Program Committee
Search
Series
Series
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
Room number
Capacity
60
Additional information
There is no additional information of this room available.
Program
Detailed Table
Session Timeline
Detailed Timeline
Sun 3 Sep
scheme-2017
09:00 - 09:10:
Scheme 2017
- Session 0 at
L4
scheme-2017
1504422000000
09:00 - 09:10
Day opening
Welcome
scheme-2017
09:10 - 10:10:
Scheme 2017
- Session 1 at
L4
scheme-2017
1504422600000
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
1504427400000
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
1504430100000
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
1504432800000
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
1504440000000
14:00 - 14:45
Talk
Paper: Toward Parallelizing Control-flow Analysis with Datalog
Thomas Gilray
University of Utah, USA
,
Sidharth Kumar
scheme-2017
1504442700000
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
1504445400000
15:30 - 16:15
Talk
Report: Status of the ongoing R7RS standardization process
Alaric Snell-Pym
scheme-2017
1504448100000
16:15 - 16:30
Talk
Lightning: {lambda talk}
Alain Marty
scheme-2017
16:50 - 17:50:
Scheme 2017
- Session 6 at
L4
scheme-2017
1504450200000
16:50 - 17:40
Talk
Invited Talk
Matthew Might
University of Utah, USA
scheme-2017
1504453200000
17:40 - 17:50
Day closing
Goodbye
Thu 7 Sep
FHPC-2017-papers
09:00 - 09:10:
FHPC 2017
- Welcome to FHPC'17 at
L4
FHPC-2017-papers
1504767600000
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
1504768200000
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
1504773000000
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
1504774800000
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
1504778400000
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
1504785600000
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
1504787400000
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
1504791000000
15:30 - 15:59
Demonstration
Futhark Demo
Troels Henriksen
DIKU, University of Copenhagen
FHPC-2017-papers
1504792800000
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
1504794600000
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
1504795800000
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
1504797600000
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
erlang-2017-papers
09:00 - 09:10:
Erlang 2017
- Opening & Welcome at
L4
erlang-2017-papers
1504854000000
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
1504854600000
09:10 - 10:00
Talk
Keynote
Martin Sumner
erlang-2017-papers
10:30 - 11:20:
Erlang 2017
- Session 2 at
L4
erlang-2017-papers
1504859400000
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
1504860900000
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
1504864800000
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
1504872000000
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
1504873500000
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
1504877400000
15:30 - 15:55
Talk
The Shared-Memory Interferences of Erlang/OTP Built-ins
Stavros Aronis
Uppsala University
,
Kostis Sagonas
erlang-2017-papers
1504878900000
15:55 - 16:20
Talk
Towards Change-driven Testing
Viktória Fördős
Erlang Solutions Ltd, Hungary
,
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
1504882200000
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
1504884000000
17:20 - 17:50
Talk
In medias res: WIP discussion
Sun 3 Sep 2017
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
09:00 - 09:10
Scheme
Session 1
09:10 - 10:10
Scheme
Session 2
10:30 - 11:30
Scheme
Session 3
12:00 - 12:30
Scheme
Session 4
14:00 - 15:00
Scheme
Session 5
15:30 - 16:30
Scheme
Session 6
16:50 - 17:50
Thu 7 Sep 2017
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
09:00 - 09:10
FHPC
First Keynote
09:10 - 10:10
FHPC
Compilation
10:30 - 11:30
FHPC
Tools
12:00 - 12:30
FHPC
Parallel Programming
14:00 - 15:00
FHPC
Demo Session
15:30 - 16:30
FHPC
Demo and Panel
16:50 - 17:50
Fri 8 Sep 2017
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
09:00 - 09:10
Erlang
Keynote Invited Talk
09:10 - 10:00
Erlang
Session 2
10:30 - 11:20
Erlang
Session 3
12:00 - 12:25
Erlang
Session 4
14:00 - 14:50
Erlang
Session 5
15:30 - 16:20
Erlang
Session 6
16:50 - 17:50
Sun 3 Sep 2017
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 2017
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 2017
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
Mon 22 Oct 19:21