NOOL 2017
Sun 22 - Fri 27 October 2017 Vancouver, Canada
co-located with SPLASH 2017
VenueHyatt Regency Vancouver
Room nameRegency C
Floor0
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
Keynote SundayScala at Regency C
Chair(s): Philipp Haller KTH Royal Institute of Technology
08:45
15m
Day opening
Opening - Day 1
Scala

09:00
60m
Talk
Spark and Scala
Scala
K: Reynold Xin Databricks
13:30 - 15:00
CompilationScala at Regency C
Chair(s): Paolo G. Giarrusso University of Tübingen, Germany
13:30
30m
Talk
A Scala Framework for Supercompilation
Scala
DOI
14:00
30m
Talk
Making Collection Operations Optimal with Aggressive JIT Compilation
Scala
Aleksandar Prokopec Oracle Labs, David Leopoldseder Johannes Kepler University Linz, Gilles Duboscq Oracle Labs, Thomas Wuerthinger Oracle Labs
DOI
14:30
30m
Talk
ScalaSMT: Satisfiability Modulo Theory in Scala (Tool Paper)
Scala
Franck Cassez Macquarie University, Australia, Anthony Sloane Macquarie University
DOI

Mon 23 Oct

Displayed time zone: Tijuana, Baja California change

08:30 - 10:00
Keynote MondayScala at Regency C
Chair(s): Ondřej Lhoták University of Waterloo, Canada
08:45
15m
Day opening
Opening - Day 2
Scala

09:00
60m
Talk
The Hack Programming Language
Scala
K: Dwayne Reeves Facebook
15:30 - 17:00
UnconferenceScala at Regency C
Chair(s): Jonathan Immanuel Brachthäuser University of Tübingen, Germany
15:30
90m
Talk
Unconference
Scala

Tue 24 Oct

Displayed time zone: Tijuana, Baja California change

08:30 - 09:30
DLS 2017 Invited TalkVMIL at Regency C
Chair(s): Davide Ancona University of Genova
08:30
60m
Talk
Invited talk: The JavaScriptCore Virtual Machine (joint with DLS 2017)
VMIL
13:30 - 15:00
Session 3DLS at Regency C
Chair(s): Davide Ancona University of Genova
13:30
60m
Talk
Invited talk: Challenges and Progress Toward Efficient Gradual Typing
DLS
Jeremy G. Siek Indiana University, USA
File Attached
14:30
30m
Talk
Semantics of Asynchronous JavaScript
DLS
Matthew C. Loring , Mark Marron Microsoft Research, Daan Leijen Microsoft Research
15:30 - 17:00
Session 4DLS at Regency C
Chair(s): Marc Feeley Université de Montréal
15:30
30m
Talk
Decoding Lua: Formal Semantics for the Developer and the Semanticist
DLS
Mallku Soldevila FAMAF, UNC / CONICET, Beta Ziliani FAMAF, UNC and CONICET, Bruno Silvestre , Daniel Fridlender , Fabio Mascarenhas UFRJ
16:00
30m
Talk
The Semantics of Name Resolution in Grace
DLS
Vlad Vergu TU Delft, Michiel Haisma TU Delft, Eelco Visser Delft University of Technology
DOI

Wed 25 Oct

Displayed time zone: Tijuana, Baja California change

