Write a Blog >>
CUFP 2017
Sun 3 - Sat 9 September 2017 Oxford, United Kingdom
co-located with ICFP 2017
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
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.
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
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
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

Thu 7 Sep

Displayed time zone: Belfast change

Fri 8 Sep

Displayed time zone: Belfast change