Parsing@SLE 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
Track/Call
Organization
Parsing@SLE 2017 Committees
Track Committees
Organizing Committee
Program Committee
Contributors
People Index
Search
Series
Series
Parsing@SLE 2017
Parsing@SLE 2016
Parsing@SLE 2015
Sign in
Sign up
SPLASH 2017
(
series
) /
Parsing@SLE 2017 (
series
) /
Hyatt Regency Vancouver
/
Room information: Regency C
Venue
Hyatt Regency Vancouver
Room name
Regency C
Floor
0
Room Information
No extra information available
Program
Detailed Table
Session Timeline
Detailed Timeline
Program Display Configuration
Time Zone
The program is currently displayed in
(GMT-07:00) Tijuana, Baja California
.
Use conference time zone: (GMT-07:00) Tijuana, Baja California
Select other time zone
(GMT-12:00) AoE (Anywhere On Earth)
(GMT-11:00) Midway Island, Samoa
(GMT-09:00) Hawaii-Aleutian
(GMT-10:00) Hawaii
(GMT-09:30) Marquesas Islands
(GMT-09:00) Gambier Islands
(GMT-08:00) Alaska
(GMT-07:00) Tijuana, Baja California
(GMT-08:00) Pitcairn Islands
(GMT-07:00) Pacific Time (US & Canada)
(GMT-06:00) Mountain Time (US & Canada)
(GMT-06:00) Chihuahua, La Paz, Mazatlan
(GMT-07:00) Arizona
(GMT-06:00) Saskatchewan, Central America
(GMT-05:00) Guadalajara, Mexico City, Monterrey
(GMT-05:00) Easter Island
(GMT-05:00) Central Time (US & Canada)
(GMT-04:00) Eastern Time (US & Canada)
(GMT-04:00) Cuba
(GMT-05:00) Bogota, Lima, Quito, Rio Branco
(GMT-04:00) Caracas
(GMT-03:00) Santiago
(GMT-04:00) La Paz
(GMT-03:00) Faukland Islands
(GMT-03:00) Manaus, Amazonas, Brazil
(GMT-03:00) Atlantic Time (Goose Bay)
(GMT-03:00) Atlantic Time (Canada)
(GMT-02:30) Newfoundland
(GMT-03:00) UTC-3
(GMT-03:00) Montevideo
(GMT-02:00) Miquelon, St. Pierre
(GMT-02:00) Greenland
(GMT-03:00) Buenos Aires
(GMT-02:00) Brasilia, Distrito Federal, Brazil
(GMT-02:00) Mid-Atlantic
(GMT-01:00) Cape Verde Is.
(GMT) Azores
(UTC) Coordinated Universal Time
(GMT+01:00) Belfast
(GMT+01:00) Dublin
(GMT+01:00) Lisbon
(GMT+01:00) London
(GMT) Monrovia, Reykjavik
(GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
(GMT+02:00) Belgrade, Bratislava, Budapest, Ljubljana, Prague
(GMT+02:00) Brussels, Copenhagen, Madrid, Paris
(GMT+01:00) West Central Africa
(GMT+02:00) Windhoek
(GMT+03:00) Athens
(GMT+03:00) Beirut
(GMT+02:00) Cairo
(GMT+03:00) Gaza
(GMT+02:00) Harare, Pretoria
(GMT+03:00) Jerusalem
(GMT+03:00) Minsk
(GMT+03:00) Syria
(GMT+03:00) Moscow, St. Petersburg, Volgograd
(GMT+03:00) Nairobi
(GMT+03:30) Tehran
(GMT+04:00) Abu Dhabi, Muscat
(GMT+04:00) Yerevan
(GMT+04:30) Kabul
(GMT+05:00) Ekaterinburg
(GMT+05:00) Tashkent
(GMT+05:30) Chennai, Kolkata, Mumbai, New Delhi
(GMT+05:45) Kathmandu
(GMT+06:00) Astana, Dhaka
(GMT+07:00) Novosibirsk
(GMT+06:30) Yangon (Rangoon)
(GMT+07:00) Bangkok, Hanoi, Jakarta
(GMT+07:00) Krasnoyarsk
(GMT+08:00) Beijing, Chongqing, Hong Kong, Urumqi
(GMT+08:00) Irkutsk, Ulaan Bataar
(GMT+08:00) Perth
(GMT+08:45) Eucla
(GMT+09:00) Osaka, Sapporo, Tokyo
(GMT+09:00) Seoul
(GMT+09:00) Yakutsk
(GMT+10:30) Adelaide
(GMT+09:30) Darwin
(GMT+10:00) Brisbane
(GMT+11:00) Hobart
(GMT+10:00) Vladivostok
(GMT+11:00) Lord Howe Island
(GMT+11:00) Solomon Is., New Caledonia
(GMT+11:00) Magadan
(GMT+11:00) Norfolk Island
(GMT+12:00) Anadyr, Kamchatka
(GMT+13:00) Auckland, Wellington
(GMT+12:00) Fiji, Kamchatka, Marshall Is.
(GMT+13:45) Chatham Islands
(GMT+13:00) Nuku'alofa
(GMT+14:00) Kiritimati
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 program
Specify 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 Sunday
Scala
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
Types
Scala
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
Compilation
Scala
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 Talks
Scala
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 Monday
Scala
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 Languages
Scala
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 Design
Scala
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
Unconference
Scala
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 Talk
VMIL
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 1
DLS
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 2
DLS
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 3
DLS
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 4
DLS
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 Wednesday
SPLASH 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 perspective
Keynote
SPLASH Keynotes
Chris Granger
Kodowa
10:30 - 12:00
Performance
SPLASH 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
Tools
SPLASH 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 Analysis
SPLASH 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 Thursday
SPLASH 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 Data
Keynote
SPLASH Keynotes
Crista Lopes
University of California, Irvine
10:30 - 12:00
Optimizing Compilation and Verification
SPLASH 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
Verification
SPLASH 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 Practice
SPLASH 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 Awards
SPLASH 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 Friday
SPLASH 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 think
Keynote
SPLASH Keynotes
Lera Boroditsky
UC San Diego
10:30 - 12:00
Static Analysis
SPLASH 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 Systems
SPLASH 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 Keynotes
Keynote
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 Keynotes
Keynote
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 Keynotes
Keynote
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
x
Fri 8 Nov 22:51