Program - SLE 2020

Detailed Table Session Timeline Detailed Timeline

Time Zone

The program is currently displayed in (GMT-06:00) Central Time (US & Canada).

Use conference time zone: (GMT-06:00) Central Time (US & Canada)Select other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Save

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

Sun 15 Nov
Displayed time zone: Central Time (US & Canada) change

09:00 - 09:40	GPCE/SLE OpeningGPCE / SLE at SPLASH-III +12h Chair(s): Martin Erwig Oregon State University, Jeff Gray University of Alabama, Ralf Laemmel Facebook London, Laurence Tratt King's College London, Juan de Lara Autonomous University of Madrid

09:00 40m Other		GPCE/SLE Opening GPCE Link to publication

09:40 - 10:20	SLE / GPCE at SPLASH-III +12h Chair(s): Laurence Tratt King's College London, Juan de Lara Autonomous University of Madrid, Jeff Gray University of Alabama

09:40 20m Talk		Modeling Black-Box Components with Probabilistic SynthesisBest Paper Award GPCE Bruce Collie University of Edinburgh, Jackson Woodruff University of Edinburgh, Michael F. P. O'Boyle University of Edinburgh Link to publication DOI Media Attached
10:00 20m Talk		Gradually Typing Strategies SLE Jeff Smits Delft University of Technology, Netherlands, Eelco Visser Delft University of Technology Link to publication DOI Pre-print Media Attached

11:00 - 12:20	SLE / GPCE at SPLASH-III +12h Chair(s): Benoit Combemale University of Rennes, France / Inria, France / CNRS, France / IRISA, France, Eric Van Wyk University of Minnesota, USA

11:00 20m Talk		Automated Variability Injection for Graphical Modelling Languages GPCE Antonio Garmendia JKU Linz, Manuel Wimmer JKU Linz, Esther Guerra Autonomous University of Madrid, Elena Gómez-Martínez Autonomous University of Madrid, Juan de Lara Autonomous University of Madrid Link to publication DOI Pre-print Media Attached
11:20 20m Talk		Modular and Distributed IDE SLE Fabien Coulon Obeo, France / University of Rennes, France / Inria, France / CNRS, France / IRISA, France, Alex Auvolat University of Rennes, France / Inria, France / CNRS, France / IRISA, France, Benoit Combemale University of Rennes, France / Inria, France / CNRS, France / IRISA, France, Yérom-David Bromberg University of Rennes, France / Inria, France / CNRS, France / IRISA, France, François Taïani University of Rennes, France / Inria, France / CNRS, France / IRISA, France, Olivier Barais University of Rennes, France / Inria, France / CNRS, France / IRISA, France, Noël Plouzeau University of Rennes, France / Inria, France / CNRS, France / IRISA, France Link to publication DOI Pre-print Media Attached
11:40 20m Talk		Correctness-by-Construction for Feature-Oriented Software Product Lines GPCE Tabea Bordis TU Braunschweig, Tobias Runge TU Braunschweig, Ina Schaefer TU Braunschweig Link to publication DOI Media Attached
12:00 20m Talk		A Family of Languages for Trustworthy Agent-Based Simulation SLE Steffen Zschaler King's College London, Fiona Polack Keele University Link to publication DOI Pre-print Media Attached

13:00 - 14:20	SLE / GPCE at SPLASH-III +12h Chair(s): Friedrich Steimann Fernuniversität

13:00 20m Talk		Multi-stage Programming in the Large with Staged Classes GPCE Lionel Parreaux EPFL, Amir Shaikhha University of Edinburgh Link to publication DOI Media Attached
13:20 20m Talk		Software Language Engineers’ Worst Nightmare SLE Vadim Zaytsev University of Twente, Netherlands Link to publication DOI Pre-print Media Attached
13:40 20m Talk		Reorganizing Queries with Grouping GPCE Rui Okura University of Tsukuba, Yukiyoshi Kameyama University of Tsukuba Link to publication DOI Media Attached
14:00 20m Talk		Principles and Patterns of JastAdd-Style Reference Attribute Grammars SLE Niklas Fors Lund University, Emma Söderberg Lund University, Görel Hedin Lund University Link to publication DOI Media Attached

15:00 - 16:20	SLE / GPCE at SPLASH-III +12h Chair(s): Jonathan Aldrich Carnegie Mellon University

