Blogs (28) >>
ICFP 2017
Sun 3 - Sat 9 September 2017 Oxford, United Kingdom
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
Times are displayed in time zone: Greenwich Mean Time : 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-HochstadtIndiana University
12:00 - 12:30
Session 3Scheme at L4
12:00
30m
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.
16:50 - 17:50
Session 6Scheme at L4
16:50
50m
Talk
Invited Talk
Scheme
Matthew MightUniversity of Utah, USA
17:40
10m
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
10m
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
60m
Talk
Haskell in the Datacentre
FHPC
Simon MarlowFacebook
10:30 - 11:30
CompilationFHPC at L4
Chair(s): Phil TrinderUniversity of Glasgow
10:30
30m
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
30m
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
30m
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
30m
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
30m
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
29m
Demonstration
Futhark Demo
FHPC
Troels HenriksenDIKU, University of Copenhagen
16:00
29m
Demonstration
ParaFormance Demo: Democratizing Parallel Software Development
FHPC
Christopher BrownUniversity of St. Andrews, UK, Kevin HammondUniversity 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 TrinderUniversity of Glasgow
16:50
30m
Demonstration
Ziria Demo: Wringing performance from high-level code
FHPC
Siddhanathan ShanmugamDrexel University, USA, Geoffrey MainlandDrexel University, USA
17:20
30m
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
10m
Day opening
Opening & Welcome
Erlang
09:10 - 10:00
Keynote Invited TalkErlang at L4
09:10
50m
Talk
Keynote
Erlang
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 AzumaKwansei Gakuin University, Nagisa IshiuraKwansei Gakuin University, Nobuaki YoshidaASTEM RI/KYOTO, Hiroyuki KanbaraASTEM RI/KYOTO
14:25
25m
Talk
Structuring Erlang BEAM control flow
Erlang
Dániel LukácsEötvös Loránd University, Melinda Toth
16:50 - 17:50
Session 6Erlang at L4
16:50
30m
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
30m
Talk
In medias res: WIP discussion
Erlang

Sun 3 Sep
Times are displayed in time zone: Greenwich Mean Time : Belfast change

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

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