Write a Blog >>
ICFP 2016
Sun 18 - Sat 24 September 2016 Nara, Japan
VenueNara Kasugano International Forum
Room nameConference Room 2
Floor1
Room number2
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 18 Sep

Displayed time zone: Osaka, Sapporo, Tokyo change

09:15 - 10:15
Invited TalkScheme at Conference Room 2
09:15
10m
Day opening
Opening Remarks
Scheme
Alex Shinn Indeed.com
09:25
50m
Talk
A verified Lisp implementation for a verified theorem prover
Scheme
Magnus O. Myreen Chalmers University of Technology, Sweden
17:00 - 18:00
17:00
30m
Talk
miniAdapton: A Minimal Implementation of Incremental Computation in Scheme
Scheme
Dakota Fisher , Matthew Hammer University of Colorado, Boulder, William E. Byrd University of Utah, Matthew Might University of Utah, USA
17:30
30m
Talk
Deriving Pure, Functional One-Pass Operations for Processing Tail-Aligned Lists
Scheme
Jason Hemann Indiana University, Daniel Friedman Indiana University

Thu 22 Sep

Displayed time zone: Osaka, Sapporo, Tokyo change

09:15 - 10:15
Invited TalkFHPC at Conference Room 2
Chair(s): Yukiyoshi Kameyama University of Tsukuba
09:15
60m
Talk
From Identification of Parallelizability to Derivation of Parallelizable Codes
FHPC
Akimasa Morihata University of Tokyo, Japan
10:35 - 11:25
Domain Specific LanguagesFHPC at Conference Room 2
Chair(s): Zhenjiang Hu National Institute of Informatics, Japan
10:35
25m
Talk
Icicle: Write Once, Run Once
FHPC
Amos Robinson Ambiata (Australia), Ben Lippmeier University of New South Wales
11:00
25m
Talk
Using Fusion to Enable Late Design Decisions for Pipelined Computations
FHPC
Mate Karacsony Eötvös Loránd University, Koen Claessen Chalmers University of Technology
11:45 - 12:35
Code GenerationFHPC at Conference Room 2
Chair(s): Jost Berthold Commonwealth Bank, Australia
11:45
25m
Talk
Automatic Generation of Efficient Codes from Mathematical Descriptions of Stencil Computation
FHPC
Takayuki Muranushi RIKEN, Seiya Nishizawa RIKEN, Hirofumi Tomita RIKEN, Keigo Nitadori RIKEN, Masaki Iwasawa RIKEN, Yutaka Maruyama , Hisashi Yashiro RIKEN, Yoshifumi Nakamura RIKEN, Hideyuki Hotta University of Chile, Chile, Junichiro Makino Kobe University, Natsuki Hosono Kyoto University, Hikaru Inoue Fujitsu Limited
12:10
25m
Talk
JIT Costing Adaptive Skeletons for Performance Portability
FHPC
Patrick Maier University of Glasgow, John Magnus Motron University of Glasgow, Phil Trinder University of Glasgow
14:00 - 14:50
GPUsFHPC at Conference Room 2
Chair(s): Ben Lippmeier University of New South Wales
14:00
25m
Talk
Low-Level Functional GPU Programming for Parallel Algorithms
FHPC
Martin Dybdal , Martin Elsman Department of Computer Science, University of Copenhagen, Bo Joel Svensson Chalmers University of Technology, Sweden, Mary Sheeran Chalmers University of Technology
14:25
25m
Talk
APL on GPUs: A TAIL from the Past, Scribbled in Futhark
FHPC
Troels Henriksen DIKU, University of Copenhagen, Martin Dybdal , Henrik Urms DIKU, University of Copenhagen, Anna Sofie Kiehn DIKU, University of Copenhagen, Daniel Gavin DIKU, University of Copenhagen, Hjalte Abelskov DIKU, University of Copenhagen, Martin Elsman Department of Computer Science, University of Copenhagen, Cosmin Oancea DIKU, University of Copenhagen
15:20 - 16:10
Streaming and DataflowFHPC at Conference Room 2
Chair(s): Hai Liu Intel Labs
15:20
25m
Talk
Streaming Nested Data Parallelism on Multicores
FHPC
Frederik M. Madsen DIKU, University of Copenhagen, Andrzej Filinski DIKU, University of Copenhagen
15:45
25m
Talk
Polarized Data Parallel Data Flow
FHPC
Ben Lippmeier University of New South Wales, Fil Mackay Vertigo Technology (Australia), Amos Robinson Ambiata (Australia)
16:40 - 17:05
Graph ProcessingFHPC at Conference Room 2
Chair(s): Yukiyoshi Kameyama University of Tsukuba
16:40
25m
Talk
s6raph: Vertex-Centric Graph Processing Framework with Functional Interface
FHPC
Onofre Coll Ruiz Kochi University of Technology, Kiminori Matsuzaki Kochi University of Technology, Japan, Shigeyuki Sato Kochi University of Technology
17:05 - 18:00
DIscussionFHPC at Conference Room 2
Chair(s): David Duke University of Leeds
17:05
55m
Talk
Discussion
FHPC

Fri 23 Sep

Displayed time zone: Osaka, Sapporo, Tokyo change

10:35 - 11:25
Scalability and DistributionErlang at Conference Room 2
10:35
25m
Talk
A Scalable Reliable Instant Messenger using the SD Erlang Libraries
Erlang
Natalia Chechina University of Glasgow, Mario Moro Hernandez , Phil Trinder University of Glasgow
11:00
25m
Talk
CRDTs for the Configuration of Distributed Erlang Systems
Erlang
Viktória Fördős Erlang Solutions Ltd., Francesco Cesarini
11:45 - 12:35
Experience report presentations Erlang at Conference Room 2
11:45
25m
Talk
Observing the consistency of distributed systems
Erlang
Deepthi Devaki Akkoorath , Viktória Fördős Erlang Solutions Ltd., Annette Bieniusa Technischen Universität Kaiserslautern
12:10
25m
Talk
Making everybody comfortable with Erlang: a SCADA system for thermal control
Erlang
14:00 - 14:50
14:00
25m
Talk
Profiling Actor Utilization and Communication in Akka
Erlang
Andrea Rosà Università della Svizzera italiana, Lydia Y. Chen IBM Research Lab Zurich, Walter Binder University of Lugano
14:25
25m
Talk
The Nifty Way to Call Hell from Heaven
Erlang
15:20 - 16:10
Poster presentationsErlang at Conference Room 2
15:20
25m
Other
Automatic generation of UML sequence diagrams from test counterexamples
Erlang
Daniel Carballa , Laura M. Castro University of A Coruña
15:45
25m
Other
Towards Semi-Automatic Data-Type Translation for Parallelism in Erlang
Erlang
Adam Barwell , Christopher Brown , Kevin Hammond University of St. Andrews, UK, David Castro-Perez University of St. Andrews, UK
16:40 - 18:00
Erlang in Robotics & Erlang Latest NewsErlang at Conference Room 2
16:40
25m
Talk
Towards Reliable and Scalable Robot Communication
Erlang
Andreea Lutac , Natalia Chechina University of Glasgow, Gerardo Aragon-Camarasa , Phil Trinder University of Glasgow
17:05
25m
Talk
Erlang latest news
Erlang

17:30
30m
Day closing
Farewell & Closing
Erlang

Sun 18 Sep

Displayed time zone: Osaka, Sapporo, Tokyo change

Thu 22 Sep

Displayed time zone: Osaka, Sapporo, Tokyo change