L4 - ICFP 2017

Sun 3 - Sat 9 September 2017 Oxford, United Kingdom

VenueMathematical Institute

Room nameL4

Floor0

Room number

Capacity60

Additional informationThere is no additional information of this room available.

Program

Sun 3 Sep

09:00 - 09:10: Scheme 2017 - Session 0 at L4

09:00 - 09:10
Day opening

09:10 - 10:10: Scheme 2017 - Session 1 at L4

09:10 - 10:10
Talk

Sam Tobin-Hochstadt

10:30 - 11:30: Scheme 2017 - Session 2 at L4

10:30 - 11:15
Talk

Paper: Scalar and Tensor Parameters for Importing Tensor Index Notation including Einstein Summation Notation

11:15 - 11:30
Talk

Lightning Talk: Extending the LISP model from cons cells to triples, from trees to hypergraphs

Joe Corneli, Raymond Puzio

12:00 - 12:30: Scheme 2017 - Session 3 at L4

12:00 - 12:30
Talk

Panel: Future of Scheme

François-René Rideau, Marc Feeley, Arthur Gleckler, Kathy Gray, Alaric Snell-Pym, Andy Wingo

14:00 - 15:00: Scheme 2017 - Session 4 at L4

14:00 - 14:45
Talk

Paper: Toward Parallelizing Control-flow Analysis with Datalog

Thomas Gilray, Sidharth Kumar

14:45 - 15:00
Talk

Lightning: Gerbil on Gambit, as they say Racket on Chez

Dimitris Vyzovitis

15:30 - 16:30: Scheme 2017 - Session 5 at L4

15:30 - 16:15
Talk

Report: Status of the ongoing R7RS standardization process

Alaric Snell-Pym

16:15 - 16:30
Talk

Lightning: {lambda talk}

16:50 - 17:50: Scheme 2017 - Session 6 at L4

16:50 - 17:40
Talk

17:40 - 17:50
Day closing

Thu 7 Sep

09:00 - 09:10: FHPC 2017 - Welcome to FHPC'17 at L4

09:00 - 09:10
Day opening

Welcome to FHPC'17

Phil Trinder, Cosmin Oancea

09:10 - 10:10: FHPC 2017 - First Keynote at L4
Chair(s): Kevin Hammond

09:10 - 10:10
Talk

Haskell in the Datacentre

10:30 - 11:30: FHPC 2017 - Compilation at L4
Chair(s): Phil Trinder

10:30 - 11:00
Talk

From High-level Radio Protocol Specifications to Efficient Low-level Implementations via Partial Evaluation

Geoffrey Mainland, Siddhanathan Shanmugam

11:00 - 11:30
Talk

Destination-Passing Style for Efficient Memory Management

Amir Shaikhha, Andrew Fitzgibbon, Simon Peyton Jones, Dimitrios Vytiniotis

12:00 - 12:30: FHPC 2017 - Tools at L4
Chair(s): Cosmin Oancea

12:00 - 12:30
Talk

VisPar: Visualising dataflow graphs from the Par monad

Maximilian Algehed, Patrik Jansson

14:00 - 15:00: FHPC 2017 - Parallel Programming at L4
Chair(s): Geoffrey Mainland

14:00 - 14:30
Talk

In Search of a Map: using Program Slicing to Discover Potential Parallelism in Recursive Functions

Adam Barwell, Kevin Hammond

14:30 - 15:00
Talk

Strategies for Regular Segmented Reductions on GPU

Rasmus Wriedt Larsen, Troels Henriksen

15:30 - 16:30: FHPC 2017 - Demo Session at L4
Chair(s): Cosmin Oancea

15:30 - 15:59
Demonstration

Troels Henriksen

16:00 - 16:29
Demonstration

ParaFormance Demo: Democratizing Parallel Software Development

Christopher Brown, Kevin Hammond

16:30 - 16:50
Social Event

Break 16:30 - 16:50: Wine and Nibbles @ North Mezzanine

16:50 - 17:50: FHPC 2017 - Demo and Panel at L4
Chair(s): Phil Trinder

16:50 - 17:20
Demonstration

Ziria Demo: Wringing performance from high-level code

Siddhanathan Shanmugam, Geoffrey Mainland

17:20 - 17:50
Day closing

Panel Discussion: The challenges for Functional High Performance Computing

Geoffrey Mainland, Kevin Hammond, Simon Marlow

Fri 8 Sep

09:00 - 09:10: Erlang 2017 - Opening & Welcome at L4

09:00 - 09:10
Day opening

Opening & Welcome

09:10 - 10:00: Erlang 2017 - Keynote Invited Talk at L4

09:10 - 10:00
Talk

10:30 - 11:20: Erlang 2017 - Session 2 at L4

10:30 - 10:55
Talk

Construction and Formal Verification of a Fault-Tolerant Distributed Mutual Exclusion Algorithm

Evgeniy Shishikin

DOI File Attached

10:55 - 11:20
Talk

Towards an Isabelle/HOL Formalisation of Core Erlang

Joseph Harrison

12:00 - 12:25: Erlang 2017 - Session 3 at L4

12:00 - 12:25
Talk

Erlang and Elixir development news