08:30 - 10:00
Keynote WednesdaySPLASH Keynotes at Regency C
08:30
10m
Day opening
Welcome to SPLASH 2017
SPLASH Keynotes
P: Gail Murphy University of British Columbia
08:40
10m
Awards
OOPSLA Overview & OOPSLA 10-Year Most Influential Paper Award
SPLASH Keynotes
Yannis Smaragdakis University of Athens, O: Jonathan Aldrich Carnegie Mellon University
08:50
70m
Talk
SPLASH 2017 Keynote: Eve: tackling a giant with a change in perspectiveKeynote
SPLASH Keynotes
10:30 - 12:00
PerformanceSPLASH OOPSLA at Regency C
Chair(s): Kathryn S McKinley Google
10:30
22m
Talk
A Volatile-by-Default JVM for Server Applications
SPLASH OOPSLA
Lun Liu University of California at Los Angeles, USA, Todd Millstein University of California, Los Angeles, Madan Musuvathi Microsoft Research
DOI
10:52
22m
Talk
Static Placement of Computation on Heterogeneous Devices
SPLASH OOPSLA
Gabriel Poesia Federal University of Minas Gerais, Brazil, Breno Campos Ferreira Guimarães Federal University of Minas Gerais, Brazil, Fabrício Ferracioli LG Electronics, Brazil, Fernando Magno Quintão Pereira UFMG
DOI
11:15
22m
Talk
Skip Blocks: Reusing Execution History to Accelerate Web Scripts
SPLASH OOPSLA
Sarah E. Chasins University of California, Berkeley, Rastislav Bodík University of Washington
DOI
11:37
22m
Talk
Virtual Machine Warmup Blows Hot and Cold
SPLASH OOPSLA
Edd Barrett King's College London, CF Bolz-Tereick , Rebecca Killick Department of Mathematics and Statistics, University of Lancaster, Sarah Mount King's College London, Laurence Tratt King's College London
DOI
13:30 - 15:00
ToolsSPLASH OOPSLA at Regency C
Chair(s): Joshua Sunshine Carnegie Mellon University
13:30
22m
Talk
Effective Interactive Resolution of Static Analysis Alarms
SPLASH OOPSLA
Xin Zhang Massachusetts Institute of Technology, USA, Radu Grigore University of Kent, Xujie Si University of Pennsylvania, Mayur Naik University of Pennsylvania
DOI
13:52
22m
Talk
Learning to Blame: Localizing Novice Type Errors with Data-Driven Diagnosis
SPLASH OOPSLA
Eric Seidel University of California at San Diego, USA, Huma Sibghat University of California at San Diego, USA, Kamalika Chaudhuri University of California at San Diego, USA, Westley Weimer University of Virginia, USA, Ranjit Jhala University of California at San Diego, USA
DOI
14:15
22m
Talk
Abridging Source Code
SPLASH OOPSLA
Binhang Yuan Rice University, USA, Vijayaraghavan Murali Rice University, USA, Chris Jermaine Rice University
DOI
14:37
22m
Talk
Evaluating and Improving Semistructured Merge
SPLASH OOPSLA
Guilherme Cavalcanti Federal University of Pernambuco, Brazil, Paulo Borba Federal University of Pernambuco, Brazil, Paola Accioly Federal University of Pernambuco, Brazil
DOI
15:30 - 17:00
Dynamic AnalysisSPLASH OOPSLA at Regency C
Chair(s): Jonathan Aldrich Carnegie Mellon University
15:30
22m
Talk
Practical Initialization Race Detection for JavaScript Web Applications
SPLASH OOPSLA
Christoffer Quist Adamsen Aarhus University, Anders Møller Aarhus University, Frank Tip Northeastern University
DOI
15:52
22m
Talk
Instrumentation Bias for Dynamic Data Race Detection
SPLASH OOPSLA
Benjamin P. Wood Wellesley College, Man Cao Ohio State University, Michael D. Bond Ohio State University, Dan Grossman University of Washington
DOI
16:15
22m
Talk
Efficient Logging in Non-Volatile Memory by Exploiting Coherency Protocols
SPLASH OOPSLA
Nachshon Cohen EPFL, Switzerland, Michal Friedman , James Larus EPFL
DOI
16:37
22m
Talk
Heaps Don't Lie: Countering Unsoundness with Heap Snapshots
SPLASH OOPSLA
Neville Grech , George Fourtounis University of Athens, Adrian Francalanza University of Malta, Yannis Smaragdakis University of Athens
DOI

Thu 26 Oct

Displayed time zone: Tijuana, Baja California change