15:00 20m Talk		Manipulating GUI Structures Declaratively GPCE Knut Anders Stokke University of Bergen, Mikhail Barash University of Bergen, Jaakko Järvi University of Turku Link to publication DOI Media Attached
15:20 20m Talk		Block-Based Syntax from Context-Free Grammars SLE Mauricio Verano Merino Technische Universiteit Eindhoven, Tijs van der Storm CWI & University of Groningen, Netherlands Link to publication DOI Pre-print Media Attached
15:40 20m Talk		PReGO: A Generative Methodology for Satisfying Real-Time Requirements on COTS-Based Systems: Definition and Experience Report GPCE Benjamin Rouxel University of Amsterdam, Ulrik Pagh Schultz University of Southern Denmark, Benny Akesson University of Amsterdam / TNO, Jesper Holst Sky-Watch, Ole Jørgensen Sky-Watch, Clemens Grelck University of Amsterdam Link to publication DOI Media Attached
16:00 20m Talk		Extrinsically Typed Operational Semantics for Functional Languages SLE Matteo Cimini University of Massachusetts at Lowell, USA, Dale Miller Inria, France / École Polytechnique, France, Jeremy G. Siek Indiana University, USA Link to publication DOI Media Attached

17:00 - 18:20	SLE / GPCE at SPLASH-III +12h Chair(s): Marjan Mernik University of Maribor

17:00 20m Talk		VarSem: Declarative Expression and Automated Inference of Variable Usage Semantics GPCE Yin Liu Virginia Tech, Eli Tilevich Virginia Tech Link to publication DOI Media Attached
17:20 20m Talk		Monadification of Attribute Grammars SLE Dawn Michaelson University of Minnesota, Eric Van Wyk University of Minnesota, USA Link to publication DOI Pre-print Media Attached
17:40 20m Talk		Fluid Quotes: Metaprogramming across Abstraction Boundaries with Dependent Types GPCE Shadaj Laddad University of California at Berkeley, Koushik Sen University of California at Berkeley Link to publication DOI Pre-print Media Attached
18:00 20m Talk		Strategic Tree Rewriting in Attribute Grammars SLE Lucas Kramer University of Minnesota, Eric Van Wyk University of Minnesota, USA Link to publication DOI Pre-print Media Attached

21:00 - 21:40	GPCE/SLE OpeningGPCE / SLE at SPLASH-III Chair(s): Martin Erwig Oregon State University, Jeff Gray University of Alabama, Ralf Laemmel Facebook London, Laurence Tratt King's College London, Juan de Lara Autonomous University of Madrid

21:00 40m Other		GPCE/SLE Opening GPCE Link to publication

21:40 - 22:20	SLE / GPCE at SPLASH-III Chair(s): Jeff Gray University of Alabama, Laurence Tratt King's College London, Juan de Lara Autonomous University of Madrid

21:40 20m Talk		Modeling Black-Box Components with Probabilistic SynthesisBest Paper Award GPCE Bruce Collie University of Edinburgh, Jackson Woodruff University of Edinburgh, Michael F. P. O'Boyle University of Edinburgh Link to publication DOI Media Attached
22:00 20m Talk		Gradually Typing Strategies SLE Jeff Smits Delft University of Technology, Netherlands, Eelco Visser Delft University of Technology Link to publication DOI Pre-print Media Attached

23:00 - 00:20	SLE / GPCE at SPLASH-III Chair(s): Sheng Chen University of Louisiana at Lafayette

23:00 20m Talk		Automated Variability Injection for Graphical Modelling Languages GPCE Antonio Garmendia JKU Linz, Manuel Wimmer JKU Linz, Esther Guerra Autonomous University of Madrid, Elena Gómez-Martínez Autonomous University of Madrid, Juan de Lara Autonomous University of Madrid Link to publication DOI Pre-print Media Attached
23:20 20m Talk		Modular and Distributed IDE SLE Fabien Coulon Obeo, France / University of Rennes, France / Inria, France / CNRS, France / IRISA, France, Alex Auvolat University of Rennes, France / Inria, France / CNRS, France / IRISA, France, Benoit Combemale University of Rennes, France / Inria, France / CNRS, France / IRISA, France, Yérom-David Bromberg University of Rennes, France / Inria, France / CNRS, France / IRISA, France, François Taïani University of Rennes, France / Inria, France / CNRS, France / IRISA, France, Olivier Barais University of Rennes, France / Inria, France / CNRS, France / IRISA, France, Noël Plouzeau University of Rennes, France / Inria, France / CNRS, France / IRISA, France Link to publication DOI Pre-print Media Attached
23:40 20m Talk		Correctness-by-Construction for Feature-Oriented Software Product Lines GPCE Tabea Bordis TU Braunschweig, Tobias Runge TU Braunschweig, Ina Schaefer TU Braunschweig Link to publication DOI Media Attached
00:00 20m Talk		A Family of Languages for Trustworthy Agent-Based Simulation SLE Steffen Zschaler King's College London, Fiona Polack Keele University Link to publication DOI Pre-print Media Attached

