STOKED 2019
Sun 20 - Fri 25 October 2019 Athens, Greece
co-located with SPLASH 2019
SPLASH 2019 (series) / STOKED 2019 (series) / Royal Olympic Hotel /

Room information: Templars

VenueRoyal Olympic Hotel
Room nameTemplars
Floor0
Capacity100
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 21 Oct

Displayed time zone: Beirut change

09:00 - 10:30
Session 1: SLE WelcomeSLE at Templars
Chair(s): Beatriz Sanchez University of York
09:00
90m
Talk
Software Language Engineering -- 42 Frequently Asked Questions
SLE
Ralf Laemmel Facebook London
11:00 - 12:30
Session 2: GrammarsSLE at Templars
Chair(s): Elizabeth Scott Royal Holloway University of London
11:00
30m
Talk
A Feature-Based Classification of Triple Graph Grammar Variants
SLE
Nils Weidmann Paderborn University, Patrick Robrecht Independent, Robin Oppermann Independent
11:30
30m
Talk
Spectrum-Based Fault Localization for Context-Free Grammars
SLE
Moeketsi Raselimo Stellenbosch University, Bernd Fischer Stellenbosch University
12:00
30m
Talk
Consistency Management via a Combination of Triple Graph Grammars and Linear Programming
SLE
Nils Weidmann Paderborn University, Anthony Anjorin Paderborn University, Erhan Leblebici Technische Universität Darmstadt, Andy Schürr Technische Universität Darmstadt
14:00 - 15:30
Session 3: LanguagesSLE at Templars
Chair(s): Casper Bach Poulsen Delft University of Technology
14:00
30m
Talk
Operationalizing the Integration of User Interaction Specifications in the Synthesis of Modeling Editors
SLE
Vasco Sousa Université de Montréal, Eugene Syriani Université de Montréal, Khady Fall Université de Montréal
14:30
20m
Talk
A Vision of Miking: Interactive Programmatic Modeling, Sound Language Composition, and Self-Learning CompilationNEW IDEA
SLE
David Broman KTH Royal Institute of Technology
14:50
20m
Talk
Shadow Models [Tool Demo] -- Incremental Transformations for MPSDEMO
SLE
Markus Völter itemis/independent, Klaus Birken itemis AG, Sascha Lisson itemis AG, Alexander Rimer itemis AG
15:10
20m
Talk
The Lands Platform: Lan.guages and D.omain S.yntax, Tool DemoDEMO
SLE
Nick Papoulias Université Grenoble Alpes, France
16:00 - 17:30
Session 4: ParsingSLE at Templars
Chair(s): Adrian Johnstone Royal Holloway, University of London
16:00
30m
Talk
Multiple Lexicalisation - A Java Based Study
SLE
Elizabeth Scott Royal Holloway University of London, Adrian Johnstone Royal Holloway, University of London
16:30
20m
Talk
Breaking Parsers: Mutation-based Generation of Programs with Guaranteed Syntax ErrorsNEW IDEABest Paper
SLE
Moeketsi Raselimo Stellenbosch University, Jan Taljaard Stellenbosch University, Bernd Fischer Stellenbosch University
16:50
30m
Talk
Default disambiguation for online parsers
SLE
Lukas Diekmann King's College London, Laurence Tratt King's College London
DOI Pre-print
17:30 - 18:00
SLE MIP Awards 2018 and 2019SLE at Templars
17:20
40m
Awards
SLE MIP Awards 2018 and 2019
SLE

Tue 22 Oct

Displayed time zone: Beirut change

