Write a Blog >>
SPLASH 2017
Sun 22 - Fri 27 October 2017 Vancouver, Canada
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

Conference Day
Mon 23 Oct

Displayed time zone: Tijuana, Baja California change

08:30 - 10:00
WODAWODA at Cavendish
Chair(s): Jeff HuangTexas A&M University, Ben LivshitsImperial College London, UK
08:30
45m
Talk
Forget the Garbagemen, We Need a Plumber
WODA
Emery D. BergerUniversity of Massachusetts, Amherst
09:15
45m
Talk
Pushing Predictive Data Race Detection to the Limit
WODA
Michael D. BondOhio State University
10:30 - 12:00
WODAWODA at Cavendish
Chair(s): Jeff HuangTexas A&M University, Ben LivshitsImperial College London, UK
10:30
45m
Talk
Strong Memory Models: 5 Simple Tricks to Beat SC
WODA
Milind KulkarniPurdue University
11:15
20m
Talk
Constructing Dynamic Control Flow Graphs from Execution Traces
WODA
11:35
20m
Talk
Dynamic Verification of Inter-parameter Constraints in Web Applications
WODA
Nathalie Oostvogels, Joeri De KosterVrije Universiteit Brussel, Belgium, Wolfgang De MeuterVrije Universiteit Brussel
13:30 - 15:00
WODAWODA at Cavendish
Chair(s): Ben LivshitsImperial College London, UK, Jeff HuangTexas A&M University
13:30
45m
Talk
Finding Bugs and Insights in Semi-structured Data
WODA
Benjamin ZornMicrosoft Research
14:15
45m
Talk
Calling-to-Reference Context Translation via Constraint-Guided Context-Free-Language Reachability
WODA
Harry XuUniversity of California, Irvine
15:30 - 17:00
WODAWODA at Cavendish
Chair(s): Jeff HuangTexas A&M University, Ben LivshitsImperial College London, UK
15:30
30m
Talk
Model Checking with Maximal Causality Reduction
WODA
Jeff HuangTexas A&M University
16:00
30m
Talk
Better Program Analysis Through Heap Profiling
WODA
16:30
30m
Talk
Can Analysis be Too Precise?
WODA
Sam GuyerTufts University

Conference Day
Tue 24 Oct

Displayed time zone: Tijuana, Baja California change

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

09:00
60m
Talk
Keynote by Norm Hardy
OCAP
10:30 - 12:00
Session 1OCAP at Cavendish
10:30
30m
Talk
CapNet: Security and Least Authority in a Capability-Enabled Cloud
OCAP
Anton BurtsevUniversity of California, Irvine, David JohnsonUniversity of Utah, Josh KunzUniversity of Utah, Eric EideUniversity of Utah, Jacobus Van der MerweUniversity of Utah
11:00
30m
Talk
Monte: A Spiritual Successor to E
OCAP
Corbin SimpsonMatador Cloud LLC
11:30
30m
Talk
Using Object Capabilities and Effects to Build an Authority-Safe Module System
OCAP
Darya MelicherCarnegie Mellon University, Yangqingwei ShiPeking University, Valerie ZhaoWellesley College, Alex PotaninVictoria University of Wellington, Jonathan AldrichCarnegie Mellon University
13:30 - 15:00
Session 2OCAP at Cavendish
13:30
30m
Talk
Capabilities and Effects
OCAP
Aaron CraigECS, VUW, Alex PotaninVictoria University of Wellington, Lindsay GrovesVictoria University of Wellington, Jonathan AldrichCarnegie Mellon University
Pre-print
14:00
30m
Talk
Reference Capabilities for Concurrency & Scalability: an Experience Report
OCAP
Elias CastegrenUppsala University, Tobias WrigstadUppsala University
14:30
30m
Talk
Unforgeable Distributed Capabilities
OCAP
15:30 - 17:00
Session 3OCAP at Cavendish
15:30
30m
Talk
Specifying Attenuation
OCAP
Shu-Peng LohImperial College London, Sophia Drossopoulou
16:00
60m
Talk
Panel/Discussion
OCAP

Conference Day
Mon 23 Oct

Displayed time zone: Tijuana, Baja California change

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

Conference Day
Tue 24 Oct

Displayed time zone: Tijuana, Baja California change

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

Conference Day
Tue 24 Oct

Displayed time zone: Tijuana, Baja California change