Write a Blog >>
ICFP 2016
Sun 18 - Sat 24 September 2016
Nara, Japan
Toggle navigation
Attending
Venue: Nara Kasugano International Forum
Travel information
Accommodation
Visas
Registration
Student Travel Support
Student Volunteers
Code of Conduct
Program
ICFP Program
Your Program
Submission and Reviewing FAQ
Call for Sponsorships
Student Research Competition
Filter by Day
Sun 18 Sep
Mon 19 Sep
Tue 20 Sep
Wed 21 Sep
Thu 22 Sep
Fri 23 Sep
Sat 24 Sep
Tracks
ICFP 2016
Keynote Talks
Reports
Research Papers
Tutorials
Workshops
Co-hosted Conferences
CUFP
Workshops
Erlang
FARM
FHPC
HIW
HOPE
ML
OCaml
PLMW
Scheme
TyDe
Co-hosted Symposia
Haskell
Organization
ICFP 2016 Committees
Organizing Committee
Steering Committee
Track Committees
Research Papers
Program Committee
Research Papers
External Review Committee
Tutorials
Contributors
People Index
Co-hosted Conferences
CUFP
Organizing Committee
Program Committee
Workshops
Erlang
Organizing Committee
Program Committee
FARM
Organizing Committee
Program Committee
FHPC
Organizing Committee
Program Committee
HIW
Program Committee
HOPE
Program Committee
ML
Program Committee
Steering Committee
OCaml
Organizing Committee
Program Committee
PLMW
Speakers
Organizers
Scheme
Organizing Committee
Program Committee
Steering Committee
TyDe
Organizing Committee
Program Committee
Co-hosted Symposia
Haskell
Organizing Committee
Program Committee
Search
Series
Series
ICFP 2025
ICFP 2024
ICFP 2023
ICFP 2022
ICFP 2021
ICFP 2020
ICFP 2019
ICFP 2018
ICFP 2017
ICFP 2016
Sign in
Sign up
ICFP 2016
(
series
) /
Nara Kasugano International Forum
/
Room information: Conference Room 2
Venue
Nara Kasugano International Forum
Room name
Conference Room 2
Floor
1
Room number
2
Capacity
60
Room Information
No extra information available
Program
Detailed Table
Session Timeline
Detailed Timeline
Program Display Configuration
Time Zone
The program is currently displayed in
(GMT+09:00) Osaka, Sapporo, Tokyo
.
Use conference time zone: (GMT+09:00) Osaka, Sapporo, Tokyo
Select other time zone
(GMT-12:00) AoE (Anywhere On Earth)
(GMT-11:00) Midway Island, Samoa
(GMT-09:00) Hawaii-Aleutian
(GMT-10:00) Hawaii
(GMT-09:30) Marquesas Islands
(GMT-09:00) Gambier Islands
(GMT-08:00) Alaska
(GMT-07:00) Tijuana, Baja California
(GMT-08:00) Pitcairn Islands
(GMT-07:00) Pacific Time (US & Canada)
(GMT-06:00) Mountain Time (US & Canada)
(GMT-06:00) Chihuahua, La Paz, Mazatlan
(GMT-07:00) Arizona
(GMT-06:00) Saskatchewan, Central America
(GMT-05:00) Guadalajara, Mexico City, Monterrey
(GMT-05:00) Easter Island
(GMT-05:00) Central Time (US & Canada)
(GMT-04:00) Eastern Time (US & Canada)
(GMT-04:00) Cuba
(GMT-05:00) Bogota, Lima, Quito, Rio Branco
(GMT-04:00) Caracas
(GMT-03:00) Santiago
(GMT-04:00) La Paz
(GMT-03:00) Faukland Islands
(GMT-04:00) Manaus, Amazonas, Brazil
(GMT-03:00) Atlantic Time (Goose Bay)
(GMT-03:00) Atlantic Time (Canada)
(GMT-02:30) Newfoundland
(GMT-03:00) UTC-3
(GMT-03:00) Montevideo
(GMT-02:00) Miquelon, St. Pierre
(GMT-02:00) Greenland
(GMT-03:00) Buenos Aires
(GMT-03:00) Brasilia, Distrito Federal, Brazil
(GMT-02:00) Mid-Atlantic
(GMT-01:00) Cape Verde Is.
(GMT) Azores
(UTC) Coordinated Universal Time
(GMT+01:00) Belfast
(GMT+01:00) Dublin
(GMT+01:00) Lisbon
(GMT+01:00) London
(GMT) Monrovia, Reykjavik
(GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
(GMT+02:00) Belgrade, Bratislava, Budapest, Ljubljana, Prague
(GMT+02:00) Brussels, Copenhagen, Madrid, Paris
(GMT+01:00) West Central Africa
(GMT+02:00) Windhoek
(GMT+03:00) Athens
(GMT+03:00) Beirut
(GMT+02:00) Cairo
(GMT+03:00) Gaza
(GMT+02:00) Harare, Pretoria
(GMT+03:00) Jerusalem
(GMT+03:00) Minsk
(GMT+03:00) Syria
(GMT+03:00) Moscow, St. Petersburg, Volgograd
(GMT+03:00) Nairobi
(GMT+04:30) Tehran
(GMT+04:00) Abu Dhabi, Muscat
(GMT+04:00) Yerevan
(GMT+04:30) Kabul
(GMT+05:00) Ekaterinburg
(GMT+05:00) Tashkent
(GMT+05:30) Chennai, Kolkata, Mumbai, New Delhi
(GMT+05:45) Kathmandu
(GMT+06:00) Astana, Dhaka
(GMT+07:00) Novosibirsk
(GMT+06:30) Yangon (Rangoon)
(GMT+07:00) Bangkok, Hanoi, Jakarta
(GMT+07:00) Krasnoyarsk
(GMT+08:00) Beijing, Chongqing, Hong Kong, Urumqi
(GMT+08:00) Irkutsk, Ulaan Bataar
(GMT+08:00) Perth
(GMT+08:45) Eucla
(GMT+09:00) Osaka, Sapporo, Tokyo
(GMT+09:00) Seoul
(GMT+09:00) Yakutsk
(GMT+09:30) Adelaide
(GMT+09:30) Darwin
(GMT+10:00) Brisbane
(GMT+10:00) Hobart
(GMT+10:00) Vladivostok
(GMT+10:30) Lord Howe Island
(GMT+11:00) Solomon Is., New Caledonia
(GMT+11:00) Magadan
(GMT+11:00) Norfolk Island
(GMT+12:00) Anadyr, Kamchatka
(GMT+12:00) Auckland, Wellington
(GMT+12:00) Fiji, Kamchatka, Marshall Is.
(GMT+12:45) Chatham Islands
(GMT+13:00) Nuku'alofa
(GMT+14:00) Kiritimati
The GMT offsets shown reflect the offsets
at the moment of the conference
.
Time Band
By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.
Display full program
Specify a time band
-
Save
×
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 Talk
Scheme
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
10:45 - 12:15
Scheming
Scheme
at
Conference Room 2
10:45
30m
Talk
A Scheme concurrency library
Scheme
Takashi Kato
11:15
30m
Talk
Nash: a tracing JIT for Extension Language
Scheme
Atsuro Hoshino
11:45
30m
Talk
Ghosts in the machine
Scheme
Daniel Szmulewicz
None
14:00 - 15:00
Invited Talk
Scheme
at
Conference Room 2
14:00
20m
Talk
R7RS update
Scheme
14:20
40m
Talk
GNU Guix: The Functional GNU/Linux Distro That’s a Scheme Library
Scheme
Ludovic Courtès
INRIA
15:30 - 16:30
Functional Programming
Scheme
at
Conference Room 2
15:30
30m
Talk
Function compose, Type cut, And the Algebra of logic
Scheme
Yuheng Xie
16:00
30m
Talk
Multi-purpose web framework design based on websocket over HTTP Gateway
Scheme
Mu Lei
17:00 - 18:00
Scheming
Scheme
at
Conference Room 2
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 Talk
FHPC
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 Languages
FHPC
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 Generation
FHPC
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
GPUs
FHPC
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 Dataflow
FHPC
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 Processing
FHPC
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
DIscussion
FHPC
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
09:15 - 10:15
Invited Keynote Talk
Erlang
at
Conference Room 2
09:15
10m
Day opening
Opening & Welcome
Erlang
09:25
50m
Talk
Keynote: Solutions to distributed system problems, 'Akka', actors.
Erlang
María del Mar Rubio González
10:35 - 11:25
Scalability and Distribution
Erlang
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
Laura M. Castro
University of A Coruña
,
J. Daniel Fernandez
,
Carlos Lopez Pampin
14:00 - 14:50
Tools
Erlang
at
Conference Room 2
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
Andreas Löscher
,
Konstantinos (Kostis) Sagonas
15:20 - 16:10
Poster presentations
Erlang
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 News
Erlang
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
Room
9:00
30
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
17:00
30
Conference Room 2
Scheme
Invited Talk
Scheme
Scheming
Scheme
Invited Talk
Scheme
Functional Programming
Scheme
Scheming
Thu 22 Sep
Displayed time zone:
Osaka, Sapporo, Tokyo
change
Room
9:00
30
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
17:00
30
Conference Room 2
FHPC
Invited Talk
FHPC
Domain Specific Languages
FHPC
Code Generation
FHPC
GPUs
FHPC
Streaming and Dataflow
FHPC
Graph Processing
FHPC
DIscussion
Fri 23 Sep
Displayed time zone:
Osaka, Sapporo, Tokyo
change
Room
9:00
30
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
17:00
30
Conference Room 2
Erlang
Invited Keynote Talk
Erlang
Scalability and Distribution
Erlang
Experience report presentations
Erlang
Tools
Erlang
Poster presentations
Erlang
Erlang in Robotics & Erlang Latest News
Sun 18 Sep
Displayed time zone:
Osaka, Sapporo, Tokyo
change
Room
9:00
15
30
45
10:00
15
30
45
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
15:00
15
30
45
16:00
15
30
45
17:00
15
30
45
Conference Room 2
Scheme
Opening Remarks
09:15 - 09:25
Scheme
A verified Lisp implementation for a verified theorem prover
09:25 - 10:15
Scheme
A Scheme concurrency library
10:45 - 11:15
Scheme
Nash: a tracing JIT for Extension Language
11:15 - 11:45
Scheme
Ghosts in the machine
11:45 - 12:15
Scheme
R7RS update
14:00 - 14:20
Scheme
GNU Guix: The Functional GNU/Linux Distro That’s a Scheme Library
14:20 - 15:00
Scheme
Function compose, Type cut, And the Algebra of logic
15:30 - 16:00
Scheme
Multi-purpose web framework design based on websocket over HTTP Gateway
16:00 - 16:30
Scheme
miniAdapton: A Minimal Implementation of Incremental Computation in Scheme
17:00 - 17:30
Scheme
Deriving Pure, Functional One-Pass Operations for Processing Tail-Align ...
17:30 - 18:00
Thu 22 Sep
Displayed time zone:
Osaka, Sapporo, Tokyo
change
Room
9:00
15
30
45
10:00
15
30
45
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
15:00
15
30
45
16:00
15
30
45
17:00
15
30
45
Conference Room 2
FHPC
From Identification of Parallelizability to Derivation of Parallelizabl ...
09:15 - 10:15
FHPC
Icicle: Write Once, Run Once
10:35 - 11:00
FHPC
Using Fusion to Enable Late Design Decisions for Pipelined Computations
11:00 - 11:25
FHPC
Automatic Generation of Efficient Codes from Mathematical Descriptions ...
11:45 - 12:10
FHPC
JIT Costing Adaptive Skeletons for Performance Portability
12:10 - 12:35
FHPC
Low-Level Functional GPU Programming for Parallel Algorithms
14:00 - 14:25
FHPC
APL on GPUs: A TAIL from the Past, Scribbled in Futhark
14:25 - 14:50
FHPC
Streaming Nested Data Parallelism on Multicores
15:20 - 15:45
FHPC
Polarized Data Parallel Data Flow
15:45 - 16:10
FHPC
s6raph: Vertex-Centric Graph Processing Framework with Functional Interface
16:40 - 17:05
FHPC
Discussion
17:05 - 18:00
Fri 23 Sep
Displayed time zone:
Osaka, Sapporo, Tokyo
change
Room
9:00
15
30
45
10:00
15
30
45
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
15:00
15
30
45
16:00
15
30
45
17:00
15
30
45
Conference Room 2
Erlang
Opening & Welcome
09:15 - 09:25
Erlang
Keynote: Solutions to distributed system problems, 'Akka', actors.
09:25 - 10:15
Erlang
A Scalable Reliable Instant Messenger using the SD Erlang Libraries
10:35 - 11:00
Erlang
CRDTs for the Configuration of Distributed Erlang Systems
11:00 - 11:25
Erlang
Observing the consistency of distributed systems
11:45 - 12:10
Erlang
Making everybody comfortable with Erlang: a SCADA system for thermal co ...
12:10 - 12:35
Erlang
Profiling Actor Utilization and Communication in Akka
14:00 - 14:25
Erlang
The Nifty Way to Call Hell from Heaven
14:25 - 14:50
Erlang
Automatic generation of UML sequence diagrams from test counterexamples
15:20 - 15:45
Erlang
Towards Semi-Automatic Data-Type Translation for Parallelism in Erlang
15:45 - 16:10
Erlang
Towards Reliable and Scalable Robot Communication
16:40 - 17:05
Erlang
Erlang latest news
17:05 - 17:30
Erlang
Farewell & Closing
17:30 - 18:00
x
Sat 21 Dec 14:53