Mon 16 Nov
Displayed time zone: Central Time (US & Canada) change

01:00 - 02:20	GPCE / SLE at SPLASH-III Chair(s): Ralf Laemmel Facebook London

01:00 20m Talk		Multi-stage Programming in the Large with Staged Classes GPCE Lionel Parreaux EPFL, Amir Shaikhha University of Edinburgh Link to publication DOI Media Attached
01:20 20m Talk		Software Language Engineers’ Worst Nightmare SLE Vadim Zaytsev University of Twente, Netherlands Link to publication DOI Pre-print Media Attached
01:40 20m Talk		Reorganizing Queries with Grouping GPCE Rui Okura University of Tsukuba, Yukiyoshi Kameyama University of Tsukuba Link to publication DOI Media Attached
02:00 20m Talk		Principles and Patterns of JastAdd-Style Reference Attribute Grammars SLE Niklas Fors Lund University, Emma Söderberg Lund University, Görel Hedin Lund University Link to publication DOI Media Attached

03:00 - 04:20	SLE / GPCE at SPLASH-III Chair(s): Erwan Bousse University of Nantes

03:00 20m Talk		Manipulating GUI Structures Declaratively GPCE Knut Anders Stokke University of Bergen, Mikhail Barash University of Bergen, Jaakko Järvi University of Turku Link to publication DOI Media Attached
03:20 20m Talk		Block-Based Syntax from Context-Free Grammars SLE Mauricio Verano Merino Technische Universiteit Eindhoven, Tijs van der Storm CWI & University of Groningen, Netherlands Link to publication DOI Pre-print Media Attached
03:40 20m Talk		PReGO: A Generative Methodology for Satisfying Real-Time Requirements on COTS-Based Systems: Definition and Experience Report GPCE Benjamin Rouxel University of Amsterdam, Ulrik Pagh Schultz University of Southern Denmark, Benny Akesson University of Amsterdam / TNO, Jesper Holst Sky-Watch, Ole Jørgensen Sky-Watch, Clemens Grelck University of Amsterdam Link to publication DOI Media Attached
04:00 20m Talk		Extrinsically Typed Operational Semantics for Functional Languages SLE Matteo Cimini University of Massachusetts at Lowell, USA, Dale Miller Inria, France / École Polytechnique, France, Jeremy G. Siek Indiana University, USA Link to publication DOI Media Attached

05:00 - 06:20	GPCE / SLE at SPLASH-III Chair(s): Friedrich Steimann Fernuniversität

05:00 20m Talk		VarSem: Declarative Expression and Automated Inference of Variable Usage Semantics GPCE Yin Liu Virginia Tech, Eli Tilevich Virginia Tech Link to publication DOI Media Attached
05:20 20m Talk		Monadification of Attribute Grammars SLE Dawn Michaelson University of Minnesota, Eric Van Wyk University of Minnesota, USA Link to publication DOI Pre-print Media Attached
05:40 20m Talk		Fluid Quotes: Metaprogramming across Abstraction Boundaries with Dependent Types GPCE Shadaj Laddad University of California at Berkeley, Koushik Sen University of California at Berkeley Link to publication DOI Pre-print Media Attached
06:00 20m Talk		Strategic Tree Rewriting in Attribute Grammars SLE Lucas Kramer University of Minnesota, Eric Van Wyk University of Minnesota, USA Link to publication DOI Pre-print Media Attached

07:00 - 08:20	GPCE / SLE at SPLASH-III +12h Chair(s): Juan de Lara Autonomous University of Madrid

07:00 20m Talk		A Domain-Specific Language for Filtering in Application-Level Gateways GPCE Hampus Balldin Advenica, Christoph Reichenbach Lund University Link to publication DOI Media Attached
07:20 20m Talk		Towards the Optical Character Recognition of DSLs SLE Jorge Perianez Pascual University of Extremadura, Spain, Roberto Rodriguez-Echeverria University of Extremadura, Spain, Lola Burgueño Open University of Catalonia, Spain, Jordi Cabot Open University of Catalonia, Spain Link to publication DOI Pre-print Media Attached
07:40 20m Talk		eFLINT: A Domain-Specific Language for Executable Norm Specifications GPCE L. Thomas van Binsbergen CWI, Lu-Chi Liu University of Amsterdam, Robert van Doesburg Leibniz Institute / University of Amsterdam / TNO, Tom van Engers Leibniz Institute / University of Amsterdam / TNO Link to publication DOI Pre-print Media Attached
08:00 20m Talk		Annotating Executable DSLs with Energy Estimation Formulas SLE Thibault Béziers la Fosse IMT Atlantique, ICAM, Massimo Tisi , Jean-Marie Mottu Université de Nantes, LS2N, IMT Atlantique, Gerson Sunyé Université de Nantes, LS2N Link to publication DOI Media Attached

