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
Additional informationThere is no additional information of this room 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
Times are displayed in time zone: Greenwich Mean Time : Belfast change

09:00 - 09:10: Session 0Scheme at L4
09:00 - 09:10
Day opening		Welcome
Scheme
09:10 - 10:10: Session 1Scheme at L4
09:10 - 10:10
Talk		Keynote
Scheme
Sam Tobin-HochstadtIndiana University
10:30 - 11:30: Session 2Scheme at L4
10:30 - 11:15
Talk		Paper: Scalar and Tensor Parameters for Importing Tensor Index Notation including Einstein Summation Notation
Scheme
Satoshi EgiRakuten Institute of Technology
11:15 - 11:30
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 - 12:30
Talk		Panel: Future of Scheme
Scheme
François-René Rideau, Marc FeeleyUniversité de Montréal, Arthur GlecklerSRFI Editor, Kathy Gray, Alaric Snell-Pym, Andy WingoIgalia, S.L.
14:00 - 15:00: Session 4Scheme at L4
14:00 - 14:45
Talk		Paper: Toward Parallelizing Control-flow Analysis with Datalog
Scheme
Thomas GilrayUniversity of Utah, USA, Sidharth Kumar
14:45 - 15:00
Talk		Lightning: Gerbil on Gambit, as they say Racket on Chez
Scheme
Dimitris Vyzovitis
15:30 - 16:30: Session 5Scheme at L4
15:30 - 16:15
Talk		Report: Status of the ongoing R7RS standardization process
Scheme
Alaric Snell-Pym
16:15 - 16:30
Talk		Lightning: {lambda talk}
Scheme
Alain Marty
16:50 - 17:50: Session 6Scheme at L4
16:50 - 17:40
Talk		Invited Talk
Scheme
Matthew MightUniversity of Utah, USA
17:40 - 17:50
Day closing		Goodbye
Scheme

Thu 7 Sep
Times are displayed in time zone: Greenwich Mean Time : Belfast change

09:00 - 09:10: Welcome to FHPC'17FHPC at L4
09:00 - 09:10
Day opening		Welcome to FHPC'17
FHPC
Phil TrinderUniversity of Glasgow, Cosmin OanceaDIKU, University of Copenhagen
09:10 - 10:10: First KeynoteFHPC at L4
Chair(s): Kevin HammondUniversity of St. Andrews, UK
09:10 - 10:10
Talk		Haskell in the Datacentre
FHPC
Simon MarlowFacebook
10:30 - 11:30: CompilationFHPC at L4
Chair(s): Phil TrinderUniversity of Glasgow
10:30 - 11:00
Talk		From High-level Radio Protocol Specifications to Efficient Low-level Implementations via Partial Evaluation
FHPC
A: Geoffrey MainlandDrexel University, USA, A: Siddhanathan ShanmugamDrexel University, USA
11:00 - 11:30
Talk		Destination-Passing Style for Efficient Memory Management
FHPC
A: Amir ShaikhhaEPFL, Switzerland, A: Andrew FitzgibbonMicrosoft Research, Cambridge, A: Simon Peyton JonesMicrosoft Research, Cambridge, A: Dimitrios VytiniotisMicrosoft Research, Cambridge
12:00 - 12:30: ToolsFHPC at L4
Chair(s): Cosmin OanceaDIKU, University of Copenhagen
12:00 - 12:30
Talk		VisPar: Visualising dataflow graphs from the Par monad
FHPC
A: Maximilian AlgehedChalmers University of Technology, Sweden, A: Patrik JanssonChalmers University of Technology
14:00 - 15:00: Parallel ProgrammingFHPC at L4
Chair(s): Geoffrey MainlandDrexel University, USA
14:00 - 14:30
Talk		In Search of a Map: using Program Slicing to Discover Potential Parallelism in Recursive Functions
FHPC
A: Adam Barwell, A: Kevin HammondUniversity of St. Andrews, UK
14:30 - 15:00
Talk		Strategies for Regular Segmented Reductions on GPU
FHPC
A: Rasmus Wriedt LarsenDIKU, University of Copenhagen, A: Troels HenriksenDIKU, University of Copenhagen
15:30 - 16:30: Demo SessionFHPC at L4
Chair(s): Cosmin OanceaDIKU, University of Copenhagen
15:30 - 15:59
Demonstration		Futhark Demo
FHPC
Troels HenriksenDIKU, University of Copenhagen
16:00 - 16:29
Demonstration		ParaFormance Demo: Democratizing Parallel Software Development
FHPC
Christopher BrownUniversity of St. Andrews, UK, Kevin HammondUniversity of St. Andrews, UK
16:30 - 16:50
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 TrinderUniversity of Glasgow
16:50 - 17:20
Demonstration		Ziria Demo: Wringing performance from high-level code
FHPC
Siddhanathan ShanmugamDrexel University, USA, Geoffrey MainlandDrexel University, USA
17:20 - 17:50
Day closing		Panel Discussion: The challenges for Functional High Performance Computing
FHPC
Geoffrey MainlandDrexel University, USA, Kevin HammondUniversity of St. Andrews, UK, Simon MarlowFacebook