09:00 - 10:30
Session 5: GPCE WelcomeSLE at Templars
11:00 - 12:30
Session 6: ModelingSLE at Templars
11:00
30m
Talk
Domain-specific model differencing in visual concrete syntaxBest Paper
SLE
Manouchehr Zadahmad Jafarlou Université de Montréal, Eugene Syriani Université de Montréal, Omar Alam Trent University, Esther Guerra Universidad Autonoma de Madrid, Juan de Lara Universidad Autonoma de Madrid
11:30
30m
Talk
Detecting and Exploring Side Effects when Repairing Model Inconsistencies
SLE
Djamel Eddine Khelladi CNRS, IRISA, Roland Kretschmer JOHANNES KEPLER UNIVERSITY LINZ, Alexander Egyed JOHANNES KEPLER UNIVERSITY LINZ
12:00
30m
Talk
Higher-Level Mission Specification for Multiple Robots
SLE
Sergio Garcia Chalmers | University of Gothenburg, Patrizio Pelliccione Chalmers | University of Gothenburg, Claudio Menghi University of Luxembourg, Luxembourg, Thorsten Berger Chalmers | University of Gothenburg, Tomas Bures Charles University
14:00 - 15:30
Session 7: DSLs and CompositionSLE at Templars
Chair(s): Eugene Syriani Université de Montréal
14:00
30m
Talk
Efficient Late Binding of Dynamic Function Compositions
SLE
Lars Schütze Technische Universität Dresden, Jeronimo Castrillon TU Dresden, Germany
14:30
30m
Talk
Empirical Study on the Usage of Graph Query Languages in Open Source Java Projects
SLE
Philipp Seifer University of Koblenz-Landau, Germany, Johannes Härtel University of Koblenz-Landau, Germany, Martin Leinberger University of Koblenz-Landau, Germany, Ralf Laemmel Facebook London, Steffen Staab University of Koblenz-Landau and University of Southampton, Germany
15:00
30m
Talk
From DSL specification to interactive computer programming environment
SLE
Pierre Jeanjean Inria, Univ Rennes, CNRS, IRISA, Benoit Combemale University of Toulouse, Olivier Barais Univ. Rennes, Inria, CNRS, IRISA
16:00 - 17:30
Sessions 8: Types, ACID and GovernanceSLE at Templars
Chair(s): Vadim Zaytsev Raincode Labs, Belgium
16:00
20m
Talk
Analysis and Modeling of the Governance in General Programming LanguagesNEW IDEA
SLE
Javier Luis Cánovas Izquierdo IN3 - UOC, Jordi Cabot ICREA - UOC
16:20
30m
Talk
Developing a Monadic Type Checker for an Object-Oriented Language (Experience Report)
SLE
Elias Castegren KTH Royal Institute of Technology, Kiko Fernandez-Reyes Uppsala University
DOI Pre-print
16:50
20m
Talk
Vision Paper: Generating Incremental Type ServicesNEW IDEA
SLE
André Pacak JGU Mainz, Sebastian Erdweg JGU Mainz
17:10
30m
Talk
Transactional Editing: Giving ACID to Programmers
SLE
Friedrich Steimann Fernuni Hagen, Nils Kurowsky Fernuni Hagen

Wed 23 Oct

Displayed time zone: Beirut change

11:00 - 12:30
Onward! Papers 1SPLASH Onward! Papers at Templars
Chair(s): Wolfgang De Meuter Vrije Universiteit Brussel
11:00
30m
Talk
Deployable Probabilistic Programming
SPLASH Onward! Papers
David Tolpin PUB+
11:30
30m
Talk
An Approach for Persistent Time-Varying Values
SPLASH Onward! Papers
Tetsuo Kamina Oita University, Tomoyuki Aotani Tokyo Institute of Technology
12:00
30m
Talk
CallƐ: An Effect System for Method Calls
SPLASH Onward! Papers
Isaac Oscar Gariano Victoria University of Wellington, James Noble Victoria University of Wellington, Marco Servetto Victoria University Wellington, New Zealand
14:00 - 15:30
Onward! Papers 2SPLASH Onward! Papers at Templars
Chair(s): Hidehiko Masuhara Tokyo Institute of Technology
14:00
30m
Talk
AlleAlle: Bounded Relational Model Finding with Unbounded Data
SPLASH Onward! Papers
Jouke Stoel CWI, Tijs van der Storm CWI & University of Groningen, Netherlands, Jurgen Vinju CWI, Netherlands
Link to publication DOI Pre-print
14:30
30m
Talk
Active Learning for Software Engineering
SPLASH Onward! Papers
José Pablo Cambronero MIT, Thurston HY Dang MIT, Nikos Vasilakis MIT CSAIL, USA, Jiasi Shen Massachusetts Institute of Technology, Jerry Wu MIT, Martin C. Rinard MIT
16:00 - 17:30
Onward! Essays - Session 1SPLASH Onward! Essays at Templars
16:00
45m
Talk
Local-first software: You own your data, in spite of the cloud
SPLASH Onward! Essays
Martin Kleppmann University of Cambridge, Adam Wiggins Ink & Switch, Peter van Hardenberg Ink & Switch, Mark McGranaghan Ink & Switch
16:45
45m
Talk
Next-Paradigm Programming Languages: What Will They Look Like and What Changes Will They Bring?
SPLASH Onward! Essays
Yannis Smaragdakis University of Athens

