Write a Blog >>
Scala 2017
Sun 22 - Mon 23 October 2017
Vancouver, Canada
co-located with
SPLASH 2017
Toggle navigation
Attending
Venue: Hyatt Regency Vancouver
SPLASH 2017
General Chair's Welcome
OOPSLA Chair's Welcome
Awards
Registration
Student Support
Sponsorship
Visas and ETA
Childcare
Code Of Conduct
Program
Scala Program
Your Program
Sun 22 Oct
Mon 23 Oct
Track/Call
Organization
Scala 2017 Committees
Track Committees
Organizing Committee
Program Committee
Steering Committee
Contributors
People Index
Search
Series
Series
Scala 2022
Scala 2021
Scala 2020
Scala 2019
Scala 2018
Scala 2017
Scala 2016
Scala 2015
Sign in
Sign up
SPLASH 2017
(
series
) /
Scala 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 2017
at
Regency C
Chair(s):
Philipp Haller
KTH Royal Institute of Technology
08:45
15m
Day opening
Opening - Day 1
Scala 2017
09:00
60m
Talk
Spark and Scala
Scala 2017
K:
Reynold Xin
Databricks
10:30 - 12:00
Types
Scala 2017
at
Regency C
Chair(s):
Anthony Sloane
Macquarie University
10:30
30m
Talk
Towards Algorithmic Typing for DOT (Short Paper)
Scala 2017
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 2017
Adelbert Chang
Unaffiliated
DOI
Pre-print
11:30
30m
Talk
Rust-Like Borrowing with 2nd-Class Values (Short Paper)
Scala 2017
Leo Osvald
Purdue University, USA
,
Tiark Rompf
Purdue University
DOI
Media Attached
13:30 - 15:00
Compilation
Scala 2017
at
Regency C
Chair(s):
Paolo G. Giarrusso
University of Tübingen, Germany
13:30
30m
Talk
A Scala Framework for Supercompilation
Scala 2017
Nate Nystrom
DOI
14:00
30m
Talk
Making Collection Operations Optimal with Aggressive JIT Compilation
Scala 2017
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 2017
Franck Cassez
Macquarie University, Australia
,
Anthony Sloane
Macquarie University
DOI
15:30 - 17:00
Open-source & Student Talks
Scala 2017
at
Regency C
Chair(s):
Guido Salvaneschi
TU Darmstadt
15:30
22m
Talk
Genomic Data Analysis in Scala (Open-Source Talk)
Scala 2017
Ryan Williams
Media Attached
15:52
22m
Talk
Flare: A Brief Look into Optimizing UDFs in Spark (Student Talk)
Scala 2017
A:
James Decker
Media Attached
16:15
22m
Talk
Delimited Control in Scala (Student Talk)
Scala 2017
A:
Nils Jonsson
16:37
22m
Talk
Design of Library Interfaces (Student Talk)
Scala 2017
A:
Nils Jonsson
Mon 23 Oct
Displayed time zone:
Tijuana, Baja California
change
08:30 - 10:00
Keynote Monday
Scala 2017
at
Regency C
Chair(s):
Ondřej Lhoták
University of Waterloo, Canada
08:45
15m
Day opening
Opening - Day 2
Scala 2017
09:00
60m
Talk
The Hack Programming Language
Scala 2017
K:
Dwayne Reeves
Facebook
10:30 - 12:00
Domain-specific Languages
Scala 2017
at
Regency C
10:30
30m
Talk
Typesafe Abstractions for Tensor Operations (Short Paper)
Scala 2017
Tongfei Chen
DOI
Pre-print
Media Attached
11:00
30m
Talk
Interactive Development using the Dotty Compiler (Tool Paper)
Scala 2017
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 2017
Lars Kroll
KTH Royal Institute of Technology, Sweden
,
Paris Carbone
KTH, Sweden
,
Seif Haridi
DOI
File Attached
13:30 - 15:00
Language Design
Scala 2017
at
Regency C
Chair(s):
Nada Amin
University of Cambridge
13:30
30m
Talk
Squid: Type-Safe, Hygienic, and Reusable Quasiquotes
Scala 2017
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 2017
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 2017
at
Regency C
Chair(s):
Jonathan Immanuel Brachthäuser
University of Tübingen, Germany
15:30
90m
Talk
Unconference
Scala 2017
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 2017
Keynote Sunday
Scala 2017
Types
Scala 2017
Compilation
Scala 2017
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 2017
Keynote Monday
Scala 2017
Domain-specific Languages
Scala 2017
Language Design
Scala 2017
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
Thu 5 Dec 13:44