Write a Blog >>
SPLASH 2019
Sun 20 - Fri 25 October 2019 Athens, Greece
VenueRoyal Olympic Hotel
Room nameTemplars
Floor0
Capacity100
Additional informationThere is no additional information of this room 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 at Templars
Chair(s): Beatriz SanchezUniversity of York
09:00 - 10:30
Talk
Software Language Engineering -- 42 Frequently Asked Questions
SLE
Ralf LaemmelFacebook London
11:00 - 12:30: Session 2: GrammarsSLE at Templars
Chair(s): Elizabeth ScottRoyal Holloway University of London
11:00 - 11:30
Talk
A Feature-Based Classification of Triple Graph Grammar Variants
SLE
Nils WeidmannPaderborn University, Patrick RobrechtIndependent, Robin OppermannIndependent
11:30 - 12:00
Talk
Spectrum-Based Fault Localization for Context-Free Grammars
SLE
Moeketsi RaselimoStellenbosch University, Bernd FischerStellenbosch University
12:00 - 12:30
Talk
Consistency Management via a Combination of Triple Graph Grammars and Linear Programming
SLE
Nils WeidmannPaderborn University, Anthony AnjorinPaderborn University, Erhan LeblebiciTechnische Universität Darmstadt, Andy SchürrTechnische Universität Darmstadt
14:00 - 15:30: Session 3: LanguagesSLE at Templars
Chair(s): Casper Bach PoulsenDelft University of Technology
14:00 - 14:30
Talk
Operationalizing the Integration of User Interaction Specifications in the Synthesis of Modeling Editors
SLE
Vasco SousaUniversité de Montréal, Eugene SyrianiUniversité de Montréal, Khady FallUniversité de Montréal
14:30 - 14:50
Talk
A Vision of Miking: Interactive Programmatic Modeling, Sound Language Composition, and Self-Learning CompilationNEW IDEA
SLE
David BromanKTH Royal Institute of Technology
14:50 - 15:10
Talk
Shadow Models [Tool Demo] -- Incremental Transformations for MPSDEMO
SLE
Markus Völteritemis/independent, Klaus Birkenitemis AG, Sascha Lissonitemis AG, Alexander Rimeritemis AG
15:10 - 15:30
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 JohnstoneRoyal Holloway, University of London
16:00 - 16:30
Talk
Multiple Lexicalisation - A Java Based Study
SLE
Elizabeth ScottRoyal Holloway University of London, Adrian JohnstoneRoyal Holloway, University of London
16:30 - 16:50
Talk
Breaking Parsers: Mutation-based Generation of Programs with Guaranteed Syntax ErrorsNEW IDEABest Paper
SLE
Moeketsi RaselimoStellenbosch University, Jan TaljaardStellenbosch University, Bernd FischerStellenbosch University
16:50 - 17:20
Talk
Default disambiguation for online parsers
SLE
Lukas DiekmannKing's College London, Laurence TrattKing's College London
DOI Pre-print
17:30 - 18:00: SLE MIP Awards 2018 and 2019SLE at Templars
17:20 - 18:00
Awards
SLE MIP Awards 2018 and 2019
SLE