14:00 - 14:50: Erlang 2017 - Session 4 at L4

14:00 - 14:25
Talk

Distributed Memory Architecture for High-Level Synthesis of Embedded Controllers from Erlang

Kagumi Azuma, Nagisa Ishiura, Nobuaki Yoshida, Hiroyuki Kanbara

14:25 - 14:50
Talk

Structuring Erlang BEAM control flow

Dániel Lukács, Melinda Toth

15:30 - 16:20: Erlang 2017 - Session 5 at L4

15:30 - 15:55
Talk

The Shared-Memory Interferences of Erlang/OTP Built-ins

Stavros Aronis, Kostis Sagonas

15:55 - 16:20
Talk

Towards Change-driven Testing

Viktória Fördős, István Bozó, Melinda Toth

16:50 - 17:50: Erlang 2017 - Session 6 at L4

16:50 - 17:20
Talk

eAOP - An Aspect Oriented Programming Framework for Erlang

Ian Cassar, Adrian Francalanza, Luca Aceto, Anna Ingolfsdottir

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 2017 Session 0 09:00 - 09:10		Scheme 2017 Session 1 09:10 - 10:10																Scheme 2017 Session 2 10:30 - 11:30																		Scheme 2017 Session 3 12:00 - 12:30																								Scheme 2017 Session 4 14:00 - 15:00																		Scheme 2017 Session 5 15:30 - 16:30																Scheme 2017 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 2017 Welcome to FHPC'17 09:00 - 09:10		FHPC 2017 First Keynote 09:10 - 10:10																FHPC 2017 Compilation 10:30 - 11:30																		FHPC 2017 Tools 12:00 - 12:30																								FHPC 2017 Parallel Programming 14:00 - 15:00																		FHPC 2017 Demo Session 15:30 - 16:30																FHPC 2017 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 2017 Opening & Welcome 09:00 - 09:10		Erlang 2017 Keynote Invited Talk 09:10 - 10:00																Erlang 2017 Session 2 10:30 - 11:20																		Erlang 2017 Session 3 12:00 - 12:25																								Erlang 2017 Session 4 14:00 - 14:50																		Erlang 2017 Session 5 15:30 - 16:20																Erlang 2017 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 2017 Welcome 09:00 - 09:10		Scheme 2017 Keynote 09:10 - 10:10																Scheme 2017 Paper: Scalar and Tensor Parameters for Importing Tensor Index Notation ... 10:30 - 11:15									Scheme 2017 Lightning Talk: Extending the LISP model from cons cells to triples, fr ... 11:15 - 11:30									Scheme 2017 Panel: Future of Scheme 12:00 - 12:30																								Scheme 2017 Paper: Toward Parallelizing Control-flow Analysis with Datalog 14:00 - 14:45									Scheme 2017 Lightning: Gerbil on Gambit, as they say Racket on Chez 14:45 - 15:00									Scheme 2017 Report: Status of the ongoing R7RS standardization process 15:30 - 16:15									Scheme 2017 Lightning: {lambda talk} 16:15 - 16:30							Scheme 2017 Invited Talk 16:50 - 17:40										Scheme 2017 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 2017 Welcome to FHPC'17 09:00 - 09:10		FHPC 2017 Haskell in the Datacentre 09:10 - 10:10																FHPC 2017 From High-level Radio Protocol Specifications to Efficient Low-level Im ... 10:30 - 11:00						FHPC 2017 Destination-Passing Style for Efficient Memory Management 11:00 - 11:30												FHPC 2017 VisPar: Visualising dataflow graphs from the Par monad 12:00 - 12:30																								FHPC 2017 In Search of a Map: using Program Slicing to Discover Potential Paralle ... 14:00 - 14:30						FHPC 2017 Strategies for Regular Segmented Reductions on GPU 14:30 - 15:00												FHPC 2017 Futhark Demo 15:30 - 15:59						FHPC 2017 ParaFormance Demo: Democratizing Parallel Software Development 16:00 - 16:29						FHPC 2017 Break 16:30 - 16:50: Wine and Nibbles @ North Mezzanine 16:30 - 16:50				FHPC 2017 Ziria Demo: Wringing performance from high-level code 16:50 - 17:20						FHPC 2017 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 2017 Opening & Welcome 09:00 - 09:10		Erlang 2017 Keynote 09:10 - 10:00																Erlang 2017 Construction and Formal Verification of a Fault-Tolerant Distributed Mu ... 10:30 - 10:55					Erlang 2017 Towards an Isabelle/HOL Formalisation of Core Erlang 10:55 - 11:20													Erlang 2017 Erlang and Elixir development news 12:00 - 12:25																								Erlang 2017 Distributed Memory Architecture for High-Level Synthesis of Embedded Co ... 14:00 - 14:25					Erlang 2017 Structuring Erlang BEAM control flow 14:25 - 14:50													Erlang 2017 The Shared-Memory Interferences of Erlang/OTP Built-ins 15:30 - 15:55					Erlang 2017 Towards Change-driven Testing 15:55 - 16:20											Erlang 2017 eAOP - An Aspect Oriented Programming Framework for Erlang 16:50 - 17:20						Erlang 2017 In medias res: WIP discussion 17:20 - 17:50