11:00 - 12:20	SLE at SPLASH-III +12h Chair(s): Laurence Tratt King's College London

11:00 20m Talk		A Precedence-Driven Approach for Concurrent Model Synchronization Scenarios using Triple Graph Grammars SLE Lars Fritsche TU Darmstadt, Germany, Jens Kosiol University of Marburg, Germany, Adrian Möller TU Darmstadt, Germany, Andy Schürr TU Darmstadt, Germany, Gabriele Taentzer University of Marburg, Germany Link to publication DOI Pre-print Media Attached
11:20 20m Talk		Example-Driven Software Language Engineering SLE Mikhail Barash University of Bergen Link to publication DOI Media Attached
11:40 20m Talk		Behavior Trees in Action: A Study of Robotics Applications SLE Razan Ghzouli Chalmers University of Technology & University of Gothenburg, Thorsten Berger Chalmers University of Technology, Sweden / University of Gothenburg, Sweden, Einar Broch Johnsen University of Oslo, Swaib Dragule Chalmers \| University of Gothenburg, Andrzej Wąsowski IT University of Copenhagen, Denmark Link to publication DOI Pre-print Media Attached
12:00 20m Talk		A Search-Based and Fault-Tolerant Approach to Concurrent Model Synchronisation SLE Nils Weidmann , Lars Fritsche TU Darmstadt, Germany, Anthony Anjorin Paderborn University, Germany Link to publication DOI Media Attached

13:00 - 14:20	SLE at SPLASH-III +12h Chair(s): Vadim Zaytsev University of Twente, Netherlands

13:00 20m Talk		Test Case Generation from Context-Free Grammars using Generalized Traversal of LR-Automata SLE Christoff Rossouw Stellenbosch University, South Africa, Bernd Fischer Stellenbosch University, South Africa Link to publication DOI Media Attached
13:20 20m Talk		Grammar-Based Testing for Little Languages: An Experience Report with Student Compilers SLE Phillip van Heerden Stellenbosch University, Moeketsi Raselimo Stellenbosch University, South Africa, Konstantinos (Kostis) Sagonas Uppsala University, Sweden, Bernd Fischer Stellenbosch University, South Africa Link to publication DOI Media Attached
13:40 20m Talk		An Interactive Feedback System for Grammar Development (Tool Paper) SLE Chelsea Barraball Stellenbosch University, South Africa, Moeketsi Raselimo Stellenbosch University, South Africa, Bernd Fischer Stellenbosch University, South Africa Link to publication DOI Media Attached
14:00 20m Talk		Featherweight Swift: A Core Calculus for Swift’s Type System SLE Dimi Racordon University of Geneva, Switzerland, Didier Buchs University of Geneva, Switzerland Link to publication DOI Media Attached

15:00 - 15:40	SLE at SPLASH-III +12h Chair(s): Paddy Krishnan Oracle Labs, Australia

15:00 20m Talk		A Semantic Framework for PEGs SLE Sergio Queiroz de Medeiros Universidade Federal do Rio Grande do Norte, Carlos Olarte Federal University of Rio Grande do Norte, Brazil Link to publication DOI Pre-print Media Attached
15:20 20m Talk		Untangling Mechanized Proofs SLE Clément Pit-Claudel MIT CSAIL DOI Pre-print Media Attached

19:00 - 20:20	SLE / GPCE at SPLASH-III Chair(s): David J. Pearce Victoria University of Wellington, New Zealand

19:00 20m Talk		A Domain-Specific Language for Filtering in Application-Level Gateways GPCE Hampus Balldin Advenica, Christoph Reichenbach Lund University Link to publication DOI Media Attached
19:20 20m Talk		Towards the Optical Character Recognition of DSLs SLE Jorge Perianez Pascual University of Extremadura, Spain, Roberto Rodriguez-Echeverria University of Extremadura, Spain, Lola Burgueño Open University of Catalonia, Spain, Jordi Cabot Open University of Catalonia, Spain Link to publication DOI Pre-print Media Attached
19:40 20m Talk		eFLINT: A Domain-Specific Language for Executable Norm Specifications GPCE L. Thomas van Binsbergen CWI, Lu-Chi Liu University of Amsterdam, Robert van Doesburg Leibniz Institute / University of Amsterdam / TNO, Tom van Engers Leibniz Institute / University of Amsterdam / TNO Link to publication DOI Pre-print Media Attached
20:00 20m Talk		Annotating Executable DSLs with Energy Estimation Formulas SLE Thibault Béziers la Fosse IMT Atlantique, ICAM, Massimo Tisi , Jean-Marie Mottu Université de Nantes, LS2N, IMT Atlantique, Gerson Sunyé Université de Nantes, LS2N Link to publication DOI Media Attached

