VenueBoston Park Plaza Hotel
Room nameCharles River
Floor4
Additional informationThere is no additional information of this room available.
Program

You're viewing the program in a time zone which is different from your device's time zone - change time zone

Tue 6 Nov
Times are displayed in time zone: Guadalajara, Mexico City, Monterrey change

08:30 - 10:00: IDocSymposium at Charles River
Chair(s): Philipp HallerKTH, Sweden
08:30 - 08:33
Day opening
Welcome and Introduction
DocSymposium
Philipp HallerKTH, Sweden
08:33 - 08:45
Talk
Lightning Talks
DocSymposium
Philipp HallerKTH, Sweden
08:45 - 09:30
Talk
A DSL for Distributed, Reactive Workflows
DocSymposium
Mathijs SaeyVrije Universiteit Brussel
09:30 - 10:00
Talk
Invited Talk 1
DocSymposium
Heather MillerCarnegie Mellon University
10:30 - 12:00: IIDocSymposium at Charles River
Chair(s): Philipp HallerKTH, Sweden
10:30 - 11:15
Talk
Building Correct and Safe Distributed Systems
DocSymposium
Maryam DabaghchianUniversity of Utah
11:15 - 12:00
Talk
The Software Architecture of Economy Mechanics in Digital Games
DocSymposium
Wilson MizutaniUniversity of São Paulo
15:30 - 17:00: IVDocSymposium at Charles River
Chair(s): Philipp HallerKTH, Sweden
15:30 - 16:15
Talk
Automated Rule Inference for Cryptographic APIs through Source Code Repositories
DocSymposium
16:15 - 16:45
Talk
Invited Talk 2
DocSymposium
Ross TateCornell University
16:45 - 16:50
Day closing
Closing Remarks
DocSymposium
Philipp HallerKTH, Sweden

Tue 6 Nov
Times are displayed in time zone: Guadalajara, Mexico City, Monterrey change

Room8:00309:003010:003011:003012:003013:003014:003015:003016:0030
Charles River