08:30 - 10:00
Keynote ThursdaySPLASH Keynotes at Regency C
08:30
15m
Awards
OOPSLA Awards
SPLASH Keynotes
P: Jonathan Aldrich Carnegie Mellon University
08:45
75m
Talk
SPLASH 2017 Keynote: Objects in the Age of DataKeynote
SPLASH Keynotes
Crista Lopes University of California, Irvine
10:30 - 12:00
Optimizing Compilation and VerificationSPLASH OOPSLA at Regency C
Chair(s): Gregor Richards University of Waterloo
10:30
22m
Talk
The Tensor Algebra Compiler
SPLASH OOPSLA
Fredrik Kjolstad MIT CSAIL, Shoaib Kamil Adobe, Stephen Chou MIT CSAIL, David Lugato CEA, France, Saman Amarasinghe MIT
DOI
10:52
22m
Talk
TreeFuser: A Framework for Analyzing and Fusing General Recursive Tree Traversals
SPLASH OOPSLA
Laith Sakka Purdue University, Kirshanthan Sundararajah Purdue University, Milind Kulkarni Purdue University
DOI
11:15
22m
Talk
Verifying Spatial Properties of Array Computations
SPLASH OOPSLA
Dominic Orchard University of Kent, UK, Mistral Contrastin , Matthew Danish University of Cambridge, UK, Andrew Rice University of Cambridge, UK
DOI
11:37
22m
Talk
GLORE: Generalized Loop Redundancy Elimination upon LER-Notation
SPLASH OOPSLA
Yufei Ding North Carolina State University, Xipeng Shen North Carolina State University
DOI
13:30 - 15:00
VerificationSPLASH OOPSLA at Regency C
Chair(s): Jonathan Edwards
13:30
22m
Talk
Seam: Provably Safe Local Edits on Graphs
SPLASH OOPSLA
Manolis Papadakis Stanford University, USA, Gilbert Louis Bernstein Stanford University, USA, Rahul Sharma Microsoft Research, Alex Aiken Stanford University, Pat Hanrahan Stanford University, USA
DOI
13:52
22m
Talk
TiML: A Functional Language for Practical Complexity Analysis with Invariants
SPLASH OOPSLA
Peng Wang Massachusetts Institute of Technology, USA, Di Wang Peking University, China, Adam Chlipala Massachusetts Institute of Technology, USA
DOI
14:15
22m
Talk
FairSquare: Probabilistic Verification of Program Fairness
SPLASH OOPSLA
Aws Albarghouthi University of Wisconsin-Madison, Loris D'Antoni University of Wisconsin–Madison, Samuel Drews University of Wisconsin-Madison, Aditya Nori
DOI
14:37
22m
Talk
Reasoning on Divergent Computations with Coaxioms
SPLASH OOPSLA
Davide Ancona University of Genova, Francesco Dagnino , Elena Zucca University of Genova
DOI
15:30 - 17:00
Verification in PracticeSPLASH OOPSLA at Regency C
Chair(s): Davide Ancona University of Genova
15:30
22m
Talk
A Model for Reasoning about JavaScript Promises
SPLASH OOPSLA
Magnus Madsen University of Waterloo, Ondřej Lhoták University of Waterloo, Canada, Frank Tip Northeastern University
DOI
15:52
22m
Talk
Robust and Compositional Verification of Object Capability Patterns
SPLASH OOPSLA
David Swasey MPI-SWS, Germany, Deepak Garg Max Planck Institute for Software Systems, Derek Dreyer MPI-SWS
DOI
16:15
22m
Talk
A Verified Messaging System
SPLASH OOPSLA
William Mansky Princeton University, Andrew W. Appel Princeton, Aleksey Nogin HRL Laboratories, LLC
DOI
16:37
22m
Talk
Who Guards the Guards? Formal Validation of the ARM v8-M Architecture Specification
SPLASH OOPSLA
DOI
17:30 - 18:30
Business Meeting and AwardsSPLASH Keynotes at Regency C
17:30
15m
Talk
SPLASH Steering Committee Report
SPLASH Keynotes
S: Tony Hosking Australian National University / Data61
17:45
10m
Talk
SPLASH 2017 General Chairs Report
SPLASH Keynotes
G: Gail Murphy University of British Columbia
17:55
10m
Talk
OOPSLA 2017 Program Chair's Report
SPLASH Keynotes
O: Jonathan Aldrich Carnegie Mellon University
18:05
10m
Talk
Onward! Program Chairs' Report
SPLASH Keynotes
O: Emina Torlak University of Washington, O: Robert Biddle Carleton University
18:15
15m
Talk
SIGPLAN Town Hall
SPLASH Keynotes
Yannis Smaragdakis University of Athens

Fri 27 Oct

Displayed time zone: Tijuana, Baja California change

