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

Conference Day
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 ShinnIndeed.com
09:25
50m
Talk
A verified Lisp implementation for a verified theorem prover
Scheme
Magnus O. MyreenChalmers 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 HammerUniversity of Colorado, Boulder, William E. ByrdUniversity of Utah, Matthew MightUniversity of Utah, USA
17:30
30m
Talk
Deriving Pure, Functional One-Pass Operations for Processing Tail-Aligned Lists
Scheme
Jason HemannIndiana University, Daniel FriedmanIndiana University

Conference Day
Thu 22 Sep

Displayed time zone: Osaka, Sapporo, Tokyo change

09:15 - 10:15
Invited TalkFHPC at Conference Room 2
Chair(s): Yukiyoshi KameyamaUniversity of Tsukuba
09:15
60m
Talk
From Identification of Parallelizability to Derivation of Parallelizable Codes
FHPC
Akimasa MorihataUniversity of Tokyo, Japan
10:35 - 11:25
Domain Specific LanguagesFHPC at Conference Room 2
Chair(s): Zhenjiang HuNational Institute of Informatics, Japan
10:35
25m
Talk
Icicle: Write Once, Run Once
FHPC
Amos RobinsonAmbiata (Australia), Ben LippmeierUniversity of New South Wales
11:00
25m
Talk
Using Fusion to Enable Late Design Decisions for Pipelined Computations
FHPC
Mate KaracsonyEötvös Loránd University, Koen ClaessenChalmers University of Technology
11:45 - 12:35
Code GenerationFHPC at Conference Room 2
Chair(s): Jost BertholdCommonwealth Bank, Australia
11:45
25m
Talk
Automatic Generation of Efficient Codes from Mathematical Descriptions of Stencil Computation
FHPC
Takayuki MuranushiRIKEN, Seiya NishizawaRIKEN, Hirofumi TomitaRIKEN, Keigo NitadoriRIKEN, Masaki IwasawaRIKEN, Yutaka Maruyama, Hisashi YashiroRIKEN, Yoshifumi NakamuraRIKEN, Hideyuki HottaUniversity of Chile, Chile, Junichiro MakinoKobe University, Natsuki HosonoKyoto University, Hikaru InoueFujitsu Limited
12:10
25m
Talk
JIT Costing Adaptive Skeletons for Performance Portability
FHPC
Patrick MaierUniversity of Glasgow, John Magnus MotronUniversity of Glasgow, Phil TrinderUniversity of Glasgow
14:00 - 14:50
GPUsFHPC at Conference Room 2
Chair(s): Ben LippmeierUniversity of New South Wales
14:00
25m
Talk
Low-Level Functional GPU Programming for Parallel Algorithms
FHPC
Martin Dybdal, Martin ElsmanDepartment of Computer Science, University of Copenhagen, Bo Joel SvenssonChalmers University of Technology, Sweden, Mary SheeranChalmers University of Technology
14:25
25m
Talk
APL on GPUs: A TAIL from the Past, Scribbled in Futhark
FHPC
Troels HenriksenDIKU, University of Copenhagen, Martin Dybdal, Henrik UrmsDIKU, University of Copenhagen, Anna Sofie KiehnDIKU, University of Copenhagen, Daniel GavinDIKU, University of Copenhagen, Hjalte AbelskovDIKU, University of Copenhagen, Martin ElsmanDepartment of Computer Science, University of Copenhagen, Cosmin OanceaDIKU, University of Copenhagen
15:20 - 16:10
Streaming and DataflowFHPC at Conference Room 2
Chair(s): Hai LiuIntel Labs
15:20
25m
Talk
Streaming Nested Data Parallelism on Multicores
FHPC
Frederik M. MadsenDIKU, University of Copenhagen, Andrzej FilinskiDIKU, University of Copenhagen
15:45
25m
Talk
Polarized Data Parallel Data Flow
FHPC
Ben LippmeierUniversity of New South Wales, Fil MackayVertigo Technology (Australia), Amos RobinsonAmbiata (Australia)
16:40 - 17:05
Graph ProcessingFHPC at Conference Room 2
Chair(s): Yukiyoshi KameyamaUniversity of Tsukuba
16:40
25m
Talk
s6raph: Vertex-Centric Graph Processing Framework with Functional Interface
FHPC
Onofre Coll RuizKochi University of Technology, Kiminori MatsuzakiKochi University of Technology, Japan, Shigeyuki SatoKochi University of Technology
17:05 - 18:00
DIscussionFHPC at Conference Room 2
Chair(s): David DukeUniversity of Leeds
17:05
55m
Talk
Discussion
FHPC

Conference Day
Fri 23 Sep

Displayed time zone: Osaka, Sapporo, Tokyo change

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ősErlang Solutions Ltd., Annette BieniusaTechnischen 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. ChenIBM Research Lab Zurich, Walter BinderUniversity of Lugano
14:25
25m
Talk
The Nifty Way to Call Hell from Heaven
Erlang
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 ChechinaUniversity of Glasgow, Gerardo Aragon-Camarasa, Phil TrinderUniversity of Glasgow
17:05
25m
Talk
Erlang latest news
Erlang

17:30
30m
Day closing
Farewell & Closing
Erlang

Conference Day
Sun 18 Sep

Displayed time zone: Osaka, Sapporo, Tokyo change

Conference Day
Thu 22 Sep

Displayed time zone: Osaka, Sapporo, Tokyo change