Write a Blog >>
AI-SEPS 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

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

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
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
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

Tue 22 Oct

Displayed time zone: Beirut change

Wed 23 Oct

Displayed time zone: Beirut change

Thu 24 Oct

Displayed time zone: Beirut change

Fri 25 Oct

Displayed time zone: Beirut change