Thu 24 Oct

Displayed time zone: Beirut change

11:00 - 12:30
Onward! Papers 3SPLASH Onward! Papers at Templars
Chair(s): Tobias Wrigstad Uppsala University
11:00
30m
Talk
Declarative Assembly of Web Applications from Predefined Concepts
SPLASH Onward! Papers
Santiago Perez De Rosso MIT CSAIL, Daniel Jackson MIT, Maryam Archie MIT, Czarina Lao MIT, Barry A. McNamara III MIT
Link to publication Pre-print Media Attached
11:30
30m
Talk
GoTcha: An Interactive Debugger for GoT-Based Distributed Systems
SPLASH Onward! Papers
Rohan Achar UC Irvine, Pritha Dawn UC Irvine, Crista Lopes UC Irvine
Pre-print
12:00
30m
Talk
Storage Combinators
SPLASH Onward! Papers
Marcel Weiher Hasso-Plattner-Institut (HPI), Germany, Robert Hirschfeld Hasso-Plattner-Institut (HPI), Germany
Link to publication DOI Pre-print
14:00 - 15:30
Onward! Papers 4SPLASH Onward! Papers at Templars
Chair(s): Hidehiko Masuhara Tokyo Institute of Technology
14:00
30m
Talk
Property Conveyances as a Programming Language
SPLASH Onward! Papers
Shrutarshi Basu Cornell University, Nate Foster Cornell University, James Grimmelmann Cornell University
Pre-print
14:30
30m
Talk
The Adverse Effects of Code Duplication in Machine Learning Models of Code
SPLASH Onward! Papers
Miltiadis Allamanis Microsoft Research, Cambridge
DOI Pre-print
16:00 - 17:30
Onward! Essays - Session 2SPLASH Onward! Essays at Templars
16:00
45m
Talk
Learning to Listen for Design
SPLASH Onward! Essays
Elisa Baniassad University of British Columbia, Ivan Beschastnikh Computer Science, University of British Columbia, Reid Holmes University of British Columbia, Gregor Kiczales University of British Columbia, Meghan Allen University of British Columbia

Fri 25 Oct

Displayed time zone: Beirut change