Fri 8 Sep
Times are displayed in time zone: Greenwich Mean Time : Belfast change

09:00 - 09:10: Opening & WelcomeErlang at L4
09:00 - 09:10
Day opening		Opening & Welcome
Erlang
09:10 - 10:00: Keynote Invited TalkErlang at L4
09:10 - 10:00
Talk		Keynote
Erlang
Martin Sumner
10:30 - 11:20: Session 2Erlang at L4
10:30 - 10:55
Talk		Construction and Formal Verification of a Fault-Tolerant Distributed Mutual Exclusion Algorithm
Erlang
Evgeniy ShishkinJSC "InfoTeCS"
DOI File Attached
10:55 - 11:20
Talk		Towards an Isabelle/HOL Formalisation of Core Erlang
Erlang
Joseph HarrisonUniversity of Kent
12:00 - 12:25: Session 3Erlang at L4
12:00 - 12:25
Talk		Erlang and Elixir development news
Erlang
14:00 - 14:50: Session 4Erlang at L4
14:00 - 14:25
Talk		Distributed Memory Architecture for High-Level Synthesis of Embedded Controllers from Erlang
Erlang
Kagumi AzumaKwansei Gakuin University, Nagisa IshiuraKwansei Gakuin University, Nobuaki YoshidaASTEM RI/KYOTO, Hiroyuki KanbaraASTEM RI/KYOTO
14:25 - 14:50
Talk		Structuring Erlang BEAM control flow
Erlang
Dániel LukácsEötvös Loránd University, Melinda Toth
15:30 - 16:20: Session 5Erlang at L4
15:30 - 15:55
Talk		The Shared-Memory Interferences of Erlang/OTP Built-ins
Erlang
Stavros AronisUppsala University, Konstantinos (Kostis) Sagonas
15:55 - 16:20
Talk		Towards Change-driven Testing
Erlang
Viktória Fördős, István BozóEötvös Loránd University, Melinda Toth
16:50 - 17:50: Session 6Erlang at L4
16:50 - 17:20
Talk		eAOP - An Aspect Oriented Programming Framework for Erlang
Erlang
Ian CassarUniversity of Malta, Adrian FrancalanzaUniversity of Malta, Luca AcetoReykjavik University, Anna IngolfsdottirReykjavik University
17:20 - 17:50
Talk		In medias res: WIP discussion
Erlang

Sun 3 Sep
Times are displayed in time zone: Greenwich Mean Time : 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
Times are displayed in time zone: Greenwich Mean Time : 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
Times are displayed in time zone: Greenwich Mean Time : 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
Times are displayed in time zone: Greenwich Mean Time : 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
Times are displayed in time zone: Greenwich Mean Time : 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
Times are displayed in time zone: Greenwich Mean Time : 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