DSLDI 2018
Sun 4 - Fri 9 November 2018
Boston, Massachusetts, United States
co-located with
SPLASH 2018
Toggle navigation
Attending
Venue: Boston Park Plaza Hotel
Program
DSLDI Program
Your Program
Sun 4 Nov
Mon 5 Nov
Tue 6 Nov
Wed 7 Nov
Thu 8 Nov
Fri 9 Nov
Track/Call
Organization
DSLDI 2018 Committees
Track Committees
Organizing Committee
Program Committee
Contributors
People Index
Search
Series
Series
DSLDI 2018
DSLDI 2017
DSLDI 2016
DSLDI 2015
DSLDI
Sign in
Sign up
SPLASH 2018
(
series
) /
DSLDI 2018 (
series
) /
Boston Park Plaza Hotel
/
Room information: Cabot
Venue
Boston Park Plaza Hotel
Room name
Cabot
Floor
4
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-05:00) Guadalajara, Mexico City, Monterrey
.
Use conference time zone: (GMT-05:00) Guadalajara, Mexico City, Monterrey
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-07: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-05: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-03:00) Manaus, Amazonas, Brazil
(GMT-04:00) Atlantic Time (Goose Bay)
(GMT-04:00) Atlantic Time (Canada)
(GMT-03:30) Newfoundland
(GMT-03:00) UTC-3
(GMT-03:00) Montevideo
(GMT-03:00) Miquelon, St. Pierre
(GMT-03:00) Greenland
(GMT-03:00) Buenos Aires
(GMT-02:00) Brasilia, Distrito Federal, Brazil
(GMT-02:00) Mid-Atlantic
(GMT-01:00) Cape Verde Is.
(GMT-01:00) Azores
(UTC) Coordinated Universal Time
(GMT) Belfast
(GMT) Dublin
(GMT) Lisbon
(GMT) London
(GMT) Monrovia, Reykjavik
(GMT+01:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
(GMT+01:00) Belgrade, Bratislava, Budapest, Ljubljana, Prague
(GMT+01:00) Brussels, Copenhagen, Madrid, Paris
(GMT+01:00) West Central Africa
(GMT+02:00) Windhoek
(GMT+02:00) Athens
(GMT+02:00) Beirut
(GMT+02:00) Cairo
(GMT+02:00) Gaza
(GMT+02:00) Harare, Pretoria
(GMT+02:00) Jerusalem
(GMT+03:00) Minsk
(GMT+02:00) Syria
(GMT+03:00) Moscow, St. Petersburg, Volgograd
(GMT+03:00) Nairobi
(GMT+03: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+10:30) Adelaide
(GMT+09:30) Darwin
(GMT+10:00) Brisbane
(GMT+11:00) Hobart
(GMT+10:00) Vladivostok
(GMT+11:00) 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+13:00) Auckland, Wellington
(GMT+12:00) Fiji, Kamchatka, Marshall Is.
(GMT+13: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
Mon 5 Nov
Displayed time zone:
Guadalajara, Mexico City, Monterrey
change
08:30 - 10:00
Keynote: Wrigstad
AGERE
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 Systems
AGERE
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 Systems
AGERE
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
WIP
AGERE
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 SEPS
AI-SEPS
at
Cabot
Chair(s):
Ali Jannesari
Iowa State University
,
Yukinori Sato
Toyohashi University of Technology
08:00
50m
Talk
Deep Learning at Scale
Keynote
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: Stiegler
OCAP
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 Effects
OCAP
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 Directions
OCAP
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
Room
8:00
30
9:00
30
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
Cabot
AGERE
Keynote: Wrigstad
AGERE
Distributed Systems
AGERE
Parallel Systems
AGERE
WIP
Tue 6 Nov
Displayed time zone:
Guadalajara, Mexico City, Monterrey
change
Room
8:00
30
9:00
30
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
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
Room
8:00
15
30
45
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
Cabot
AGERE
Welcome and Introduction
08:30 - 08:45
AGERE
Keynote
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
Room
8:00
15
30
45
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
Cabot
AI-SEPS
Keynote
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
x
Tue 3 Dec 18:18