Regency C - Onward! 2017

VenueHyatt Regency Vancouver

Room nameRegency C

Floor0

Room InformationNo extra information available

Program

Time Zone

The program is currently displayed in (GMT-07:00) Tijuana, Baja California.

Use conference time zone: (GMT-07:00) Tijuana, Baja CaliforniaSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Save

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

10:30 - 12:00	TypesScala at Regency C Chair(s): Anthony Sloane Macquarie University

10:30 30m Talk		Towards Algorithmic Typing for DOT (Short Paper) Scala Abel Nieto University of Waterloo DOI Pre-print File Attached
11:00 30m Talk		The Limitations of Type Classes as Subtyped Implicits (Short Paper) Scala Adelbert Chang Unaffiliated DOI Pre-print
11:30 30m Talk		Rust-Like Borrowing with 2nd-Class Values (Short Paper) Scala Leo Osvald Purdue University, USA, Tiark Rompf Purdue University DOI Media Attached

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 Nate Nystrom 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

15:30 - 17:00	Open-source & Student TalksScala at Regency C Chair(s): Guido Salvaneschi TU Darmstadt

15:30 22m Talk		Genomic Data Analysis in Scala (Open-Source Talk) Scala Ryan Williams Media Attached
15:52 22m Talk		Flare: A Brief Look into Optimizing UDFs in Spark (Student Talk) Scala A: James Decker Media Attached
16:15 22m Talk		Delimited Control in Scala (Student Talk) Scala A: Nils Jonsson
16:37 22m Talk		Design of Library Interfaces (Student Talk) Scala A: Nils Jonsson

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

10:30 - 12:00	Domain-specific LanguagesScala at Regency C

10:30 30m Talk		Typesafe Abstractions for Tensor Operations (Short Paper) Scala Tongfei Chen DOI Pre-print Media Attached
11:00 30m Talk		Interactive Development using the Dotty Compiler (Tool Paper) Scala Guillaume Martres EPFL, Switzerland DOI Pre-print Media Attached
11:30 30m Talk		Kompics Scala: Narrowing the Gap between Algorithmic Specification and Executable Code (Short Paper) Scala Lars Kroll KTH Royal Institute of Technology, Sweden, Paris Carbone KTH, Sweden, Seif Haridi DOI File Attached

13:30 - 15:00	Language DesignScala at Regency C Chair(s): Nada Amin University of Cambridge

13:30 30m Talk		Squid: Type-Safe, Hygienic, and Reusable Quasiquotes Scala Lionel Parreaux EPFL, Amir Shaikhha EPFL, Christoph E. Koch EPFL DOI Media Attached
14:00 30m Talk		Effekt: Extensible Algebraic Effects in Scala (Short Paper) Scala Jonathan Immanuel Brachthäuser University of Tübingen, Germany, Philipp Schuster University of Tübingen DOI Pre-print Media Attached File Attached

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 Filip Pizlo Apple

08:30 - 10:00	Session 1DLS at Regency C Chair(s): Davide Ancona University of Genova

08:30 60m Talk		Invited talk: The JavaScriptCore Virtual Machine (joint with VMIL 2017) DLS Filip Pizlo Apple
09:30 30m Talk		A Concurrency-Agnostic Protocol for Multi-Paradigm Concurrent Debugging Tools DLS Stefan Marr University of Kent, Carmen Torres Lopez , Dominik Aumayr , Elisa Gonzalez Boix Vrije Universiteit Brussel, Hanspeter Mössenböck JKU Linz, Austria DOI Pre-print

10:30 - 12:00	Session 2DLS at Regency C Chair(s): Manuel Serrano Inria, France

10:30 30m Talk		Dynamic Atomicity: Optimizing Swift memory management DLS David Ungar Apple, Inc,, David Grove IBM Research, Hubertus Franke
11:00 30m Talk		Object equivalence: Revisiting Object Equality Profiling (An Experience Report) DLS Alejandro Infante , Alexandre Bergel University of Chile
11:30 30m Talk		Garbage Collection and Efficiency in Dynamic Metacircular Runtimes: An Experience Report DLS Javier Pimás Palantir Solutions, Javier Burroni , Jean Baptiste Arnaud , Stefan Marr University of Kent DOI

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 Chris Granger Kodowa

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 Alastair Reid Arm Ltd 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 TBD
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


