Onward! 2017
Sun 22 - Fri 27 October 2017 Vancouver, Canada
co-located with SPLASH 2017
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
Times are displayed in 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 - 09:15
Talk
Forget the Garbagemen, We Need a Plumber
WODA
Emery D. BergerUniversity of Massachusetts, Amherst
09:15 - 10:00
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 - 11:15
Talk
Strong Memory Models: 5 Simple Tricks to Beat SC
WODA
Milind KulkarniPurdue University
11:15 - 11:35
Talk
Constructing Dynamic Control Flow Graphs from Execution Traces
WODA
11:35 - 11:55
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 - 14:15
Talk
Finding Bugs and Insights in Semi-structured Data
WODA
Benjamin ZornMicrosoft Research
14:15 - 15:00
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 - 16:00
Talk
Model Checking with Maximal Causality Reduction
WODA
Jeff HuangTexas A&M University
16:00 - 16:30
Talk
Better Program Analysis Through Heap Profiling
WODA
16:30 - 17:00
Talk
Can Analysis be Too Precise?
WODA
Sam GuyerTufts University

Tue 24 Oct
Times are displayed in time zone: Tijuana, Baja California change

08:30 - 10:00: Welcome and KeynoteOCAP at Cavendish
Chair(s): Mark MillerGoogle Inc.
08:30 - 09:00
Talk
Welcome
OCAP
09:00 - 10:00
Talk
Keynote by Norm Hardy
OCAP
10:30 - 12:00: Session 1OCAP at Cavendish
10:30 - 11:00
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 - 11:30
Talk
Monte: A Spiritual Successor to E
OCAP
Corbin SimpsonMatador Cloud LLC
11:30 - 12:00
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 - 14:00
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 - 14:30
Talk
Reference Capabilities for Concurrency & Scalability: an Experience Report
OCAP
Elias CastegrenUppsala University, Tobias WrigstadUppsala University
14:30 - 15:00
Talk
Unforgeable Distributed Capabilities
OCAP
15:30 - 17:00: Session 3OCAP at Cavendish
15:30 - 16:00
Talk
Specifying Attenuation
OCAP
Shu-Peng LohImperial College London, Sophia Drossopoulou
16:00 - 17:00
Talk
Panel/Discussion
OCAP

Mon 23 Oct
Times are displayed in time zone: Tijuana, Baja California change

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

Tue 24 Oct
Times are displayed in time zone: Tijuana, Baja California change

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

Tue 24 Oct
Times are displayed in time zone: Tijuana, Baja California change