Write a Blog >>
SLE 2019
Sun 20 - Fri 25 October 2019 Athens, Greece
co-located with SPLASH 2019
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
Times are displayed in time zone: Beirut change

09:00 - 10:30
Session 1: SLE WelcomeSLE 2019 at Templars
Chair(s): Beatriz SanchezUniversity of York
09:00
90m
Talk
Software Language Engineering -- 42 Frequently Asked Questions
SLE 2019
Ralf LaemmelFacebook London
11:00 - 12:30
Session 2: GrammarsSLE 2019 at Templars
Chair(s): Elizabeth ScottRoyal Holloway University of London
11:00
30m
Talk
A Feature-Based Classification of Triple Graph Grammar Variants
SLE 2019
Nils WeidmannPaderborn University, Patrick RobrechtIndependent, Robin OppermannIndependent
11:30
30m
Talk
Spectrum-Based Fault Localization for Context-Free Grammars
SLE 2019
Moeketsi RaselimoStellenbosch University, Bernd FischerStellenbosch University
12:00
30m
Talk
Consistency Management via a Combination of Triple Graph Grammars and Linear Programming
SLE 2019
Nils WeidmannPaderborn University, Anthony AnjorinPaderborn University, Erhan LeblebiciTechnische Universität Darmstadt, Andy SchürrTechnische Universität Darmstadt
14:00 - 15:30
Session 3: LanguagesSLE 2019 at Templars
Chair(s): Casper Bach PoulsenDelft University of Technology
14:00
30m
Talk
Operationalizing the Integration of User Interaction Specifications in the Synthesis of Modeling Editors
SLE 2019
Vasco SousaUniversité de Montréal, Eugene SyrianiUniversité de Montréal, Khady FallUniversité de Montréal
14:30
20m
Talk
A Vision of Miking: Interactive Programmatic Modeling, Sound Language Composition, and Self-Learning CompilationNEW IDEA
SLE 2019
David BromanKTH Royal Institute of Technology
14:50
20m
Talk
Shadow Models [Tool Demo] -- Incremental Transformations for MPSDEMO
SLE 2019
Markus Völteritemis/independent, Klaus Birkenitemis AG, Sascha Lissonitemis AG, Alexander Rimeritemis AG
15:10
20m
Talk
The Lands Platform: Lan.guages and D.omain S.yntax, Tool DemoDEMO
SLE 2019
Nick Papoulias Université Grenoble Alpes, France
16:00 - 17:30
Session 4: ParsingSLE 2019 at Templars
Chair(s): Adrian JohnstoneRoyal Holloway, University of London
16:00
30m
Talk
Multiple Lexicalisation - A Java Based Study
SLE 2019
Elizabeth ScottRoyal Holloway University of London, Adrian JohnstoneRoyal Holloway, University of London
16:30
20m
Talk
Breaking Parsers: Mutation-based Generation of Programs with Guaranteed Syntax ErrorsNEW IDEABest Paper
SLE 2019
Moeketsi RaselimoStellenbosch University, Jan TaljaardStellenbosch University, Bernd FischerStellenbosch University
16:50
30m
Talk
Default disambiguation for online parsers
SLE 2019
Lukas DiekmannKing's College London, Laurence TrattKing's College London
DOI Pre-print
17:30 - 18:00
SLE MIP Awards 2018 and 2019SLE 2019 at Templars
17:20
40m
Awards
SLE MIP Awards 2018 and 2019
SLE 2019

Tue 22 Oct
Times are displayed in time zone: Beirut change