11:00 - 12:30
Repair & TransformationSPLASH OOPSLA at Templars
Chair(s): Bor-Yuh Evan Chang University of Colorado Boulder | Amazon
11:00
22m
Talk
Detecting Nondeterministic Payment Bugs in Ethereum Smart Contracts
SPLASH OOPSLA
Shuai Wang Hong Kong University of Science and Technology, Chengyu Zhang East China Normal University, Zhendong Su ETH Zurich
DOI
11:22
22m
Talk
Automatic Repair of Regular Expressions
SPLASH OOPSLA
Rong Pan University of Texas at Austin, Qinheping Hu University of Wisconsin, Madison, Gaowei Xu University of Wisconsin Madison, Loris D'Antoni University of Wisconsin Madison
DOI Pre-print
11:45
22m
Talk
Getafix: Learning to Fix Bugs Automatically
SPLASH OOPSLA
Johannes Bader Facebook, Andrew Scott Facebook, Michael Pradel University of Stuttgart, Satish Chandra Facebook
DOI Pre-print
12:07
22m
Talk
IntelliMerge: A Refactoring-Aware Software Merging Technique
SPLASH OOPSLA
Bo Shen Peking University, Wei Zhang Peking University, Haiyan Zhao Peking University, Guangtai Liang Huawei Technologies Co. Ltd, Zhi Jin Peking University, Qianxiang Wang Huawei Technologies Co. Ltd
DOI
14:00 - 15:30
Model CheckingSPLASH OOPSLA at Templars
Chair(s): Casper Bach Poulsen Delft University of Technology
14:00
22m
Talk
Value-Centric Dynamic Partial Order Reduction
SPLASH OOPSLA
Krishnendu Chatterjee IST Austria, Andreas Pavlogiannis EPFL, Viktor Toman IST Austria (Institute of Science and Technology Austria)
DOI
14:22
22m
Talk
Optimal Stateless Model Checking for Reads-From Equivalence under Sequential Consistency
SPLASH OOPSLA
Parosh Aziz Abdulla Uppsala University, Sweden, Mohamed Faouzi Atig Uppsala University, Sweden, Bengt Jonsson Uppsala University, Sweden, Magnus Lång Uppsala University, Sweden, Tuan Phong Ngo Uppsala University, Sweden, Konstantinos (Kostis) Sagonas Uppsala University, Sweden
DOI Pre-print
14:45
22m
Talk
TLA+ Model Checking Made Symbolic
SPLASH OOPSLA
Igor Konnov Inria Nancy - Grand Est, France, Jure Kukovec TU Wien, Austria, Thanh-Hai Tran TU Wien, Austria
DOI
15:07
22m
Talk
Effective Lock Handling in Stateless Model Checking
SPLASH OOPSLA
Michalis Kokologiannakis MPI-SWS, Germany, Azalea Raad MPI-SWS, Germany, Viktor Vafeiadis MPI-SWS, Germany
DOI

Mon 21 Oct

Displayed time zone: Beirut change

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
Templars

SLE

Session 1: SLE Welcome

SLE

Session 2: Grammars

SLE

Session 3: Languages

SLE

Session 4: Parsing

SLE

SLE MIP Awards 2018 and 2019

Tue 22 Oct

Displayed time zone: Beirut change

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
Templars

SLE

Session 5: GPCE Welcome

SLE

Session 6: Modeling

SLE

Session 7: DSLs and Composition

SLE

Sessions 8: Types, ACID and Governance

Wed 23 Oct

Displayed time zone: Beirut change

Room11:003012:003013:003014:003015:003016:003017:0030
Templars

SPLASH Onward! Papers

Onward! Papers 1

SPLASH Onward! Papers

Onward! Papers 2

SPLASH Onward! Essays

Onward! Essays - Session 1

Thu 24 Oct

Displayed time zone: Beirut change

Room11:003012:003013:003014:003015:003016:003017:0030
Templars

SPLASH Onward! Papers

Onward! Papers 3

SPLASH Onward! Papers

Onward! Papers 4

SPLASH Onward! Essays

Onward! Essays - Session 2

Fri 25 Oct

Displayed time zone: Beirut change

Room11:003012:003013:003014:003015:0030
Templars

SPLASH OOPSLA

Repair & Transformation

SPLASH OOPSLA

Model Checking

Mon 21 Oct

Displayed time zone: Beirut change

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
Templars
SLE
Software Language Engineering -- 42 Frequently Asked Questions
09:00 - 10:30
SLE
A Feature-Based Classification of Triple Graph Grammar Variants
11:00 - 11:30
SLE
Spectrum-Based Fault Localization for Context-Free Grammars
11:30 - 12:00
SLE
Consistency Management via a Combination of Triple Graph Grammars and L ...
12:00 - 12:30
SLE
Operationalizing the Integration of User Interaction Specifications in ...
14:00 - 14:30
SLENEW IDEA
A Vision of Miking: Interactive Programmatic Modeling, Sound Language C ...
14:30 - 14:50
SLEDEMO
Shadow Models [Tool Demo] -- Incremental Transformations for MPS
14:50 - 15:10
SLEDEMO
The Lands Platform: Lan.guages and D.omain S.yntax, Tool Demo
15:10 - 15:30
SLE
Multiple Lexicalisation - A Java Based Study
16:00 - 16:30
SLENEW IDEABest Paper
Breaking Parsers: Mutation-based Generation of Programs with Guaranteed ...
16:30 - 16:50
SLE
Default disambiguation for online parsers
16:50 - 17:20
SLE
SLE MIP Awards 2018 and 2019
17:20 - 18:00