Room	8:00						30						9:00						30						10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30
Regency C							Scala Keynote Sunday																								Scala Types																																				Scala Compilation																								Scala Open-source & Student Talks

Mon 23 Oct
Displayed time zone: Tijuana, Baja California change


Room	8:00						30						9:00						30						10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30
Regency C							Scala Keynote Monday																								Scala Domain-specific Languages																																				Scala Language Design																								Scala Unconference

Tue 24 Oct
Displayed time zone: Tijuana, Baja California change


Room	8:00						30						9:00						30						10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30
Regency C							VMIL DLS 2017 Invited Talk DLS Session 1 08:30 - 10:00																								DLS Session 2																																				DLS Session 3																								DLS Session 4

Wed 25 Oct
Displayed time zone: Tijuana, Baja California change


Room	8:00						30						9:00						30						10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30
Regency C							SPLASH Keynotes Keynote Wednesday																								SPLASH OOPSLA Performance																																				SPLASH OOPSLA Tools																								SPLASH OOPSLA Dynamic Analysis

Thu 26 Oct
Displayed time zone: Tijuana, Baja California change


Room	8:00						30						9:00						30						10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30						17:00						30						18:00						30
Regency C							SPLASH Keynotes Keynote Thursday																								SPLASH OOPSLA Optimizing Compilation and Verification																																				SPLASH OOPSLA Verification																								SPLASH OOPSLA Verification in Practice																								SPLASH Keynotes Business Meeting and Awards

Fri 27 Oct
Displayed time zone: Tijuana, Baja California change


Room	8:00						30						9:00						30						10:00						30						11:00						30						12:00						30						13:00						30						14:00						30
Regency C							SPLASH Keynotes Keynote Friday																								SPLASH OOPSLA Static Analysis																																				SPLASH OOPSLA Distributed Systems

Sun 22 Oct
Displayed time zone: Tijuana, Baja California change


Room	8:00			15			30			45			9:00			15			30			45			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
Regency C										Scala Opening - Day 1 08:45 - 09:00			Scala Spark and Scala 09:00 - 10:00																		Scala Towards Algorithmic Typing for DOT (Short Paper) 10:30 - 11:00						Scala The Limitations of Type Classes as Subtyped Implicits (Short Paper) 11:00 - 11:30						Scala Rust-Like Borrowing with 2nd-Class Values (Short Paper) 11:30 - 12:00																								Scala A Scala Framework for Supercompilation 13:30 - 14:00						Scala Making Collection Operations Optimal with Aggressive JIT Compilation 14:00 - 14:30						Scala ScalaSMT: Satisfiability Modulo Theory in Scala (Tool Paper) 14:30 - 15:00												Scala Genomic Data Analysis in Scala (Open-Source Talk) 15:30 - 15:52				Scala Flare: A Brief Look into Optimizing UDFs in Spark (Student Talk) 15:52 - 16:15					Scala Delimited Control in Scala (Student Talk) 16:15 - 16:37				Scala Design of Library Interfaces (Student Talk) 16:37 - 17:00

Mon 23 Oct
Displayed time zone: Tijuana, Baja California change


Room	8:00			15			30			45			9:00			15			30			45			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
Regency C										Scala Opening - Day 2 08:45 - 09:00			Scala The Hack Programming Language 09:00 - 10:00																		Scala Typesafe Abstractions for Tensor Operations (Short Paper) 10:30 - 11:00						Scala Interactive Development using the Dotty Compiler (Tool Paper) 11:00 - 11:30						Scala Kompics Scala: Narrowing the Gap between Algorithmic Specification and ... 11:30 - 12:00																								Scala Squid: Type-Safe, Hygienic, and Reusable Quasiquotes 13:30 - 14:00						Scala Effekt: Extensible Algebraic Effects in Scala (Short Paper) 14:00 - 14:30																		Scala Unconference 15:30 - 17:00

Tue 24 Oct
Displayed time zone: Tijuana, Baja California change