09:00 - 10:30
Session 5: GPCE WelcomeSLE 2019 at Templars
11:00 - 12:30
Session 6: ModelingSLE 2019 at Templars
11:00
30m
Talk
Domain-specific model differencing in visual concrete syntaxBest Paper
SLE 2019
Manouchehr ZadahmadUniversité de Montréal, Eugene SyrianiUniversité de Montréal, Omar AlamTrent University, Esther GuerraUniversidad Autonoma de Madrid, Juan de LaraUniversidad Autonoma de Madrid
11:30
30m
Talk
Detecting and Exploring Side Effects when Repairing Model Inconsistencies
SLE 2019
Djamel Eddine KhelladiCNRS, IRISA, Roland KretschmerJOHANNES KEPLER UNIVERSITY LINZ, Alexander EgyedJOHANNES KEPLER UNIVERSITY LINZ
12:00
30m
Talk
Higher-Level Mission Specification for Multiple Robots
SLE 2019
Sergio GarciaChalmers | University of Gothenburg, Patrizio PelliccioneChalmers | University of Gothenburg, Claudio MenghiUniversity of Luxembourg, Luxembourg, Thorsten BergerChalmers | University of Gothenburg, Tomas BuresCharles University
14:00 - 15:30
Session 7: DSLs and CompositionSLE 2019 at Templars
Chair(s): Eugene SyrianiUniversité de Montréal
14:00
30m
Talk
Efficient Late Binding of Dynamic Function Compositions
SLE 2019
Lars SchützeTechnische Universität Dresden, Jeronimo CastrillonTU Dresden, Germany
14:30
30m
Talk
Empirical Study on the Usage of Graph Query Languages in Open Source Java Projects
SLE 2019
Philipp SeiferUniversity of Koblenz-Landau, Germany, Johannes HärtelUniversity of Koblenz-Landau, Germany, Martin LeinbergerUniversity of Koblenz-Landau, Germany, Ralf LaemmelFacebook London, Steffen StaabUniversity of Koblenz-Landau and University of Southampton, Germany
15:00
30m
Talk
From DSL specification to interactive computer programming environment
SLE 2019
Pierre JeanjeanInria, Univ Rennes, CNRS, IRISA, Benoit CombemaleUniversity of Toulouse, Olivier BaraisUniv. Rennes, Inria, CNRS, IRISA

Wed 23 Oct
Times are displayed in time zone: Beirut change

11:00 - 12:30
Onward! Papers 1SPLASH Onward! Papers at Templars
Chair(s): Wolfgang De MeuterVrije Universiteit Brussel
11:00
30m
Talk
Deployable Probabilistic Programming
SPLASH Onward! Papers
11:30
30m
Talk
An Approach for Persistent Time-Varying Values
SPLASH Onward! Papers
Tetsuo KaminaOita University, Tomoyuki AotaniTokyo Institute of Technology
12:00
30m
Talk
CallƐ: An Effect System for Method Calls
SPLASH Onward! Papers
Isaac Oscar GarianoVictoria University of Wellington, James NobleVictoria University of Wellington, Marco ServettoVictoria University Wellington, New Zealand
14:00 - 15:30
Onward! Papers 2SPLASH Onward! Papers at Templars
Chair(s): Hidehiko MasuharaTokyo Institute of Technology
14:00
30m
Talk
AlleAlle: Bounded Relational Model Finding with Unbounded Data
SPLASH Onward! Papers
Jouke StoelCWI, Tijs van der StormCWI & University of Groningen, Netherlands, Jurgen VinjuCWI, Netherlands
Link to publication DOI Pre-print
14:30
30m
Talk
Active Learning for Software Engineering
SPLASH Onward! Papers
Jose CambroneroMIT, Thurston HY DangMIT, Nikos VasilakisMIT CSAIL, USA, Jiasi ShenMassachusetts Institute of Technology, Jerry WuMIT, Martin C. RinardMIT
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 KleppmannUniversity of Cambridge, Adam WigginsInk & Switch, Peter van HardenbergInk & Switch, Mark McGranaghanInk & Switch
16:45
45m
Talk
Next-Paradigm Programming Languages: What Will They Look Like and What Changes Will They Bring?
SPLASH Onward! Essays
Yannis SmaragdakisUniversity of Athens

Thu 24 Oct
Times are displayed in time zone: Beirut change

