META'18
Sun 4 - Fri 9 November 2018 Boston, Massachusetts, United States
co-located with SPLASH 2018
VenueBoston Park Plaza Hotel
Room nameStudio 1
Floor1
Room InformationNo extra information available
Program

You're viewing the program in a time zone which is different from your device's time zone change time zone

Mon 5 Nov

Displayed time zone: Guadalajara, Mexico City, Monterrey change

08:30 - 10:00
Keynote: AmarasingheGPCE 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 FastKeynote
GPCE
10:30 - 12:00
ParsingSLE 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 / CompositionSLE 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
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 & VerificationSLE 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: RinardSLE 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 ReliabilityKeynote
SLE
Martin C. Rinard Massachusetts Institute of Technology
10:30 - 12:00
Types & ConstraintsSLE 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 & MetamodellingSLE 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 / WorkbenchesSLE 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 EffectsSPLASH OOPSLA at Studio 1
Chair(s): Colin Gordon Drexel University
10:30
22m
Talk
Effect Handlers for the Masses
SPLASH 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
SPLASH OOPSLA
Fabian Muehlboeck Cornell University, Ross Tate Cornell University
Link to publication DOI Pre-print
11:15
22m
Talk
Julia Subtyping: a Rational Reconstruction
SPLASH 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
SPLASH 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
SecuritySPLASH OOPSLA at Studio 1
Chair(s): Tobias Wrigstad Uppsala University
13:30
22m
Talk
A Derivation Framework for Dependent Security Label Inference
SPLASH OOPSLA
Peixuan Li Penn State University, Danfeng Zhang Pennsylvania State University
13:52
22m
Talk
MadMax: Surviving Out-of-Gas Conditions in Ethereum Smart ContractsDistinguished Paper Award
SPLASH 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
SPLASH 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
SPLASH 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 2SPLASH OOPSLA at Studio 1
Chair(s): Jonathan Aldrich Carnegie Mellon University
15:30
22m
Talk
Bidirectional Evaluation with Direct Manipulation
SPLASH 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-ChipDistinguished Paper Award
SPLASH 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
SPLASH 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
SPLASH OOPSLA
Michael Faes ETH Zurich, Thomas Gross ETH Zurich
Link to publication DOI
17:05 - 18:00
Awards / SIGPLAN Town Hall MeetingSPLASH 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 RefactoringSPLASH OOPSLA at Studio 1
Chair(s): Richard Jones University of Kent
10:30
22m
Talk
Optimal Stateless Model Checking under the Release-Acquire Semantics
SPLASH 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
SPLASH OOPSLA
Peizhao Ou University of California, Irvine, Brian Demsky University of California, Irvine
11:15
22m
Talk
Persistence Semantics for Weak Memory
SPLASH 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
SPLASH OOPSLA
Jyothi Vedurada IIT Madras, V Krishna Nandivada IIT Madras
13:30 - 15:00
Parallelism and CorrectnessSPLASH OOPSLA at Studio 1
Chair(s): Werner Dietl University of Waterloo, Canada
13:30
22m
Talk
Thread-Safe Reactive Programming
SPLASH 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
SPLASH 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
SPLASH 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
SPLASH OOPSLA
Christian Gram Kalhauge University of California, Los Angeles, Jens Palsberg University of California, Los Angeles
15:30 - 17:00
PerformanceSPLASH OOPSLA at Studio 1
Chair(s): Adam Welc Uber Technologies
15:30
22m
Talk
Cross-Component Garbage Collection
SPLASH OOPSLA
DOI Media Attached
15:52
22m
Talk
Reactive Caching for Composed Services
SPLASH OOPSLA
Sebastian Burckhardt Microsoft Research, Tim Coppieters Vrije Universiteit Brussel, Belgium
16:15
22m
Talk
Object-Oriented Recovery for Non-Volatile Memory
SPLASH 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
SPLASH 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
TestingSPLASH OOPSLA at Studio 1
Chair(s): Kim Bruce Pomona College
10:30
22m
Talk
Compositional Programming and Testing of Dynamic Distributed Systems
SPLASH 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 GuaranteesDistinguished Paper Award
SPLASH 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
SPLASH 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
SPLASH OOPSLA
Saba Alimadadi Northeastern University, Di Zhong Northeastern University, USA, Magnus Madsen Aarhus University, Frank Tip Northeastern University
13:30 - 14:15
VerificationSPLASH 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
SPLASH 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
SPLASH 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

Room8:00309:003010:003011:003012:003013:003014:003015:003016:003017:0030
Studio 1

Tue 6 Nov

Displayed time zone: Guadalajara, Mexico City, Monterrey change

Wed 7 Nov

Displayed time zone: Guadalajara, Mexico City, Monterrey change

Thu 8 Nov

Displayed time zone: Guadalajara, Mexico City, Monterrey change

Fri 9 Nov

Displayed time zone: Guadalajara, Mexico City, Monterrey change

Room10:003011:003012:003013:003014:0030
Studio 1