SLEBoK 2018
Sun 4 - Fri 9 November 2018 Boston, Massachusetts, United States
co-located with SPLASH 2018
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
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
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

Tue 6 Nov

Displayed time zone: Guadalajara, Mexico City, Monterrey change

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

Tue 6 Nov

Displayed time zone: Guadalajara, Mexico City, Monterrey change