Write a Blog >>
SPLASH 2017
Sun 22 - Fri 27 October 2017 Vancouver, Canada
SPLASH 2017 (series) / Hyatt Regency Vancouver /

Room information: Cavendish

VenueHyatt Regency Vancouver
Room nameCavendish
Floor4
Capacity25
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 23 Oct

Displayed time zone: Tijuana, Baja California change

08:30 - 10:00
WODAWODA at Cavendish
Chair(s): Jeff Huang Texas A&M University, Ben Livshits Imperial College London, UK
08:30
45m
Talk
Forget the Garbagemen, We Need a Plumber
WODA
Emery D. Berger University of Massachusetts, Amherst
09:15
45m
Talk
Pushing Predictive Data Race Detection to the Limit
WODA
Michael D. Bond Ohio State University
10:30 - 12:00
WODAWODA at Cavendish
Chair(s): Jeff Huang Texas A&M University, Ben Livshits Imperial College London, UK
10:30
45m
Talk
Strong Memory Models: 5 Simple Tricks to Beat SC
WODA
Milind Kulkarni Purdue University
11:15
20m
Talk
Constructing Dynamic Control Flow Graphs from Execution Traces
WODA
Jesse Bartels , Jon Stephens , Saumya Debray University of Arizona
11:35
20m
Talk
Dynamic Verification of Inter-parameter Constraints in Web Applications
WODA
Nathalie Oostvogels , Joeri De Koster Vrije Universiteit Brussel, Belgium, Wolfgang De Meuter Vrije Universiteit Brussel
13:30 - 15:00
WODAWODA at Cavendish
Chair(s): Jeff Huang Texas A&M University, Ben Livshits Imperial College London, UK
13:30
45m
Talk
Finding Bugs and Insights in Semi-structured Data
WODA
Benjamin Zorn Microsoft Research
14:15
45m
Talk
Calling-to-Reference Context Translation via Constraint-Guided Context-Free-Language Reachability
WODA
Harry Xu University of California, Irvine
15:30 - 17:00
WODAWODA at Cavendish
Chair(s): Jeff Huang Texas A&M University, Ben Livshits Imperial College London, UK
15:30
30m
Talk
Model Checking with Maximal Causality Reduction
WODA
Jeff Huang Texas A&M University
16:00
30m
Talk
Better Program Analysis Through Heap Profiling
WODA
Neville Grech
16:30
30m
Talk
Can Analysis be Too Precise?
WODA
Sam Guyer Tufts University

Tue 24 Oct

Displayed time zone: Tijuana, Baja California change

08:30 - 10:00
Welcome and KeynoteOCAP at Cavendish
Chair(s): Mark Miller Google Inc.
08:30
30m
Talk
Welcome
OCAP

09:00
60m
Talk
Keynote by Norm Hardy
OCAP
Norm Hardy
10:30 - 12:00
Session 1OCAP at Cavendish
10:30
30m
Talk
CapNet: Security and Least Authority in a Capability-Enabled Cloud
OCAP
Anton Burtsev University of California, Irvine, David Johnson University of Utah, Josh Kunz University of Utah, Eric Eide University of Utah, Jacobus Van der Merwe University of Utah
11:00
30m
Talk
Monte: A Spiritual Successor to E
OCAP
Corbin Simpson Matador Cloud LLC
11:30
30m
Talk
Using Object Capabilities and Effects to Build an Authority-Safe Module System
OCAP
Darya Melicher Carnegie Mellon University, Yangqingwei Shi Peking University, Valerie Zhao Wellesley College, Alex Potanin Victoria University of Wellington, Jonathan Aldrich Carnegie Mellon University
13:30 - 15:00
Session 2OCAP at Cavendish
13:30
30m
Talk
Capabilities and Effects
OCAP
Aaron Craig ECS, VUW, Alex Potanin Victoria University of Wellington, Lindsay Groves Victoria University of Wellington, Jonathan Aldrich Carnegie Mellon University
Pre-print
14:00
30m
Talk
Reference Capabilities for Concurrency & Scalability: an Experience Report
OCAP
Elias Castegren Uppsala University, Tobias Wrigstad Uppsala University
14:30
30m
Talk
Unforgeable Distributed Capabilities
OCAP
Alan Karp
15:30 - 17:00
Session 3OCAP at Cavendish
15:30
30m
Talk
Specifying Attenuation
OCAP
Shu-Peng Loh Imperial College London, Sophia Drossopoulou
16:00
60m
Talk
Panel/Discussion
OCAP

Mon 23 Oct

Displayed time zone: Tijuana, Baja California change

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

WODA

WODA

WODA

WODA

WODA

WODA

WODA

WODA

Tue 24 Oct

Displayed time zone: Tijuana, Baja California change

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

OCAP

Welcome and Keynote

OCAP

Session 1

OCAP

Session 2

OCAP

Session 3

Mon 23 Oct

Displayed time zone: Tijuana, Baja California change

Room8:001530459:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:00153045
Cavendish
WODA
Forget the Garbagemen, We Need a Plumber
08:30 - 09:15
WODA
Pushing Predictive Data Race Detection to the Limit
09:15 - 10:00
WODA
Strong Memory Models: 5 Simple Tricks to Beat SC
10:30 - 11:15
WODA
Constructing Dynamic Control Flow Graphs from Execution Traces
11:15 - 11:35
WODA
Dynamic Verification of Inter-parameter Constraints in Web Applications
11:35 - 11:55
WODA
Finding Bugs and Insights in Semi-structured Data
13:30 - 14:15
WODA
Calling-to-Reference Context Translation via Constraint-Guided Context- ...
14:15 - 15:00
WODA
Model Checking with Maximal Causality Reduction
15:30 - 16:00
WODA
Better Program Analysis Through Heap Profiling
16:00 - 16:30
WODA
Can Analysis be Too Precise?
16:30 - 17:00

Tue 24 Oct

Displayed time zone: Tijuana, Baja California change

Room8:001530459:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:00153045
Cavendish
OCAP
Welcome
08:30 - 09:00
OCAP
Keynote by Norm Hardy
09:00 - 10:00
OCAP
CapNet: Security and Least Authority in a Capability-Enabled Cloud
10:30 - 11:00
OCAP
Monte: A Spiritual Successor to E
11:00 - 11:30
OCAP
Using Object Capabilities and Effects to Build an Authority-Safe Module ...
11:30 - 12:00
OCAP
Capabilities and Effects
13:30 - 14:00
OCAP
Reference Capabilities for Concurrency & Scalability: an Experience Report
14:00 - 14:30
OCAP
Unforgeable Distributed Capabilities
14:30 - 15:00
OCAP
Specifying Attenuation
15:30 - 16:00
OCAP
Panel/Discussion
16:00 - 17:00