Write a Blog >>
CoCoS 2017
Sun 22 - Fri 27 October 2017 Vancouver, Canada
co-located with SPLASH 2017
VenueHyatt Regency Vancouver
Room nameOxford
Floor3
Capacity50
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 22 Oct

Displayed time zone: Tijuana, Baja California change

08:30 - 10:00
Session 1Parsing@SLE at Oxford
Chair(s): Eric Van Wyk University of Minnesota, USA
08:45
15m
Day opening
Welcome
Parsing@SLE
Eric Van Wyk University of Minnesota, USA, Jurgen Vinju Centrum Wiskunde & Informatica / Technische Universiteit Eindhoven
09:00
30m
Talk
Block Level Parallelism in Parsing Block Structured Languages
Parsing@SLE
Abhinav Jangda University of Massachusetts, Amherst
09:30
30m
Talk
Parsing techniques for graph analysis
Parsing@SLE
10:30 - 12:00
Session 2Parsing@SLE at Oxford
Chair(s): Jurgen Vinju Centrum Wiskunde & Informatica / Technische Universiteit Eindhoven
10:30
30m
Talk
A Modular SGLR Parsing Architecture for Systematic Performance Optimization
Parsing@SLE
Jasper Denkers TU Delft, Luis Eduardo de Souza Amorim Delft University of Technology, Netherlands, Michael Steindorfer Delft University of Technology, Netherlands, Eelco Visser Delft University of Technology
11:00
30m
Talk
System Test Failures Diagnosis Using Grammars Generated by Mining Event Logs
Parsing@SLE
11:30
30m
Talk
Parsing extensible type qualifiers in ableC
Parsing@SLE
Travis Carlson University of Minnesota, USA, Eric Van Wyk University of Minnesota, USA
13:30 - 15:00
Session 3Parsing@SLE at Oxford
Chair(s): Eric Van Wyk University of Minnesota, USA
14:00
30m
Talk
Declarative Disambiguation with Contextual Scoping
Parsing@SLE
Michael Steindorfer Delft University of Technology, Netherlands, Luis Eduardo de Souza Amorim Delft University of Technology, Netherlands
14:30
30m
Talk
Parsing @ IDE
Parsing@SLE
Vadim Zaytsev Raincode Labs, Belgium
15:30 - 17:00
Practical Guide to ParsingParsing@SLE at Oxford
Chair(s): Jurgen Vinju Centrum Wiskunde & Informatica / Technische Universiteit Eindhoven
15:30
90m
Other
Discussion of SLEBoK Practical Guide to Parsing
Parsing@SLE
Jurgen Vinju Centrum Wiskunde & Informatica / Technische Universiteit Eindhoven

Mon 23 Oct

Displayed time zone: Tijuana, Baja California change

08:30 - 10:00
Keynote: Sebastian BurckhardtREBLS at Oxford
08:30
90m
Talk
Keynote: Don’t Hit Refresh: Towards Automatic Reactivity for Distributed Services
REBLS
Sebastian Burckhardt Microsoft Research
10:30 - 12:00
Second sessionREBLS at Oxford
10:30
30m
Talk
Handling Partial Failures in Distributed Reactive Programming
REBLS
Florian Myter Vrije Universiteit Brussel, Belgium, Christophe Scholliers Universiteit Gent, Belgium, Wolfgang De Meuter Vrije Universiteit Brussel
Link to publication
11:00
30m
Talk
A DSL for Compensable and Interruptible Executions
REBLS
Hiroaki Inoue Graduate School of Informatics, Kyoto University, Tomoyuki Aotani Tokyo Institute of Technology, Atsushi Igarashi Kyoto University, Japan
11:30
30m
Talk
First-class Reactive Programs for CPS
REBLS
Christophe De Troyer , Jens Nicolay Vrije Universiteit Brussel, Belgium, Wolfgang De Meuter Vrije Universiteit Brussel
Pre-print
13:30 - 15:00
Third sessionREBLS at Oxford
13:30
30m
Talk
FRP IoT Modules as a Scala DSL
REBLS
Ben Calus imec - DistriNet, KU Leuven, Bob Reynders imec-DistriNet, KU Leuven, Belgium, Dominique Devriese KU Leuven, Job Noorman KU Leuven, Frank Piessens KU Leuven
14:00
30m
Talk
Tackling the Awkward Squad for Reactive Programming: The Actor-Reactor Model
REBLS
Sam Van den Vonder , Joeri De Koster Vrije Universiteit Brussel, Belgium, Florian Myter Vrije Universiteit Brussel, Belgium, Wolfgang De Meuter Vrije Universiteit Brussel
DOI Pre-print
14:30
30m
Talk
Verifiable Reactive Software
REBLS
15:30 - 17:00
Fourth sessionREBLS at Oxford

Sun 22 Oct

Displayed time zone: Tijuana, Baja California change

Mon 23 Oct

Displayed time zone: Tijuana, Baja California change

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