SPLASH 2018
Sun 4 - Fri 9 November 2018 Boston, Massachusetts, United States
SPLASH 2018 (series) / Boston Park Plaza Hotel /

Room information: Cabot

VenueBoston Park Plaza Hotel
Room nameCabot
Floor4
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

Mon 5 Nov

Displayed time zone: Guadalajara, Mexico City, Monterrey change

08:30 - 10:00
Keynote: WrigstadAGERE at Cabot
08:30
15m
Talk
Welcome and Introduction
AGERE

08:45
75m
Talk
Concurrency vs. Parallelism in Encore (...and Types)Keynote
AGERE
Tobias Wrigstad Uppsala University
10:30 - 12:00
Distributed SystemsAGERE at Cabot
10:30
30m
Talk
A Configurable Transport Layer for CAF
AGERE
Raphael Hiesgen HAW Hamburg, Dominik Charousset , Thomas C. Schmidt HAW Hamburg
Link to publication DOI File Attached
11:00
30m
Talk
Distributed Functional Reactive Programming on Actor-Based Runtime
AGERE
Kazuhiro Shibanai Tokyo Institute of Technology, Takuo Watanabe Tokyo Institute of Technology
Link to publication DOI
11:30
30m
Talk
Observable atomic consistency for CvRDTs
AGERE
Xin Zhao KTH Royal Institute of Technology, Philipp Haller KTH, Sweden
13:30 - 15:00
Parallel SystemsAGERE at Cabot
13:30
30m
Talk
Chocola: Integrating Futures, Actors, and Transactions
AGERE
Janwillem Swalens Vrije Universiteit Brussel, Joeri De Koster Vrije Universiteit Brussel, Belgium, Wolfgang De Meuter Vrije Universiteit Brussel
Pre-print
14:00
30m
Talk
Concurrent Garbage Collection in the Actor Model
AGERE
Dan Plyukhin , Gul Agha University of Illinois at Urbana-Champaign, USA
14:30
30m
Talk
Attached and Detached Closures in Actors
AGERE
Elias Castegren Uppsala University, Dave Clarke Uppsala Univ. Sweden and KU Leuvern, Kiko Fernandez-Reyes Uppsala University, Tobias Wrigstad Uppsala University, Albert Mingkun Yang Uppsala University
15:30 - 17:00
WIPAGERE at Cabot
15:30
30m
Talk
Implementing Linking in Multiparty Sessions
AGERE
Hanwen Wu , Hongwei Xi Boston University
16:00
30m
Talk
Compositional Programming and Testing of Actor Programs
AGERE
Ankush Desai University of California, Berkeley, Shaz Qadeer Microsoft Research, Sanjit Seshia UC Berkeley

Tue 6 Nov

Displayed time zone: Guadalajara, Mexico City, Monterrey change

08:00 - 10:00
AI SEPSAI-SEPS at Cabot
Chair(s): Ali Jannesari Iowa State University, Yukinori Sato Toyohashi University of Technology
08:00
50m
Talk
Deep Learning at ScaleKeynote
AI-SEPS
Prabhat NERSC, Berkeley Lab
08:50
25m
Talk
PIRA: Performance Instrumentation Refinement Automation
AI-SEPS
Jan-Patrick Lehr Graduate School of Computational Engineering, TU Darmstadt, Alexander Hück Institute for Scientific Computing, TU Darmstadt, Christian Bischof Scientific Computing, TU Darmstadt
09:15
15m
Talk
PyGA: A Python to FPGA compiler prototype
AI-SEPS
Yohann Uguen Univ Lyon, INSA Lyon, Inria, CITI, Eric Petit Intel, France
09:30
30m
Talk
Panel discussion
AI-SEPS
P: Yukinori Sato Toyohashi University of Technology, P: Ali Jannesari Iowa State University, P: Shigeru Chiba The University of Tokyo
10:30 - 12:00
Keynote: StieglerOCAP at Cabot
Chair(s): Marc Stiegler
10:30
60m
Talk
Lost Wisdom of the Ancients
OCAP
Marc Stiegler
11:30
30m
Talk
OCAP Patterns Panel
OCAP
Marc Stiegler , James Noble Victoria University of Wellington, Alan Karp , JF Paradis Salesforce
13:30 - 15:00
Capabilities and EffectsOCAP at Cabot
13:30
30m
Talk
Designing with Static Capabilities and Effects
OCAP
Colin Gordon Drexel University
14:00
60m
Talk
Formal Methods Panel
OCAP
James Noble Victoria University of Wellington, Philipp Haller KTH, Sweden, Colin Gordon Drexel University
15:30 - 17:00
Research DirectionsOCAP at Cabot
15:30
45m
Talk
Using a JavaScript Ocap Security Kernel at Scale
OCAP
JF Paradis Salesforce
16:15
45m
Talk
Ocaps & Crypto-commerce
OCAP
Jonathan Aldrich Carnegie Mellon University, Mark Miller Agoric, Chris Lemmer Webber

Mon 5 Nov

Displayed time zone: Guadalajara, Mexico City, Monterrey change

Room8:00309:003010:003011:003012:003013:003014:003015:003016:0030
Cabot

AGERE

Keynote: Wrigstad

AGERE

Distributed Systems

AGERE

Parallel Systems

AGERE

WIP

Tue 6 Nov

Displayed time zone: Guadalajara, Mexico City, Monterrey change

Room8:00309:003010:003011:003012:003013:003014:003015:003016:0030
Cabot

AI-SEPS

AI SEPS

OCAP

Keynote: Stiegler

OCAP

Capabilities and Effects

OCAP

Research Directions

Mon 5 Nov

Displayed time zone: Guadalajara, Mexico City, Monterrey change

Room8:001530459:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:00153045
Cabot
AGERE
Welcome and Introduction
08:30 - 08:45
AGEREKeynote
Concurrency vs. Parallelism in Encore (...and Types)
08:45 - 10:00
AGERE
A Configurable Transport Layer for CAF
10:30 - 11:00
AGERE
Distributed Functional Reactive Programming on Actor-Based Runtime
11:00 - 11:30
AGERE
Observable atomic consistency for CvRDTs
11:30 - 12:00
AGERE
Chocola: Integrating Futures, Actors, and Transactions
13:30 - 14:00
AGERE
Concurrent Garbage Collection in the Actor Model
14:00 - 14:30
AGERE
Attached and Detached Closures in Actors
14:30 - 15:00
AGERE
Implementing Linking in Multiparty Sessions
15:30 - 16:00
AGERE
Compositional Programming and Testing of Actor Programs
16:00 - 16:30

Tue 6 Nov

Displayed time zone: Guadalajara, Mexico City, Monterrey change

Room8:001530459:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:00153045
Cabot
AI-SEPSKeynote
Deep Learning at Scale
08:00 - 08:50
AI-SEPS
PIRA: Performance Instrumentation Refinement Automation
08:50 - 09:15
AI-SEPS
PyGA: A Python to FPGA compiler prototype
09:15 - 09:30
AI-SEPS
Panel discussion
09:30 - 10:00
OCAP
Lost Wisdom of the Ancients
10:30 - 11:30
OCAP
OCAP Patterns Panel
11:30 - 12:00
OCAP
Designing with Static Capabilities and Effects
13:30 - 14:00
OCAP
Formal Methods Panel
14:00 - 15:00
OCAP
Using a JavaScript Ocap Security Kernel at Scale
15:30 - 16:15
OCAP
Ocaps & Crypto-commerce
16:15 - 17:00