23:00 - 00:20	SLE at SPLASH-III Chair(s): Paddy Krishnan Oracle Labs, Australia

23:00 20m Talk		A Precedence-Driven Approach for Concurrent Model Synchronization Scenarios using Triple Graph Grammars SLE Lars Fritsche TU Darmstadt, Germany, Jens Kosiol University of Marburg, Germany, Adrian Möller TU Darmstadt, Germany, Andy Schürr TU Darmstadt, Germany, Gabriele Taentzer University of Marburg, Germany Link to publication DOI Pre-print Media Attached
23:20 20m Talk		Example-Driven Software Language Engineering SLE Mikhail Barash University of Bergen Link to publication DOI Media Attached
23:40 20m Talk		Behavior Trees in Action: A Study of Robotics Applications SLE Razan Ghzouli Chalmers University of Technology & University of Gothenburg, Thorsten Berger Chalmers University of Technology, Sweden / University of Gothenburg, Sweden, Einar Broch Johnsen University of Oslo, Swaib Dragule Chalmers \| University of Gothenburg, Andrzej Wąsowski IT University of Copenhagen, Denmark Link to publication DOI Pre-print Media Attached
00:00 20m Talk		A Search-Based and Fault-Tolerant Approach to Concurrent Model Synchronisation SLE Nils Weidmann , Lars Fritsche TU Darmstadt, Germany, Anthony Anjorin Paderborn University, Germany Link to publication DOI Media Attached

Tue 17 Nov
Displayed time zone: Central Time (US & Canada) change

01:00 - 02:20	SLE at SPLASH-III Chair(s): Vadim Zaytsev University of Twente, Netherlands

01:00 20m Talk		Test Case Generation from Context-Free Grammars using Generalized Traversal of LR-Automata SLE Christoff Rossouw Stellenbosch University, South Africa, Bernd Fischer Stellenbosch University, South Africa Link to publication DOI Media Attached
01:20 20m Talk		Grammar-Based Testing for Little Languages: An Experience Report with Student Compilers SLE Phillip van Heerden Stellenbosch University, Moeketsi Raselimo Stellenbosch University, South Africa, Konstantinos (Kostis) Sagonas Uppsala University, Sweden, Bernd Fischer Stellenbosch University, South Africa Link to publication DOI Media Attached
01:40 20m Talk		An Interactive Feedback System for Grammar Development (Tool Paper) SLE Chelsea Barraball Stellenbosch University, South Africa, Moeketsi Raselimo Stellenbosch University, South Africa, Bernd Fischer Stellenbosch University, South Africa Link to publication DOI Media Attached
02:00 20m Talk		Featherweight Swift: A Core Calculus for Swift’s Type System SLE Dimi Racordon University of Geneva, Switzerland, Didier Buchs University of Geneva, Switzerland Link to publication DOI Media Attached

03:00 - 03:40	SLE at SPLASH-III Chair(s): Ralf Laemmel Facebook London

03:00 20m Talk		A Semantic Framework for PEGs SLE Sergio Queiroz de Medeiros Universidade Federal do Rio Grande do Norte, Carlos Olarte Federal University of Rio Grande do Norte, Brazil Link to publication DOI Pre-print Media Attached
03:20 20m Talk		Untangling Mechanized Proofs SLE Clément Pit-Claudel MIT CSAIL DOI Pre-print Media Attached

SLE 2020 Program

Sun 15 Nov
Displayed time zone: Central Time (US & Canada) change

Mon 16 Nov
Displayed time zone: Central Time (US & Canada) change

Tue 17 Nov
Displayed time zone: Central Time (US & Canada) change

Tracks

Co-hosted Conferences

SLE 2020 Program

Switch Program View

Program Display Configuration

Sun 15 NovDisplayed time zone: Central Time (US & Canada) change

Mon 16 NovDisplayed time zone: Central Time (US & Canada) change

Tue 17 NovDisplayed time zone: Central Time (US & Canada) change

Get Calendar (iCal)

Sun 15 Nov
Displayed time zone: Central Time (US & Canada) change

Mon 16 Nov
Displayed time zone: Central Time (US & Canada) change

Tue 17 Nov
Displayed time zone: Central Time (US & Canada) change