SPLASH 2018
Sun 4 - Fri 9 November 2018
Boston, Massachusetts, United States
Toggle navigation
About
Venue: Boston Park Plaza Hotel
Dining
Welcome
Awards
Registration
Support
Sponsoring
Visa
Conduct
Schedule
Complete Program
Your Program
Sun 4 Nov
Mon 5 Nov
Tue 6 Nov
Wed 7 Nov
Thu 8 Nov
Fri 9 Nov
Tracks
SPLASH 2018
OOPSLA
Artifacts
Keynotes
Posters
SPLASH-I
Meetups
SPLASH-E
Workshops
PLMW
Breakfasts
DocSymposium
Volunteers
SRC
Social
Co-hosted Conferences
GPCE
Onward!
Onward!
Onward!
Essays
Onward!
Papers
SLE
Workshops
AGERE
AI-SEPS
BLOCKS+
DSLDI
GRACE
HILT
LIVE
META
NJR
OCAP
PLATEAU
REBLS
SLEBoK
TURBO
VMIL
Co-hosted Symposia
DLS
Organization
SPLASH 2018 Committees
Organizing Committee
Steering Committee
Track Committees
OOPSLA
Review Committee
External Reviewers
Distinguished Paper Committee
Artifacts
Posters
SPLASH-I
Speakers
Organizers
SPLASH-E
Workshops
PLMW
Organizing Committee
Speakers
Breakfasts
DocSymposium
Academic Panel
Organizers
Program Committee
Volunteers
SRC
Organizers
Reviewers
Judges
Contributors
People Index
Co-hosted Conferences
GPCE
Organizing Committee
Program Committee
Onward!
Organizing Committee
Steering Committee
Onward! Essays
Onward! Papers
SLE
Keynote Speaker
Organizing Committee
Program Committee
Artifact Evaluation Committee
Workshops
AGERE
Organizing Committee
Program Committee
AI-SEPS
Organizing Committee
Program Committee
BLOCKS+
Organizing Committee
Program Committee
DSLDI
Organizing Committee
Program Committee
GRACE
Organizing Committee
Program Committee
HILT
Organizing Committee
Program Committee
LIVE
Organizing Committee
Program Committee
META
Organizing Committee
Program Committee
NJR
Organizing Committee
Program Committee
OCAP
Organizing Committee
Program Committee
PLATEAU
Organizing Committee
Program Committee
REBLS
Organizing Committee
Program Committee
SLEBoK
Organizing Committee
Program Committee
TURBO
Organizing Committee
VMIL
Program Committee
Steering Committee
Co-hosted Symposia
DLS
Program Committee
Steering Committee
Search
Series
Series
SPLASH 2025
SPLASH 2024
SPLASH 2023
SPLASH 2022
SPLASH 2021
SPLASH 2020
SPLASH 2019
SPLASH 2018
SPLASH 2017
SPLASH 2016
SPLASH 2015
SPLASH 2014
SPLASH 2013
SPLASH 2012
SPLASH 2011
SPLASH 2010
OOPSLA 2009
OOPSLA 2008
OOPSLA 2007
OOPSLA 2006
OOPSLA 2005
OOPSLA 2004
OOPSLA 2003
OOPSLA 2002
OOPSLA 2001
OOPSLA 2000
Sign in
Sign up
SPLASH 2018
(
series
) /
Boston Park Plaza Hotel
/
Room information: Studio 1
Venue
Boston Park Plaza Hotel
Room name
Studio 1
Floor
1
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-05:00) Guadalajara, Mexico City, Monterrey
.
Use conference time zone: (GMT-05:00) Guadalajara, Mexico City, Monterrey
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-07: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-05: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-04:00) Atlantic Time (Goose Bay)
(GMT-04:00) Atlantic Time (Canada)
(GMT-03:30) Newfoundland
(GMT-03:00) UTC-3
(GMT-03:00) Montevideo
(GMT-03:00) Miquelon, St. Pierre
(GMT-03: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-01:00) Azores
(UTC) Coordinated Universal Time
(GMT) Belfast
(GMT) Dublin
(GMT) Lisbon
(GMT) London
(GMT) Monrovia, Reykjavik
(GMT+01:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
(GMT+01:00) Belgrade, Bratislava, Budapest, Ljubljana, Prague
(GMT+01:00) Brussels, Copenhagen, Madrid, Paris
(GMT+01:00) West Central Africa
(GMT+02:00) Windhoek
(GMT+02:00) Athens
(GMT+02:00) Beirut
(GMT+02:00) Cairo
(GMT+02:00) Gaza
(GMT+02:00) Harare, Pretoria
(GMT+02:00) Jerusalem
(GMT+03:00) Minsk
(GMT+02: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
Mon 5 Nov
Displayed time zone:
Guadalajara, Mexico City, Monterrey
change
08:30 - 10:00
Keynote: Amarasinghe
GPCE
at
Studio 1
08:30
15m
Talk
Opening
GPCE
Eric Van Wyk
University of Minnesota, USA
,
Tiark Rompf
Purdue University
,
David J. Pearce
Victoria University of Wellington
,
Tanja Mayerhofer
TU Wien
,
Friedrich Steimann
Fernuniversität
08:45
75m
Talk
How to Make Sparse Fast
Keynote
GPCE
Saman Amarasinghe
MIT
10:30 - 12:00
Parsing
SLE
at
Studio 1
Chair(s):
Tijs van der Storm
CWI & University of Groningen
10:30
30m
Talk
Declarative Specification of Indentation Rules: A Tooling Perspective on Parsing and Pretty-Printing Layout-Sensitive Languages
SLE
Luis Eduardo de Souza Amorim
Delft University of Technology, Netherlands
,
Michael J. Steindorfer
Delft University of Technology
,
Sebastian Erdweg
TU Delft
,
Eelco Visser
Delft University of Technology
Link to publication
DOI
11:00
30m
Talk
GLL Parsing with Flexible Combinators
SLE
L. Thomas van Binsbergen
Royal Holloway University of London
,
Elizabeth Scott
Royal Holloway University of London
,
Adrian Johnstone
File Attached
11:30
30m
Talk
Morbig: A Static Parser for POSIX Shell
SLE
Yann Régis-Gianas
IRIF, University Paris Diderot and CNRS, France / INRIA PI.R2
,
Nicolas Jeannerod
IRIF, Université de Paris
,
Ralf Treinen
IRIF
13:30 - 15:00
Parsing / Composition
SLE
at
Studio 1
Chair(s):
Eelco Visser
Delft University of Technology
13:30
20m
Talk
Input-Driven Regular Expressions (Vision Paper)
Vision / New Idea
SLE
Alexander Sakharov
Synstretch
13:50
30m
Talk
Modular Language Composition for the Masses
SLE
Manuel Leduc
Univ Rennes, Inria, CNRS, IRISA
,
Thomas Degueule
Centrum Wiskunde & Informatica
,
Benoit Combemale
University of Rennes 1
DOI
Pre-print
14:20
20m
Talk
Storm: A Language Platform for Interacting and Extensible Languages (Tool Demo)
Tool Demo
SLE
Filip Strömbäck
Linköping University
DOI
14:40
20m
Talk
Languages as First-Class Citizens (Vision Paper)
Vision / New Idea
SLE
Matteo Cimini
University of Massachusetts Lowell
15:30 - 17:30
Validation & Verification
SLE
at
Studio 1
Chair(s):
Marsha Chechik
University of Toronto
15:30
30m
Talk
Continuous Model Validation using Reference Attribute Grammars
SLE
Johannes Mey
Technische Universität Dresden
,
René Schöne
Technische Universität Dresden
,
Görel Hedin
,
Emma Söderberg
Lund University
,
Thomas Kühn
Technische Universität Dresden
,
Niklas Fors
Lund University
,
Jesper Oqvist
Lund University
,
Uwe Aßmann
TU Dresden, Germany
Link to publication
DOI
Pre-print
Media Attached
16:00
30m
Talk
Migrating Business Logic to an Incremental Computing DSL: A Case Study
SLE
Daco Harkes
Delft University of Technology
,
Elmer van Chastelet
Delft University of Technology
,
Eelco Visser
Delft University of Technology
Link to publication
DOI
Pre-print
16:30
20m
Talk
An Industrial Case Study in Compiler Testing (Tool Demo)
Tool Demo
SLE
Vadim Zaytsev
Raincode Labs
16:50
20m
Talk
Messir, a Text-first DSL-based Approach for UML Requirements Engineering (Tool Demo)
Tool Demo
SLE
Benoît Ries
University of Luxembourg
,
Alfredo Capozucca
University of Luxembourg
,
Nicolas Guelfi
University of Luxembourg
DOI
Tue 6 Nov
Displayed time zone:
Guadalajara, Mexico City, Monterrey
change
08:30 - 10:00
Keynote: Rinard
SLE
at
Studio 1
08:30
15m
Day opening
Awards
SLE
Friedrich Steimann
Fernuniversität
,
Tanja Mayerhofer
TU Wien
,
Matthew Roberts
Macquarie University
,
Romina Eramo
University of L'Aquila
08:45
75m
Talk
A New Approach for Software Correctness and Reliability
Keynote
SLE
Martin C. Rinard
Massachusetts Institute of Technology
10:30 - 12:00
Types & Constraints
SLE
at
Studio 1
Chair(s):
Ralf Laemmel
Facebook London
10:30
30m
Talk
Constraint-based Run-time State Migration for Live Modeling
SLE
Ulyana Tikhonova
CWI
,
Jouke Stoel
CWI
,
Tijs van der Storm
CWI & University of Groningen
,
Thomas Degueule
Centrum Wiskunde & Informatica
11:00
30m
Talk
The Next 700 Unit Checkers
SLE
Oscar Bennich-Björkman
Uppsala University
,
Steve McKeever
Uppsala University
11:30
30m
Talk
A Practical Type System for Safe Aliasing
SLE
Dimi Racordon
University of Geneva, Centre Universitaire d'Informatique, Geneva, Switzerland
,
Didier Buchs
University of Geneva, Centre Universitaire d'Informatique, Geneva, Switzerland
13:30 - 15:00
Grammars & Metamodelling
SLE
at
Studio 1
Chair(s):
Thomas Degueule
Centrum Wiskunde & Informatica
13:30
30m
Talk
Facet-Oriented Modelling: Open Objects for Model-Driven Engineering
SLE
Juan de Lara
Universidad Autónoma de Madrid
,
Esther Guerra
Universidad Autónoma de Madrid
,
Jörg Kienzle
McGill University, Canada
,
Yanis Hattab
McGill University
14:00
30m
Talk
Analysing Meta-Model Product Lines
SLE
Esther Guerra
Universidad Autónoma de Madrid
,
Juan de Lara
Universidad Autónoma de Madrid
,
Marsha Chechik
University of Toronto
,
Rick Salay
University of Toronto
14:30
30m
Talk
Translating Grammars to Accurate Metamodels
SLE
Arvid Butting
Software Engineering RWTH Aachen University
,
Nico Jansen
Software Engineering, RWTH Aachen University
,
Bernhard Rumpe
RWTH Aachen University
,
Andreas Wortmann
RWTH Aachen University
15:30 - 17:30
Grammars & Metamodelling / Workbenches
SLE
at
Studio 1
Chair(s):
Juan de Lara
Universidad Autónoma de Madrid
15:30
30m
Talk
Deriving Fluent Internal Domain-Specific Languages from Grammars
SLE
Arvid Butting
Software Engineering RWTH Aachen University
,
Manuela Dalibor
Software Engineering, RWTH Aachen University
,
Gerrit Leonhardt
Software Engineering, RWTH Aachen University
,
Bernhard Rumpe
RWTH Aachen University
,
Andreas Wortmann
RWTH Aachen University
16:00
20m
Talk
Fostering Metamodels and Grammars Within a Dedicated Environment for HPC: The NabLab Environment (Tool Demo)
Tool Demo
SLE
Benoît Lelandais
CEA/DAM/DIF, France
,
Marie-Pierre Oudot
CEA/DAM/DIF, France
,
Benoit Combemale
University of Rennes 1
16:20
20m
Talk
Migrating Custom DSL Implementations to a Language Workbench (Tool Demo)
Tool Demo
SLE
Jasper Denkers
TU Delft
,
Louis van Gool
Océ Technologies B.V.
,
Eelco Visser
Delft University of Technology
Link to publication
DOI
16:40
20m
Talk
Bacatá: A Language Parametric Notebook Generator (Tool Demo)
Tool Demo
SLE
Mauricio Verano Merino
Technische Universiteit Eindhoven
,
Jurgen Vinju
Centrum Wiskunde & Informatica / Technische Universiteit Eindhoven / SWAT.engineering BV
,
Tijs van der Storm
CWI & University of Groningen
17:00
20m
Talk
Shape-Diverse DSLs: Languages without Borders (Vision Paper)
Vision / New Idea
SLE
Fabien Coulon
University of Toulouse / Obeo
,
Thomas Degueule
Centrum Wiskunde & Informatica
,
Tijs van der Storm
CWI & University of Groningen
,
Benoit Combemale
University of Rennes 1
Pre-print
Wed 7 Nov
Displayed time zone:
Guadalajara, Mexico City, Monterrey
change
10:30 - 12:00
Types and Effects
OOPSLA
at
Studio 1
Chair(s):
Colin Gordon
Drexel University
10:30
22m
Talk
Effect Handlers for the Masses
OOPSLA
Jonathan Immanuel Brachthäuser
University of Tübingen, Germany
,
Philipp Schuster
University of Tübingen, Germany
,
Klaus Ostermann
University of Tübingen, Germany
10:52
22m
Talk
Empowering Union and Intersection Types with Integrated Subtyping
OOPSLA
Fabian Muehlboeck
Cornell University
,
Ross Tate
Cornell University
Link to publication
DOI
Pre-print
11:15
22m
Talk
Julia Subtyping: a Rational Reconstruction
OOPSLA
Francesco Zappa Nardelli
Inria
,
Julia Belyakova
Northeastern University, USA
,
Artem Pelenitsyn
Northeastern University
,
Benjamin Chung
Northeastern University
,
Jeff Bezanson
Julia Computing
,
Jan Vitek
Northeastern University
DOI
Media Attached
11:37
22m
Talk
Scopes as Types
OOPSLA
Hendrik van Antwerpen
TU Delft
,
Casper Bach Poulsen
Delft University of Technology
,
Arjen Rouvoet
Delft University of Technology
,
Eelco Visser
Delft University of Technology
Link to publication
DOI
File Attached
13:30 - 15:00
Security
OOPSLA
at
Studio 1
Chair(s):
Tobias Wrigstad
Uppsala University
13:30
22m
Talk
A Derivation Framework for Dependent Security Label Inference
OOPSLA
Peixuan Li
Penn State University
,
Danfeng Zhang
Pennsylvania State University
13:52
22m
Talk
MadMax: Surviving Out-of-Gas Conditions in Ethereum Smart Contracts
OOPSLA
Neville Grech
University of Athens
,
Michael Kong
University of Sydney
,
Anton Jurisevic
University of Sydney
,
Lexi Brent
University of Sydney
,
Bernhard Scholz
The University of Sydney
,
Yannis Smaragdakis
University of Athens
Link to publication
Pre-print
File Attached
14:15
22m
Talk
Faster Variational Execution with Transparent Bytecode Transformation
OOPSLA
Chu-Pan Wong
Carnegie Mellon University
,
Jens Meinicke
Magdeburg University
,
Lukas Lazarek
,
Christian Kästner
Carnegie Mellon University
14:37
22m
Talk
Secure Serverless Computing Using Dynamic Information Flow Control
OOPSLA
Kalev Alpernas
Tel Aviv University
,
Cormac Flanagan
University of California, Santa Cruz
,
Sadjad Fouladi
Stanford University
,
Leonid Ryzhyk
VMware Research
,
Mooly Sagiv
Tel Aviv University
,
Thomas Schmitz
,
Keith Winstein
Stanford University
15:30 - 17:00
Language Design 2
OOPSLA
at
Studio 1
Chair(s):
Jonathan Aldrich
Carnegie Mellon University
15:30
22m
Talk
Bidirectional Evaluation with Direct Manipulation
OOPSLA
Mikaël Mayer
EPFL, Switzerland
,
Viktor Kunčak
EPFL, Switzerland
,
Ravi Chugh
University of Chicago
15:52
22m
Talk
BioScript: Programming Safe Chemistry on Laboratories-on-a-Chip
OOPSLA
Jason Ott
University of California, Riverside
,
Tyson Loveless
University of California, Riverside
,
Chris Curtis
University of California, Riverside
,
Mohsen Lesani
University of California, Riverside
,
Philip Brisk
University of California, Riverside
16:15
22m
Talk
Distributed System Development with ScalaLoci
OOPSLA
Pascal Weisenburger
Technische Universität Darmstadt
,
Mirko Köhler
,
Guido Salvaneschi
TU Darmstadt
16:37
22m
Talk
Concurrency-aware Object-oriented Programming with Roles
OOPSLA
Michael Faes
ETH Zurich
,
Thomas Gross
ETH Zurich
Link to publication
DOI
17:05 - 18:00
Awards / SIGPLAN Town Hall Meeting
OOPSLA
at
Studio 1
Chair(s):
Jens Palsberg
University of California, Los Angeles
,
Manu Sridharan
Uber
Thu 8 Nov
Displayed time zone:
Guadalajara, Mexico City, Monterrey
change
10:30 - 12:00
Weak Memory and Refactoring
OOPSLA
at
Studio 1
Chair(s):
Richard Jones
University of Kent
10:30
22m
Talk
Optimal Stateless Model Checking under the Release-Acquire Semantics
OOPSLA
Parosh Aziz Abdulla
Uppsala University, Sweden
,
Mohamed Faouzi Atig
Uppsala University
,
Bengt Jonsson
Uppsala University
,
Tuan Phong Ngo
Uppsala University
10:52
22m
Talk
Towards Understanding the Costs of Avoiding Out-of-Thin-Air Results
OOPSLA
Peizhao Ou
University of California, Irvine
,
Brian Demsky
University of California, Irvine
11:15
22m
Talk
Persistence Semantics for Weak Memory
OOPSLA
Azalea Raad
MPI-SWS, Germany
,
Viktor Vafeiadis
MPI-SWS, Germany
11:37
22m
Talk
Identifying Refactoring Opportunities for Replacing Type Code with Subclass and State
OOPSLA
Jyothi Vedurada
IIT Madras
,
V Krishna Nandivada
IIT Madras
13:30 - 15:00
Parallelism and Correctness
OOPSLA
at
Studio 1
Chair(s):
Werner Dietl
University of Waterloo, Canada
13:30
22m
Talk
Thread-Safe Reactive Programming
OOPSLA
Joscha Drechsler
Technische Universität Darmstadt
,
Ragnar Mogk
Technische Universität Darmstadt
,
Guido Salvaneschi
TU Darmstadt
,
Mira Mezini
TU Darmstadt
DOI
Pre-print
File Attached
13:52
22m
Talk
RacerD: Compositional Static Race Detection
OOPSLA
Sam Blackshear
Facebook
,
Nikos Gorogiannis
,
Peter W. O'Hearn
Facebook and University College London
,
Ilya Sergey
Yale-NUS College
Pre-print
14:15
22m
Talk
What Happens-After the First Race? Enhancing the Predictive Power of Happens-Before Based Dynamic Race Detection
OOPSLA
Umang Mathur
University of Illinois at Urbana-Champaign
,
Dileep Kini
University of Illinois at Urbana-Champaign
,
Mahesh Viswanathan
University of Illinois at Urbana-Champaign
DOI
Authorizer link
Pre-print
14:37
22m
Talk
Sound Deadlock Prediction
OOPSLA
Christian Gram Kalhauge
University of California, Los Angeles
,
Jens Palsberg
University of California, Los Angeles
15:30 - 17:00
Performance
OOPSLA
at
Studio 1
Chair(s):
Adam Welc
Uber Technologies
15:30
22m
Talk
Cross-Component Garbage Collection
OOPSLA
Ulan Degenbaev
Google
,
Jochen Eisinger
Google
,
Kentaro Hara
Google
,
Marcel Hlopko
Google
,
Michael Lippautz
Google
,
Hannes Payer
Google
DOI
Media Attached
15:52
22m
Talk
Reactive Caching for Composed Services
OOPSLA
Sebastian Burckhardt
Microsoft Research
,
Tim Coppieters
Vrije Universiteit Brussel, Belgium
16:15
22m
Talk
Object-Oriented Recovery for Non-Volatile Memory
OOPSLA
Nachshon Cohen
EPFL, Switzerland
,
David T. Aksun
EPFL
,
James Larus
EPFL
16:37
22m
Talk
Software Multiplexing: Share Your Libraries and Statically Link Them Too
OOPSLA
Will Dietz
University of Illinois at Urbana-Champaign
,
Vikram S. Adve
University of Illinois at Urbana-Champaign
Link to publication
DOI
Pre-print
Fri 9 Nov
Displayed time zone:
Guadalajara, Mexico City, Monterrey
change
10:30 - 12:00
Testing
OOPSLA
at
Studio 1
Chair(s):
Kim Bruce
Pomona College
10:30
22m
Talk
Compositional Programming and Testing of Dynamic Distributed Systems
OOPSLA
Ankush Desai
University of California, Berkeley
,
Amar Phanishayee
Microsoft Research
,
Shaz Qadeer
Microsoft Research
,
Sanjit Seshia
UC Berkeley
10:52
22m
Talk
Randomized Testing of Distributed Systems with Probabilistic Guarantees
OOPSLA
Burcu Kulahcioglu Ozkan
MPI-SWS, Germany
,
Rupak Majumdar
MPI-SWS, Germany
,
Filip Niksic
MPI-SWS
,
Mitra Tabaei Befrouei
Vienna University of Technology
,
Georg Weissenbacher
Technische Universität Wien
11:15
22m
Talk
Test Generation for Higher-Order Functions in Dynamic Languages
OOPSLA
Marija Selakovic
TU Darmstadt, Germany
,
Michael Pradel
TU Darmstadt
,
Rezwana Karim Nawrin
Samsung Research America
,
Frank Tip
Northeastern University
11:37
22m
Talk
Finding Broken Promises in Asynchronous JavaScript Programs
OOPSLA
Saba Alimadadi
Northeastern University
,
Di Zhong
Northeastern University, USA
,
Magnus Madsen
Aarhus University
,
Frank Tip
Northeastern University
13:30 - 14:15
Verification
OOPSLA
at
Studio 1
Chair(s):
Tony Hosking
Australian National University / Data61
13:30
22m
Talk
Leto: Verifying Application-Specific Fault Tolerance through Parameterized Execution Models
OOPSLA
Brett Boston
Massachusetts Institute of Technology
,
Zoe Gong
Massachusetts Institute of Technology
,
Michael Carbin
Massachusetts Institute of Technology
13:52
22m
Talk
Safe Replication through Bounded Concurrency Verification
OOPSLA
Gowtham Kaki
Purdue University
,
Kapil Earanky
Purdue University
,
KC Sivaramakrishnan
University of Cambridge
,
Suresh Jagannathan
Purdue University
Mon 5 Nov
Displayed time zone:
Guadalajara, Mexico City, Monterrey
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
Studio 1
GPCE
Keynote: Amarasinghe
SLE
Parsing
SLE
Parsing / Composition
SLE
Validation & Verification
Tue 6 Nov
Displayed time zone:
Guadalajara, Mexico City, Monterrey
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
Studio 1
SLE
Keynote: Rinard
SLE
Types & Constraints
SLE
Grammars & Metamodelling
SLE
Grammars & Metamodelling / Workbenches
Wed 7 Nov
Displayed time zone:
Guadalajara, Mexico City, Monterrey
change
Room
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
17:00
30
Studio 1
OOPSLA
Types and Effects
OOPSLA
Security
OOPSLA
Language Design 2
OOPSLA
Awards / SIGPLAN Town Hall Meeting
Thu 8 Nov
Displayed time zone:
Guadalajara, Mexico City, Monterrey
change
Room
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
Studio 1
OOPSLA
Weak Memory and Refactoring
OOPSLA
Parallelism and Correctness
OOPSLA
Performance
Fri 9 Nov
Displayed time zone:
Guadalajara, Mexico City, Monterrey
change
Room
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
Studio 1
OOPSLA
Testing
OOPSLA
Verification
Mon 5 Nov
Displayed time zone:
Guadalajara, Mexico City, Monterrey
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
Studio 1
GPCE
Opening
08:30 - 08:45
GPCE
Keynote
How to Make Sparse Fast
08:45 - 10:00
SLE
Declarative Specification of Indentation Rules: A Tooling Perspective o ...
10:30 - 11:00
SLE
GLL Parsing with Flexible Combinators
11:00 - 11:30
SLE
Morbig: A Static Parser for POSIX Shell
11:30 - 12:00
SLE
Vision / New Idea
Input-Driven Regular Expressions (Vision Paper)
13:30 - 13:50
SLE
Modular Language Composition for the Masses
13:50 - 14:20
SLE
Tool Demo
Storm: A Language Platform for Interacting and Extensible Languages (To ...
14:20 - 14:40
SLE
Vision / New Idea
Languages as First-Class Citizens (Vision Paper)
14:40 - 15:00
SLE
Continuous Model Validation using Reference Attribute Grammars
15:30 - 16:00
SLE
Migrating Business Logic to an Incremental Computing DSL: A Case Study
16:00 - 16:30
SLE
Tool Demo
An Industrial Case Study in Compiler Testing (Tool Demo)
16:30 - 16:50
SLE
Tool Demo
Messir, a Text-first DSL-based Approach for UML Requirements Engineerin ...
16:50 - 17:10
Tue 6 Nov
Displayed time zone:
Guadalajara, Mexico City, Monterrey
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
Studio 1
SLE
Awards
08:30 - 08:45
SLE
Keynote
A New Approach for Software Correctness and Reliability
08:45 - 10:00
SLE
Constraint-based Run-time State Migration for Live Modeling
10:30 - 11:00
SLE
The Next 700 Unit Checkers
11:00 - 11:30
SLE
A Practical Type System for Safe Aliasing
11:30 - 12:00
SLE
Facet-Oriented Modelling: Open Objects for Model-Driven Engineering
13:30 - 14:00
SLE
Analysing Meta-Model Product Lines
14:00 - 14:30
SLE
Translating Grammars to Accurate Metamodels
14:30 - 15:00
SLE
Deriving Fluent Internal Domain-Specific Languages from Grammars
15:30 - 16:00
SLE
Tool Demo
Fostering Metamodels and Grammars Within a Dedicated Environment for HP ...
16:00 - 16:20
SLE
Tool Demo
Migrating Custom DSL Implementations to a Language Workbench (Tool Demo)
16:20 - 16:40
SLE
Tool Demo
Bacatá: A Language Parametric Notebook Generator (Tool Demo)
16:40 - 17:00
SLE
Vision / New Idea
Shape-Diverse DSLs: Languages without Borders (Vision Paper)
17:00 - 17:20
Wed 7 Nov
Displayed time zone:
Guadalajara, Mexico City, Monterrey
change
Room
10:00
15
30
45
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
15:00
15
30
45
16:00
15
30
45
Studio 1
SPLASH OOPSLA
Effect Handlers for the Masses
10:30 - 10:52
SPLASH OOPSLA
Empowering Union and Intersection Types with Integrated Subtyping
10:52 - 11:15
SPLASH OOPSLA
Julia Subtyping: a Rational Reconstruction
11:15 - 11:37
SPLASH OOPSLA
Scopes as Types
11:37 - 12:00
SPLASH OOPSLA
A Derivation Framework for Dependent Security Label Inference
13:30 - 13:52
SPLASH OOPSLA
MadMax: Surviving Out-of-Gas Conditions in Ethereum Smart Contracts
13:52 - 14:15
SPLASH OOPSLA
Faster Variational Execution with Transparent Bytecode Transformation
14:15 - 14:37
SPLASH OOPSLA
Secure Serverless Computing Using Dynamic Information Flow Control
14:37 - 15:00
SPLASH OOPSLA
Bidirectional Evaluation with Direct Manipulation
15:30 - 15:52
SPLASH OOPSLA
BioScript: Programming Safe Chemistry on Laboratories-on-a-Chip
15:52 - 16:15
SPLASH OOPSLA
Distributed System Development with ScalaLoci
16:15 - 16:37
SPLASH OOPSLA
Concurrency-aware Object-oriented Programming with Roles
16:37 - 17:00
Thu 8 Nov
Displayed time zone:
Guadalajara, Mexico City, Monterrey
change
Room
10:00
15
30
45
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
15:00
15
30
45
16:00
15
30
45
Studio 1
SPLASH OOPSLA
Optimal Stateless Model Checking under the Release-Acquire Semantics
10:30 - 10:52
SPLASH OOPSLA
Towards Understanding the Costs of Avoiding Out-of-Thin-Air Results
10:52 - 11:15
SPLASH OOPSLA
Persistence Semantics for Weak Memory
11:15 - 11:37
SPLASH OOPSLA
Identifying Refactoring Opportunities for Replacing Type Code with Subc ...
11:37 - 12:00
SPLASH OOPSLA
Thread-Safe Reactive Programming
13:30 - 13:52
SPLASH OOPSLA
RacerD: Compositional Static Race Detection
13:52 - 14:15
SPLASH OOPSLA
What Happens-After the First Race? Enhancing the Predictive Power of Ha ...
14:15 - 14:37
SPLASH OOPSLA
Sound Deadlock Prediction
14:37 - 15:00
SPLASH OOPSLA
Cross-Component Garbage Collection
15:30 - 15:52
SPLASH OOPSLA
Reactive Caching for Composed Services
15:52 - 16:15
SPLASH OOPSLA
Object-Oriented Recovery for Non-Volatile Memory
16:15 - 16:37
SPLASH OOPSLA
Software Multiplexing: Share Your Libraries and Statically Link Them Too
16:37 - 17:00
Fri 9 Nov
Displayed time zone:
Guadalajara, Mexico City, Monterrey
change
Room
10:00
15
30
45
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
Studio 1
SPLASH OOPSLA
Compositional Programming and Testing of Dynamic Distributed Systems
10:30 - 10:52
SPLASH OOPSLA
Randomized Testing of Distributed Systems with Probabilistic Guarantees
10:52 - 11:15
SPLASH OOPSLA
Test Generation for Higher-Order Functions in Dynamic Languages
11:15 - 11:37
SPLASH OOPSLA
Finding Broken Promises in Asynchronous JavaScript Programs
11:37 - 12:00
SPLASH OOPSLA
Leto: Verifying Application-Specific Fault Tolerance through Parameteri ...
13:30 - 13:52
SPLASH OOPSLA
Safe Replication through Bounded Concurrency Verification
13:52 - 14:15
x
Tue 5 Nov 05:34