Blogs (28) >>
ICFP 2017
Sun 3 - Sat 9 September 2017 Oxford, United Kingdom
ICFP 2017 (series) / Mathematical Institute /

Room information: L4

VenueMathematical Institute
Room nameL4
Floor0
Capacity60
Room InformationNo extra information available
Program

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 0Scheme at L4
09:00
10m
Day opening
Welcome
Scheme

09:10 - 10:10
Session 1Scheme at L4
09:10
60m
Talk
Keynote
Scheme
Sam Tobin-Hochstadt Indiana University
10:30 - 11:30
Session 2Scheme 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 3Scheme 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 4Scheme 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 5Scheme 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 6Scheme 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'17FHPC 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 KeynoteFHPC 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
CompilationFHPC 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
ToolsFHPC 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 ProgrammingFHPC 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 SessionFHPC 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 PanelFHPC 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

Displayed time zone: Belfast change

09:00 - 09:10
Opening & WelcomeErlang at L4
09:00
10m
Day opening
Opening & Welcome
Erlang

09:10 - 10:00
Keynote Invited TalkErlang at L4
09:10
50m
Talk
Keynote
Erlang
Martin Sumner
10:30 - 11:20
Session 2Erlang 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 3Erlang at L4
12:00
25m
Talk
Erlang and Elixir development news
Erlang

14:00 - 14:50
Session 4Erlang 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 5Erlang 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 6Erlang 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

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
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

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
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

Displayed time zone: Belfast change

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
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

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
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

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
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

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
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