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
Times are displayed in time zone: Osaka, Sapporo, Tokyo change

09:15 - 10:15: Invited TalkScheme at Conference Room 2
09:15 - 09:25
Day opening
Opening Remarks
Scheme
Alex ShinnIndeed.com
09:25 - 10:15
Talk
A verified Lisp implementation for a verified theorem prover
Scheme
Magnus O. MyreenChalmers University of Technology, Sweden
14:00 - 15:00: Invited TalkScheme at Conference Room 2
14:00 - 14:20
Talk
R7RS update
Scheme
14:20 - 15:00
Talk
GNU Guix: The Functional GNU/Linux Distro That’s a Scheme Library
Scheme
17:00 - 18:00: SchemingScheme at Conference Room 2
17:00 - 17:30
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 - 18:00
Talk
Deriving Pure, Functional One-Pass Operations for Processing Tail-Aligned Lists
Scheme
Jason HemannIndiana University, Daniel FriedmanIndiana University

Thu 22 Sep
Times are displayed in time zone: Osaka, Sapporo, Tokyo change

09:15 - 10:15: Invited TalkFHPC at Conference Room 2
Chair(s): Yukiyoshi KameyamaUniversity of Tsukuba
09:15 - 10:15
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 - 11:00
Talk
Icicle: Write Once, Run Once
FHPC
Amos RobinsonAmbiata (Australia), Ben LippmeierUniversity of New South Wales
11:00 - 11:25
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 - 12:10
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 - 12:35
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 - 14:25
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 - 14:50
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 - 15:45
Talk
Streaming Nested Data Parallelism on Multicores
FHPC
Frederik M. MadsenDIKU, University of Copenhagen, Andrzej FilinskiDIKU, University of Copenhagen
15:45 - 16:10
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 - 17:05
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 - 18:00
Talk
Discussion
FHPC

Fri 23 Sep
Times are displayed in time zone: Osaka, Sapporo, Tokyo change

09:15 - 10:15: Invited Keynote TalkErlang at Conference Room 2
09:15 - 09:25
Day opening
Opening & Welcome
Erlang
09:25 - 10:15
Talk
Keynote: Solutions to distributed system problems, 'Akka', actors.
Erlang
10:35 - 11:25: Scalability and DistributionErlang at Conference Room 2
10:35 - 11:00
Talk
A Scalable Reliable Instant Messenger using the SD Erlang Libraries
Erlang
Natalia ChechinaUniversity of Glasgow, Mario Moro Hernandez, Phil TrinderUniversity of Glasgow
11:00 - 11:25
Talk
CRDTs for the Configuration of Distributed Erlang Systems
Erlang
11:45 - 12:35: Experience report presentations Erlang at Conference Room 2
11:45 - 12:10
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 - 12:35
Talk
Making everybody comfortable with Erlang: a SCADA system for thermal control
Erlang
14:00 - 14:50: ToolsErlang at Conference Room 2
14:00 - 14:25
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 - 14:50
Talk
The Nifty Way to Call Hell from Heaven
Erlang
15:20 - 16:10: Poster presentationsErlang at Conference Room 2
15:20 - 15:45
Other
Automatic generation of UML sequence diagrams from test counterexamples
Erlang
Daniel Carballa, Laura M. CastroUniversity of A Coruña
15:45 - 16:10
Other
Towards Semi-Automatic Data-Type Translation for Parallelism in Erlang
Erlang
Adam Barwell, Christopher Brown, Kevin HammondUniversity of St. Andrews, UK, David Castro-PerezUniversity of St. Andrews, UK
16:40 - 18:00: Erlang in Robotics & Erlang Latest NewsErlang at Conference Room 2
16:40 - 17:05
Talk
Towards Reliable and Scalable Robot Communication
Erlang
Andreea Lutac, Natalia ChechinaUniversity of Glasgow, Gerardo Aragon-Camarasa, Phil TrinderUniversity of Glasgow
17:05 - 17:30
Talk
Erlang latest news
Erlang
17:30 - 18:00
Day closing
Farewell & Closing
Erlang

Sun 18 Sep
Times are displayed in time zone: Osaka, Sapporo, Tokyo change

Thu 22 Sep
Times are displayed in time zone: Osaka, Sapporo, Tokyo change