Blogs (28) >>
ICFP 2017
Sun 3 - Sat 9 September 2017 Oxford, United Kingdom
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
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.
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
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
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

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