08:30 - 10:00
Keynote FridaySPLASH Keynotes at Regency C
08:30
10m
Day opening
SPLASH 2018
SPLASH Keynotes
P: Jan Vitek Northeastern University, USA
08:40
5m
Other
Onward! Most Notable Paper Award
SPLASH Keynotes
08:45
10m
Awards
Student Awards
SPLASH Keynotes
Jennifer B. Sartor Vrije Universiteit Brussel
08:55
65m
Talk
Onward 2017 Keynote: How the languages we speak shape the ways we thinkKeynote
SPLASH Keynotes
Lera Boroditsky UC San Diego
10:30 - 12:00
Static AnalysisSPLASH OOPSLA at Regency C
Chair(s): Christian Hammer University of Potsdam
10:30
22m
Talk
IDEal: Efficient and Precise Alias-Aware Dataflow Analysis
SPLASH OOPSLA
Johannes Späth Fraunhofer IEM, Karim Ali University of Alberta, Eric Bodden Heinz Nixdorf Institut, Paderborn University and Fraunhofer IEM
DOI
10:52
22m
Talk
P/Taint: Unified Points-to and Taint Analysis
SPLASH OOPSLA
Neville Grech , Yannis Smaragdakis University of Athens
DOI
11:15
22m
Talk
Data-Driven Context-Sensitivity for Points-to Analysis
SPLASH OOPSLA
Sehun Jeong Korea University, South Korea, Minseok Jeon Korea University, South Korea, Sungdeok (Steve) Cha Korea University, South Korea, Hakjoo Oh Korea University
DOI
11:37
22m
Talk
Automatically Generating Features for Learning Program Analysis Heuristics for C-Like Languages
SPLASH OOPSLA
Kwonsoo Chae Korea University, Hakjoo Oh Korea University, Kihong Heo University of Pennsylvania, USA, Hongseok Yang University of Oxford
DOI
13:30 - 15:00
Distributed SystemsSPLASH OOPSLA at Regency C
Chair(s): Wolfgang De Meuter Vrije Universiteit Brussel
13:30
22m
Talk
Geo-Distribution of Actor-Based Services
SPLASH OOPSLA
Philip A. Bernstein Microsoft Research, Sebastian Burckhardt Microsoft Research, Sergey Bykov Microsoft, n.n., Natacha Crooks University of Texas at Austin, USA, Jose Faleiro Yale University, USA, Gabriel Kliot Google, n.n., Alok Kumbhare Microsoft Research, n.n., Muntasir Raihan Rahman Microsoft, Vivek Shah University of Copenhagen, Denmark, Adriana Szekeres University of Washington, USA, Jorgen Thelin Microsoft Research, Redmond
DOI
13:52
22m
Talk
Paxos Made EPR: Decidable Reasoning about Distributed Protocols
SPLASH OOPSLA
Oded Padon Tel Aviv University, Giuliano Losa University of California at Los Angeles, USA, Mooly Sagiv Tel Aviv University, Sharon Shoham Tel Aviv university
DOI
14:15
22m
Talk
Verifying Strong Eventual Consistency in Distributed Systems
SPLASH OOPSLA
Victor B. F. Gomes University of Cambridge, UK, Martin Kleppmann University of Cambridge, Dominic P. Mulligan University of Cambridge, Alastair R. Beresford University of Cambridge, UK
DOI
14:37
22m
Talk
Verifying Distributed Programs via Canonical Sequentialization
SPLASH OOPSLA
Alexander Bakst , Klaus v. Gleissenthall University of California at San Diego, USA, Ranjit Jhala University of California at San Diego, USA, Rami Gökhan Kıcı University of California at San Diego, USA
DOI

Sun 22 Oct

Displayed time zone: Tijuana, Baja California change

Room8:00309:003010:003011:003012:003013:003014:003015:003016:0030
Regency C

Mon 23 Oct

Displayed time zone: Tijuana, Baja California change

Room8:00309:003010:003011:003012:003013:003014:003015:003016:0030
Regency C

Tue 24 Oct

Displayed time zone: Tijuana, Baja California change

Room8:00309:003010:003011:003012:003013:003014:003015:003016:0030
Regency C

Wed 25 Oct

Displayed time zone: Tijuana, Baja California change

Thu 26 Oct

Displayed time zone: Tijuana, Baja California change

Fri 27 Oct

Displayed time zone: Tijuana, Baja California change

Thu 26 Oct

Displayed time zone: Tijuana, Baja California change

Room8:001530459:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:0015304518:00153045
Regency C