Tue 22 Oct

Displayed time zone: Beirut change

Room11:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
Templars
SLEBest Paper
Domain-specific model differencing in visual concrete syntax
11:00 - 11:30
SLE
Detecting and Exploring Side Effects when Repairing Model Inconsistencies
11:30 - 12:00
SLE
Higher-Level Mission Specification for Multiple Robots
12:00 - 12:30
SLE
Efficient Late Binding of Dynamic Function Compositions
14:00 - 14:30
SLE
Empirical Study on the Usage of Graph Query Languages in Open Source Ja ...
14:30 - 15:00
SLE
From DSL specification to interactive computer programming environment
15:00 - 15:30
SLENEW IDEA
Analysis and Modeling of the Governance in General Programming Languages
16:00 - 16:20
SLE
Developing a Monadic Type Checker for an Object-Oriented Language (Expe ...
16:20 - 16:50
SLENEW IDEA
Vision Paper: Generating Incremental Type Services
16:50 - 17:10
SLE
Transactional Editing: Giving ACID to Programmers
17:10 - 17:40

Wed 23 Oct

Displayed time zone: Beirut change

Room11:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
Templars
SPLASH Onward! Papers
Deployable Probabilistic Programming
11:00 - 11:30
SPLASH Onward! Papers
An Approach for Persistent Time-Varying Values
11:30 - 12:00
SPLASH Onward! Papers
CallƐ: An Effect System for Method Calls
12:00 - 12:30
SPLASH Onward! Papers
AlleAlle: Bounded Relational Model Finding with Unbounded Data
14:00 - 14:30
SPLASH Onward! Papers
Active Learning for Software Engineering
14:30 - 15:00
SPLASH Onward! Essays
Local-first software: You own your data, in spite of the cloud
16:00 - 16:45
SPLASH Onward! Essays
Next-Paradigm Programming Languages: What Will They Look Like and What ...
16:45 - 17:30

Thu 24 Oct

Displayed time zone: Beirut change

Room11:0015304512:0015304513:0015304514:0015304515:0015304516:00153045
Templars
SPLASH Onward! Papers
Declarative Assembly of Web Applications from Predefined Concepts
11:00 - 11:30
SPLASH Onward! Papers
GoTcha: An Interactive Debugger for GoT-Based Distributed Systems
11:30 - 12:00
SPLASH Onward! Papers
Storage Combinators
12:00 - 12:30
SPLASH Onward! Papers
Property Conveyances as a Programming Language
14:00 - 14:30
SPLASH Onward! Papers
The Adverse Effects of Code Duplication in Machine Learning Models of Code
14:30 - 15:00
SPLASH Onward! Essays
Learning to Listen for Design
16:00 - 16:45

Fri 25 Oct

Displayed time zone: Beirut change

Room11:0015304512:0015304513:0015304514:0015304515:00153045
Templars
SPLASH OOPSLA
Detecting Nondeterministic Payment Bugs in Ethereum Smart Contracts
11:00 - 11:22
SPLASH OOPSLA
Automatic Repair of Regular Expressions
11:22 - 11:45
SPLASH OOPSLA
Getafix: Learning to Fix Bugs Automatically
11:45 - 12:07
SPLASH OOPSLA
IntelliMerge: A Refactoring-Aware Software Merging Technique
12:07 - 12:30
SPLASH OOPSLA
Value-Centric Dynamic Partial Order Reduction
14:00 - 14:22
SPLASH OOPSLA
Optimal Stateless Model Checking for Reads-From Equivalence under Seque ...
14:22 - 14:45
SPLASH OOPSLA
TLA+ Model Checking Made Symbolic
14:45 - 15:07
SPLASH OOPSLA
Effective Lock Handling in Stateless Model Checking
15:07 - 15:30