Onward! 2017
Sun 22 - Fri 27 October 2017
Vancouver, Canada
co-located with
SPLASH 2017
Toggle navigation
Attending
Venue: Hyatt Regency Vancouver
Program
Complete Program
Your Program
Sun 22 Oct
Mon 23 Oct
Tue 24 Oct
Wed 25 Oct
Thu 26 Oct
Fri 27 Oct
Tracks
Onward! 2017
Onward! Essays
Onward! Papers
Committees
Onward! 2017
Organizing Committee
Steering Committee
Tracks
Onward! Essays
Program Committee
Onward! Papers
Program Committee
Search
Other Editions
Series
Onward! 2016
Onward! 2015
Onward!
Sign in
Sign up
SPLASH 2017
(
series
) /
Onward! 2017
(
series
) /
Hyatt Regency Vancouver
/
Room information: Regency B
Venue
Hyatt Regency Vancouver
Room name
Regency B
Floor
0
Room number
Capacity
0
Additional information
There is no additional information of this room available.
Program
Detailed Table
Session Timeline
Detailed Timeline
Wed 25 Oct
splash-2017-OOPSLA
10:30 - 12:00: - Performance at
Regency B
splash-2017-OOPSLA
1508920200000
10:30 - 10:52
Talk
A Volatile-by-Default JVM for Server Applications
Lun Liu
,
Todd Millstein
,
Madan Musuvathi
DOI
splash-2017-OOPSLA
1508921550000
10:52 - 11:15
Talk
Static Placement of Computation on Heterogeneous Devices
Gabriel Poesia
,
Breno Campos
,
Fabrício Ferracioli
,
Fernando Magno Quintão Pereira
DOI
splash-2017-OOPSLA
1508922900000
11:15 - 11:37
Talk
Skip Blocks: Reusing Execution History to Accelerate Web Scripts
Sarah Chasins
,
Rastislav Bodik
DOI
splash-2017-OOPSLA
1508924250000
11:37 - 12:00
Talk
Virtual Machine Warmup Blows Hot and Cold
Edd Barrett
,
Carl Friedrich Bolz-Tereick
,
Rebecca Killick
,
Sarah Mount
,
Laurence Tratt
DOI
splash-2017-OOPSLA
13:30 - 15:00: - Tools at
Regency B
splash-2017-OOPSLA
1508931000000
13:30 - 13:52
Talk
Effective Interactive Resolution of Static Analysis Alarms
Xin Zhang
,
Radu Grigore
,
Xujie Si
,
Mayur Naik
DOI
splash-2017-OOPSLA
1508932350000
13:52 - 14:15
Talk
Learning to Blame: Localizing Novice Type Errors with Data-Driven Diagnosis
Eric L. Seidel
,
Huma Sibghat
,
Kamalika Chaudhuri
,
Westley Weimer
,
Ranjit Jhala
DOI
splash-2017-OOPSLA
1508933700000
14:15 - 14:37
Talk
Abridging Source Code
Binhang Yuan
,
Vijayaraghavan Murali
,
Chris Jermaine
DOI
splash-2017-OOPSLA
1508935050000
14:37 - 15:00
Talk
Evaluating and Improving Semistructured Merge
Guilherme Cavalcanti
,
Paulo Borba
,
Paola Accioly
DOI
splash-2017-OOPSLA
15:30 - 17:00: - Dynamic Analysis at
Regency B
splash-2017-OOPSLA
1508938200000
15:30 - 15:52
Talk
Practical Initialization Race Detection for JavaScript Web Applications
Christoffer Quist Adamsen
,
Anders Møller
,
Frank Tip
DOI
splash-2017-OOPSLA
1508939550000
15:52 - 16:15
Talk
Instrumentation Bias for Dynamic Data Race Detection
Benjamin P. Wood
,
Man Cao
,
Michael Bond
,
Dan Grossman
DOI
splash-2017-OOPSLA
1508940900000
16:15 - 16:37
Talk
Efficient Logging in Non-Volatile Memory by Exploiting Coherency Protocols
Nachshon Cohen
,
Michal Friedman
,
Jim Larus
DOI
splash-2017-OOPSLA
1508942250000
16:37 - 17:00
Talk
Heaps Don't Lie: Countering Unsoundness with Heap Snapshots
Neville Grech
,
George Fourtounis
,
Adrian Francalanza
,
Yannis Smaragdakis
DOI
Thu 26 Oct
splash-2017-OOPSLA
10:30 - 12:00: - Optimizing Compilation at
Regency B
splash-2017-OOPSLA
1509006600000
10:30 - 10:52
Talk
The Tensor Algebra Compiler
Fredrik Kjolstad
,
Shoaib Kamil
,
Stephen Chou
,
David Lugato
,
Saman Amarasinghe
DOI
splash-2017-OOPSLA
1509007950000
10:52 - 11:15
Talk
TreeFuser: A Framework for Analyzing and Fusing General Recursive Tree Traversals
Laith Sakka
,
Kirshanthan Sundararajah
,
Milind Kulkarni
DOI
splash-2017-OOPSLA
1509009300000
11:15 - 11:37
Talk
Verifying Spatial Properties of Array Computations
Dominic Orchard
,
Mistral Contrastin
,
Matthew Danish
,
Andrew Rice
DOI
splash-2017-OOPSLA
1509010650000
11:37 - 12:00
Talk
GLORE: Generalized Loop Redundancy Elimination upon LER-Notation
Yufei Ding
,
Xipeng Shen
DOI
splash-2017-OOPSLA
13:30 - 15:00: - Mining Software Repositories and Parsing at
Regency B
splash-2017-OOPSLA
1509017400000
13:30 - 13:52
Talk
Exploiting Implicit Beliefs to Resolve Sparse Usage Problem in Usage-Based Specification Mining
Samantha Syeda Khairunnesa
,
Hoan Anh Nguyen
,
Tien Nguyen
,
Hridesh Rajan
DOI
splash-2017-OOPSLA
1509018750000
13:52 - 14:15
Talk
DéjàVu: A Map of Code Duplicates on GitHub
Crista Lopes
,
Petr Maj
,
Pedro Martins
,
Vaibhav Saini
,
Di Yang
,
Jakub Zitny
,
Hitesh Sajnani
,
Jan Vitek
DOI
splash-2017-OOPSLA
1509020100000
14:15 - 14:37
Talk
Understanding the Use of Lambda Expressions in Java
Davood Mazinanian
,
Ameya Ketkar
,
Nikolaos Tsantalis
,
Danny Dig
DOI
splash-2017-OOPSLA
1509021450000
14:37 - 15:00
Talk
Restricting Grammars with Tree Automata
Michael D. Adams
,
Matthew Might
DOI
splash-2017-OOPSLA
15:30 - 17:00: - Verification in Practice at
Regency B
splash-2017-OOPSLA
1509024600000
15:30 - 15:52
Talk
A Model for Reasoning about JavaScript Promises
Magnus Madsen
,
Ondřej Lhoták
,
Frank Tip
DOI
splash-2017-OOPSLA
1509025950000
15:52 - 16:15
Talk
Robust and Compositional Verification of Object Capability Patterns
David Swasey
,
Deepak Garg
,
Derek Dreyer
DOI
splash-2017-OOPSLA
1509027300000
16:15 - 16:37
Talk
A Verified Messaging System
William Mansky
,
Andrew Appel
,
Aleksey Nogin
DOI
splash-2017-OOPSLA
1509028650000
16:37 - 17:00
Talk
Who Guards the Guards? Formal Validation of the ARM v8-M Architecture Specification
Alastair Reid
DOI
Fri 27 Oct
splash-2017-OOPSLA
10:30 - 12:00: - Static Analysis at
Regency B
splash-2017-OOPSLA
1509093000000
10:30 - 10:52
Talk
IDEal: Efficient and Precise Alias-Aware Dataflow Analysis
Johannes Späth
,
Karim Ali
,
Eric Bodden
DOI
splash-2017-OOPSLA
1509094350000
10:52 - 11:15
Talk
P/Taint: Unified Points-to and Taint Analysis
Neville Grech
,
Yannis Smaragdakis
DOI
splash-2017-OOPSLA
1509095700000
11:15 - 11:37
Talk
Data-Driven Context-Sensitivity for Points-to Analysis
Sehun Jeong
,
Minseok Jeon
,
Sungdeok Cha
,
Hakjoo Oh
DOI
splash-2017-OOPSLA
1509097050000
11:37 - 12:00
Talk
Automatically Generating Features for Learning Program Analysis Heuristics for C-Like Languages
Kwonsoo Chae
,
Hakjoo Oh
,
Kihong Heo
,
Hongseok Yang
DOI
splash-2017-OOPSLA
13:30 - 15:00: - Distributed Systems at
Regency B
splash-2017-OOPSLA
1509103800000
13:30 - 13:52
Talk
Geo-Distribution of Actor-Based Services
Philip A. Bernstein
,
Sebastian Burckhardt
,
Sergey Bykov
,
Natacha Crooks
,
Jose Faleiro
,
Gabriel Kliot
,
Alok Kumbhare
,
Muntasir Raihan Rahman
,
Vivek Shah
,
Adriana Szekeres
,
Jorgen Thelin
DOI
splash-2017-OOPSLA
1509105150000
13:52 - 14:15
Talk
Paxos Made EPR: Decidable Reasoning about Distributed Protocols
Oded Padon
,
Giuliano Losa
,
Mooly Sagiv
,
Sharon Shoham
DOI
splash-2017-OOPSLA
1509106500000
14:15 - 14:37
Talk
Verifying Strong Eventual Consistency in Distributed Systems
Victor B. F. Gomes
,
Martin Kleppmann
,
Dominic P. Mulligan
,
Alastair R. Beresford
DOI
splash-2017-OOPSLA
1509107850000
14:37 - 15:00
Talk
Verifying Distributed Programs via Canonical Sequentialization
Alexander Bakst
,
Klaus v. Gleissenthall
,
Ranjit Jhala
,
Rami Gökhan Kıcı
DOI
Wed 25 Oct 2017
Room
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
17:00
30
Regency B
10:30 - 12:00
13:30 - 15:00
15:30 - 17:00
Thu 26 Oct 2017
Room
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
17:00
30
Regency B
10:30 - 12:00
13:30 - 15:00
15:30 - 17:00
Fri 27 Oct 2017
Room
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
Regency B
10:30 - 12:00
13:30 - 15:00
Wed 25 Oct 2017
Room
10:00
15
30
45
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
15:00
15
30
45
16:00
15
30
45
17:00
15
30
45
Regency B
SPLASH 2017 OOPSLA
A Volatile-by-Default JVM for Server Applications
10:30 - 10:52
SPLASH 2017 OOPSLA
Static Placement of Computation on Heterogeneous Devices
10:52 - 11:15
SPLASH 2017 OOPSLA
Skip Blocks: Reusing Execution History to Accelerate Web Scripts
11:15 - 11:37
SPLASH 2017 OOPSLA
Virtual Machine Warmup Blows Hot and Cold
11:37 - 12:00
SPLASH 2017 OOPSLA
Effective Interactive Resolution of Static Analysis Alarms
13:30 - 13:52
SPLASH 2017 OOPSLA
Learning to Blame: Localizing Novice Type Errors with Data-Driven Diagnosis
13:52 - 14:15
SPLASH 2017 OOPSLA
Abridging Source Code
14:15 - 14:37
SPLASH 2017 OOPSLA
Evaluating and Improving Semistructured Merge
14:37 - 15:00
SPLASH 2017 OOPSLA
Practical Initialization Race Detection for JavaScript Web Applications
15:30 - 15:52
SPLASH 2017 OOPSLA
Instrumentation Bias for Dynamic Data Race Detection
15:52 - 16:15
SPLASH 2017 OOPSLA
Efficient Logging in Non-Volatile Memory by Exploiting Coherency Protocols
16:15 - 16:37
SPLASH 2017 OOPSLA
Heaps Don't Lie: Countering Unsoundness with Heap Snapshots
16:37 - 17:00
Thu 26 Oct 2017
Room
10:00
15
30
45
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
15:00
15
30
45
16:00
15
30
45
17:00
15
30
45
Regency B
SPLASH 2017 OOPSLA
The Tensor Algebra Compiler
10:30 - 10:52
SPLASH 2017 OOPSLA
TreeFuser: A Framework for Analyzing and Fusing General Recursive Tree ...
10:52 - 11:15
SPLASH 2017 OOPSLA
Verifying Spatial Properties of Array Computations
11:15 - 11:37
SPLASH 2017 OOPSLA
GLORE: Generalized Loop Redundancy Elimination upon LER-Notation
11:37 - 12:00
SPLASH 2017 OOPSLA
Exploiting Implicit Beliefs to Resolve Sparse Usage Problem in Usage-Ba ...
13:30 - 13:52
SPLASH 2017 OOPSLA
DéjàVu: A Map of Code Duplicates on GitHub
13:52 - 14:15
SPLASH 2017 OOPSLA
Understanding the Use of Lambda Expressions in Java
14:15 - 14:37
SPLASH 2017 OOPSLA
Restricting Grammars with Tree Automata
14:37 - 15:00
SPLASH 2017 OOPSLA
A Model for Reasoning about JavaScript Promises
15:30 - 15:52
SPLASH 2017 OOPSLA
Robust and Compositional Verification of Object Capability Patterns
15:52 - 16:15
SPLASH 2017 OOPSLA
A Verified Messaging System
16:15 - 16:37
SPLASH 2017 OOPSLA
Who Guards the Guards? Formal Validation of the ARM v8-M Architecture S ...
16:37 - 17:00
Fri 27 Oct 2017
Room
10:00
15
30
45
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
15:00
15
30
45
Regency B
SPLASH 2017 OOPSLA
IDEal: Efficient and Precise Alias-Aware Dataflow Analysis
10:30 - 10:52
SPLASH 2017 OOPSLA
P/Taint: Unified Points-to and Taint Analysis
10:52 - 11:15
SPLASH 2017 OOPSLA
Data-Driven Context-Sensitivity for Points-to Analysis
11:15 - 11:37
SPLASH 2017 OOPSLA
Automatically Generating Features for Learning Program Analysis Heurist ...
11:37 - 12:00
SPLASH 2017 OOPSLA
Geo-Distribution of Actor-Based Services
13:30 - 13:52
SPLASH 2017 OOPSLA
Paxos Made EPR: Decidable Reasoning about Distributed Protocols
13:52 - 14:15
SPLASH 2017 OOPSLA
Verifying Strong Eventual Consistency in Distributed Systems
14:15 - 14:37
SPLASH 2017 OOPSLA
Verifying Distributed Programs via Canonical Sequentialization
14:37 - 15:00
x
Thu 21 Sep 10:33