Room	8:00			15			30			45			9:00			15			30			45			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
Regency C							VMIL Invited talk: The JavaScriptCore Virtual Machine (joint with DLS 2017) 08:30 - 09:30 DLS Invited talk: The JavaScriptCore Virtual Machine (joint with VMIL 2017) 08:30 - 09:30												DLS A Concurrency-Agnostic Protocol for Multi-Paradigm Concurrent Debugging ... 09:30 - 10:00												DLS Dynamic Atomicity: Optimizing Swift memory management 10:30 - 11:00						DLS Object equivalence: Revisiting Object Equality Profiling (An Experience ... 11:00 - 11:30						DLS Garbage Collection and Efficiency in Dynamic Metacircular Runtimes: An ... 11:30 - 12:00																								DLS Invited talk: Challenges and Progress Toward Efficient Gradual Typing 13:30 - 14:30												DLS Semantics of Asynchronous JavaScript 14:30 - 15:00												DLS Decoding Lua: Formal Semantics for the Developer and the Semanticist 15:30 - 16:00						DLS The Semantics of Name Resolution in Grace 16:00 - 16:30

Wed 25 Oct
Displayed time zone: Tijuana, Baja California change


Room	8:00			15			30			45			9:00			15			30			45			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
Regency C							SPLASH Keynotes Welcome to SPLASH 2017 08:30 - 08:40		SPLASH Keynotes OOPSLA Overview & OOPSLA 10-Year Most Influential Paper Award 08:40 - 08:50		SPLASH KeynotesKeynote SPLASH 2017 Keynote: Eve: tackling a giant with a change in perspective 08:50 - 10:00																				SPLASH OOPSLA A Volatile-by-Default JVM for Server Applications 10:30 - 10:52				SPLASH OOPSLA Static Placement of Computation on Heterogeneous Devices 10:52 - 11:15					SPLASH OOPSLA Skip Blocks: Reusing Execution History to Accelerate Web Scripts 11:15 - 11:37				SPLASH OOPSLA Virtual Machine Warmup Blows Hot and Cold 11:37 - 12:00																							SPLASH OOPSLA Effective Interactive Resolution of Static Analysis Alarms 13:30 - 13:52				SPLASH OOPSLA Learning to Blame: Localizing Novice Type Errors with Data-Driven Diagnosis 13:52 - 14:15					SPLASH OOPSLA Abridging Source Code 14:15 - 14:37				SPLASH OOPSLA Evaluating and Improving Semistructured Merge 14:37 - 15:00											SPLASH OOPSLA Practical Initialization Race Detection for JavaScript Web Applications 15:30 - 15:52				SPLASH OOPSLA Instrumentation Bias for Dynamic Data Race Detection 15:52 - 16:15					SPLASH OOPSLA Efficient Logging in Non-Volatile Memory by Exploiting Coherency Protocols 16:15 - 16:37				SPLASH OOPSLA Heaps Don't Lie: Countering Unsoundness with Heap Snapshots 16:37 - 17:00

Thu 26 Oct
Displayed time zone: Tijuana, Baja California change


Room	8:00			15			30			45			9:00			15			30			45			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			18:00			15			30			45
Regency C							SPLASH Keynotes OOPSLA Awards 08:30 - 08:45			SPLASH KeynotesKeynote SPLASH 2017 Keynote: Objects in the Age of Data 08:45 - 10:00																					SPLASH OOPSLA The Tensor Algebra Compiler 10:30 - 10:52				SPLASH OOPSLA TreeFuser: A Framework for Analyzing and Fusing General Recursive Tree ... 10:52 - 11:15					SPLASH OOPSLA Verifying Spatial Properties of Array Computations 11:15 - 11:37				SPLASH OOPSLA GLORE: Generalized Loop Redundancy Elimination upon LER-Notation 11:37 - 12:00																							SPLASH OOPSLA Seam: Provably Safe Local Edits on Graphs 13:30 - 13:52				SPLASH OOPSLA TiML: A Functional Language for Practical Complexity Analysis with Inva ... 13:52 - 14:15					SPLASH OOPSLA FairSquare: Probabilistic Verification of Program Fairness 14:15 - 14:37				SPLASH OOPSLA Reasoning on Divergent Computations with Coaxioms 14:37 - 15:00											SPLASH OOPSLA A Model for Reasoning about JavaScript Promises 15:30 - 15:52				SPLASH OOPSLA Robust and Compositional Verification of Object Capability Patterns 15:52 - 16:15					SPLASH OOPSLA A Verified Messaging System 16:15 - 16:37				SPLASH OOPSLA Who Guards the Guards? Formal Validation of the ARM v8-M Architecture S ... 16:37 - 17:00											SPLASH Keynotes SPLASH Steering Committee Report 17:30 - 17:45			SPLASH Keynotes SPLASH 2017 General Chairs Report 17:45 - 17:55		SPLASH Keynotes OOPSLA 2017 Program Chair's Report 17:55 - 18:05		SPLASH Keynotes Onward! Program Chairs' Report 18:05 - 18:15		SPLASH Keynotes SIGPLAN Town Hall 18:15 - 18:30

Fri 27 Oct
Displayed time zone: Tijuana, Baja California change


Room	8:00			15			30			45			9:00			15			30			45			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
Regency C							SPLASH Keynotes SPLASH 2018 08:30 - 08:40		SPLASH Keynotes Onward! Most Notable Paper Award 08:40 - 08:45	SPLASH Keynotes Student Awards 08:45 - 08:55		SPLASH KeynotesKeynote Onward 2017 Keynote: How the languages we speak shape the ways we think 08:55 - 10:00																			SPLASH OOPSLA IDEal: Efficient and Precise Alias-Aware Dataflow Analysis 10:30 - 10:52				SPLASH OOPSLA P/Taint: Unified Points-to and Taint Analysis 10:52 - 11:15					SPLASH OOPSLA Data-Driven Context-Sensitivity for Points-to Analysis 11:15 - 11:37				SPLASH OOPSLA Automatically Generating Features for Learning Program Analysis Heurist ... 11:37 - 12:00																							SPLASH OOPSLA Geo-Distribution of Actor-Based Services 13:30 - 13:52				SPLASH OOPSLA Paxos Made EPR: Decidable Reasoning about Distributed Protocols 13:52 - 14:15					SPLASH OOPSLA Verifying Strong Eventual Consistency in Distributed Systems 14:15 - 14:37				SPLASH OOPSLA Verifying Distributed Programs via Canonical Sequentialization 14:37 - 15:00

Room information: Regency C

Program Display Configuration

Sun 22 OctDisplayed time zone: Tijuana, Baja California change

Mon 23 OctDisplayed time zone: Tijuana, Baja California change

Tue 24 OctDisplayed time zone: Tijuana, Baja California change

Wed 25 OctDisplayed time zone: Tijuana, Baja California change

Thu 26 OctDisplayed time zone: Tijuana, Baja California change

Fri 27 OctDisplayed time zone: Tijuana, Baja California change

Sun 22 OctDisplayed time zone: Tijuana, Baja California change

Scala

Scala

Scala

Scala

Mon 23 OctDisplayed time zone: Tijuana, Baja California change

Scala

Scala

Scala

Scala

Tue 24 OctDisplayed time zone: Tijuana, Baja California change

VMIL

DLS

DLS

DLS

DLS

Wed 25 OctDisplayed time zone: Tijuana, Baja California change

SPLASH Keynotes

SPLASH OOPSLA

SPLASH OOPSLA

SPLASH OOPSLA

Thu 26 OctDisplayed time zone: Tijuana, Baja California change

SPLASH Keynotes

SPLASH OOPSLA

SPLASH OOPSLA

SPLASH OOPSLA

SPLASH Keynotes

Fri 27 OctDisplayed time zone: Tijuana, Baja California change

SPLASH Keynotes

SPLASH OOPSLA

SPLASH OOPSLA

Sun 22 OctDisplayed time zone: Tijuana, Baja California change

Mon 23 OctDisplayed time zone: Tijuana, Baja California change

Tue 24 OctDisplayed time zone: Tijuana, Baja California change

Wed 25 OctDisplayed time zone: Tijuana, Baja California change

Thu 26 OctDisplayed time zone: Tijuana, Baja California change

Fri 27 OctDisplayed time zone: Tijuana, Baja California change

Sun 22 Oct
Displayed time zone: Tijuana, Baja California change

Mon 23 Oct
Displayed time zone: Tijuana, Baja California change

Tue 24 Oct
Displayed time zone: Tijuana, Baja California change

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

Sun 22 Oct
Displayed time zone: Tijuana, Baja California change

Mon 23 Oct
Displayed time zone: Tijuana, Baja California change

Tue 24 Oct
Displayed time zone: Tijuana, Baja California change

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

Sun 22 Oct
Displayed time zone: Tijuana, Baja California change

Mon 23 Oct
Displayed time zone: Tijuana, Baja California change

Tue 24 Oct
Displayed time zone: Tijuana, Baja California change

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