Tue 22 Oct
Times are displayed in 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 - 11:30
Talk
Domain-specific model differencing in visual concrete syntaxBest Paper
SLE
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 - 12:00
Talk
Detecting and Exploring Side Effects when Repairing Model Inconsistencies
SLE
Djamel Eddine KhelladiCNRS, IRISA, Roland KretschmerJOHANNES KEPLER UNIVERSITY LINZ, Alexander EgyedJOHANNES KEPLER UNIVERSITY LINZ
12:00 - 12:30
Talk
Higher-Level Mission Specification for Multiple Robots
SLE
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 at Templars
Chair(s): Eugene SyrianiUniversité de Montréal
14:00 - 14:30
Talk
Efficient Late Binding of Dynamic Function Compositions
SLE
Lars SchützeTechnische Universität Dresden, Jeronimo CastrillonTU Dresden, Germany
14:30 - 15:00
Talk
Empirical Study on the Usage of Graph Query Languages in Open Source Java Projects
SLE
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 - 15:30
Talk
From DSL specification to interactive computer programming environment
SLE
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 1Onward! Papers at Templars
Chair(s): Wolfgang De MeuterVrije Universiteit Brussel
11:00 - 11:30
Talk
Deployable Probabilistic Programming
Onward! Papers
11:30 - 12:00
Talk
An Approach for Persistent Time-Varying Values
Onward! Papers
Tetsuo KaminaOita University, Tomoyuki AotaniTokyo Institute of Technology
12:00 - 12:30
Talk
CallƐ: An Effect System for Method Calls
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 2Onward! Papers at Templars
Chair(s): Hidehiko MasuharaTokyo Institute of Technology
14:00 - 14:30
Talk
AlleAlle: Bounded Relational Model Finding with Unbounded Data
Onward! Papers
Jouke StoelCWI, Tijs van der StormCWI & University of Groningen, Netherlands, Jurgen VinjuCWI, Netherlands
Link to publication DOI Pre-print
14:30 - 15:00
Talk
Active Learning for Software Engineering
Onward! Papers
Jose CambroneroMIT, Thurston HY DangMIT, Nikos VasilakisMIT CSAIL, USA, Jiasi ShenMassachusetts Institute of Technology, Jerry WuMIT, Martin RinardMIT
16:00 - 17:30: Onward! Essays - Session 1Onward! Essays at Templars
16:00 - 16:45
Talk
Local-first software: You own your data, in spite of the cloud
Onward! Essays
Martin KleppmannUniversity of Cambridge, Adam WigginsInk & Switch, Peter van HardenbergInk & Switch, Mark McGranaghanInk & Switch
16:45 - 17:30
Talk
Next-Paradigm Programming Languages: What Will They Look Like and What Changes Will They Bring?
Onward! Essays
Yannis SmaragdakisUniversity of Athens

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

11:00 - 12:30: Onward! Papers 3Onward! Papers at Templars
Chair(s): Tobias WrigstadUppsala University
11:00 - 11:30
Talk
Declarative Assembly of Web Applications from Predefined Concepts
Onward! Papers
Link to publication Pre-print Media Attached
11:30 - 12:00
Talk
GoTcha: An Interactive Debugger for GoT-Based Distributed Systems
Onward! Papers
Rohan AcharUC Irvine, Pritha DawnUC Irvine, Crista LopesUC Irvine
Pre-print
12:00 - 12:30
Talk
Storage Combinators
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 4Onward! Papers at Templars
Chair(s): Hidehiko MasuharaTokyo Institute of Technology
14:00 - 14:30
Talk
Property Conveyances as a Programming Language
Onward! Papers
Shrutarshi BasuCornell University, Nate FosterCornell University, James GrimmelmannCornell University
Pre-print
14:30 - 15:00
Talk
The Adverse Effects of Code Duplication in Machine Learning Models of Code
Onward! Papers
Miltiadis AllamanisMicrosoft Research, Cambridge
DOI Pre-print
16:00 - 17:30: Onward! Essays - Session 2Onward! Essays at Templars
16:00 - 16:45
Talk
Learning to Listen for Design
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 & TransformationOOPSLA at Templars
Chair(s): Bor-Yuh Evan ChangUniversity of Colorado Boulder | Amazon
11:00 - 11:22
Talk
Detecting Nondeterministic Payment Bugs in Ethereum Smart Contracts
OOPSLA
Shuai WangHong Kong University of Science and Technology, Chengyu ZhangEast China Normal University, Zhendong SuETH Zurich
DOI
11:22 - 11:45
Talk
Automatic Repair of Regular Expressions
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 - 12:07
Talk
Getafix: Learning to Fix Bugs Automatically
OOPSLA
Johannes BaderFacebook, Andrew ScottFacebook, Michael PradelUniversity of Stuttgart, Satish ChandraFacebook
DOI Pre-print
12:07 - 12:30
Talk
IntelliMerge: A Refactoring-Aware Software Merging Technique
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 CheckingOOPSLA at Templars
Chair(s): Casper Bach PoulsenDelft University of Technology
14:00 - 14:22
Talk
Value-Centric Dynamic Partial Order Reduction
OOPSLA
Krishnendu ChatterjeeIST Austria, Andreas PavlogiannisEPFL, Viktor TomanIST Austria (Institute of Science and Technology Austria)
DOI
14:22 - 14:45
Talk
Optimal Stateless Model Checking for Reads-From Equivalence under Sequential Consistency
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 - 15:07
Talk
TLA+ Model Checking Made Symbolic
OOPSLA
Igor KonnovInria Nancy - Grand Est, France, Jure KukovecTU Wien, Austria, Thanh-Hai TranTU Wien, Austria
DOI
15:07 - 15:30
Talk
Effective Lock Handling in Stateless Model Checking
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

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