11:00 - 12:30
Onward! Papers 3SPLASH Onward! Papers at Templars
Chair(s): Tobias WrigstadUppsala University
11:00
30m
Talk
Declarative Assembly of Web Applications from Predefined Concepts
SPLASH Onward! Papers
Link to publication Pre-print Media Attached
11:30
30m
Talk
GoTcha: An Interactive Debugger for GoT-Based Distributed Systems
SPLASH Onward! Papers
Rohan AcharUC Irvine, Pritha DawnUC Irvine, Crista LopesUC Irvine
Pre-print
12:00
30m
Talk
Storage Combinators
SPLASH Onward! Papers
Marcel WeiherHasso-Plattner-Institut (HPI), Germany, Robert HirschfeldHasso-Plattner-Institut (HPI), Germany
Link to publication DOI Pre-print
14:00 - 15:30
Onward! Papers 4SPLASH Onward! Papers at Templars
Chair(s): Hidehiko MasuharaTokyo Institute of Technology
14:00
30m
Talk
Property Conveyances as a Programming Language
SPLASH Onward! Papers
Shrutarshi BasuCornell University, Nate FosterCornell University, James GrimmelmannCornell University
Pre-print
14:30
30m
Talk
The Adverse Effects of Code Duplication in Machine Learning Models of Code
SPLASH Onward! Papers
Miltiadis AllamanisMicrosoft 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 BaniassadUniversity of British Columbia, Ivan BeschastnikhComputer Science, University of British Columbia, Reid HolmesUniversity of British Columbia, Gregor KiczalesUniversity of British Columbia, Meghan AllenUniversity of British Columbia

Fri 25 Oct
Times are displayed in time zone: Beirut change

11:00 - 12:30
Repair & TransformationSPLASH OOPSLA at Templars
Chair(s): Bor-Yuh Evan ChangUniversity of Colorado Boulder | Amazon
11:00
22m
Talk
Detecting Nondeterministic Payment Bugs in Ethereum Smart Contracts
SPLASH OOPSLA
Shuai WangHong Kong University of Science and Technology, Chengyu ZhangEast China Normal University, Zhendong SuETH Zurich
DOI
11:22
22m
Talk
Automatic Repair of Regular Expressions
SPLASH OOPSLA
Rong PanUniversity of Texas at Austin, Qinheping HuUniversity of Wisconsin, Madison, Gaowei XuUniversity of Wisconsin Madison, Loris D'AntoniUniversity of Wisconsin Madison
DOI Pre-print
11:45
22m
Talk
Getafix: Learning to Fix Bugs Automatically
SPLASH OOPSLA
Johannes BaderFacebook, Andrew ScottFacebook, Michael PradelUniversity of Stuttgart, Satish ChandraFacebook
DOI Pre-print
12:07
22m
Talk
IntelliMerge: A Refactoring-Aware Software Merging Technique
SPLASH OOPSLA
Bo ShenPeking University, Wei ZhangPeking University, Haiyan ZhaoPeking University, Guangtai LiangHuawei Technologies Co. Ltd, Zhi JinPeking University, Qianxiang WangHuawei Technologies Co. Ltd
DOI
14:00 - 15:30
Model CheckingSPLASH OOPSLA at Templars
Chair(s): Casper Bach PoulsenDelft University of Technology
14:00
22m
Talk
Value-Centric Dynamic Partial Order Reduction
SPLASH OOPSLA
Krishnendu ChatterjeeIST Austria, Andreas PavlogiannisEPFL, Viktor TomanIST 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 AbdullaUppsala University, Sweden, Mohamed Faouzi AtigUppsala University, Sweden, Bengt JonssonUppsala University, Sweden, Magnus LångUppsala University, Sweden, Tuan Phong NgoUppsala University, Sweden, Konstantinos (Kostis) SagonasUppsala University, Sweden
DOI Pre-print
14:45
22m
Talk
TLA+ Model Checking Made Symbolic
SPLASH OOPSLA
Igor KonnovInria Nancy - Grand Est, France, Jure KukovecTU Wien, Austria, Thanh-Hai TranTU Wien, Austria
DOI
15:07
22m
Talk
Effective Lock Handling in Stateless Model Checking
SPLASH OOPSLA
Michalis KokologiannakisMPI-SWS, Germany, Azalea RaadMPI-SWS, Germany, Viktor VafeiadisMPI-SWS, Germany
DOI

Mon 21 Oct
Times are displayed in time zone: Beirut change

Tue 22 Oct
Times are displayed in time zone: Beirut change

Wed 23 Oct
Times are displayed in time zone: Beirut change

Thu 24 Oct
Times are displayed in time zone: Beirut change

Fri 25 Oct
Times are displayed in time zone: Beirut change