Program - SLE 2020

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
Times are displayed in time zone: Central Time (US & Canada) change

	09:00 - 09:40: GPCE/SLE OpeningGPCE / SLE at SPLASH-III +12h Chair(s): Juan de LaraAutonomous University of Madrid, Laurence TrattKing's College London, Martin ErwigOregon State University, Jeff GrayUniversity of Alabama, Ralf LaemmelFacebook London

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

	09:40 - 10:20: GPCE / SLE at SPLASH-III +12h Chair(s): Juan de LaraAutonomous University of Madrid, Jeff GrayUniversity of Alabama, Laurence TrattKing's College London

	09:40 - 10:00 Talk		Modeling Black-Box Components with Probabilistic SynthesisBest Paper Award GPCE Bruce CollieUniversity of Edinburgh, Jackson WoodruffUniversity of Edinburgh, Michael F. P. O'BoyleUniversity of Edinburgh Link to publication DOI Media Attached
	10:00 - 10:20 Talk		Gradually Typing Strategies SLE Jeff SmitsDelft University of Technology, Netherlands, Eelco VisserDelft University of Technology Link to publication DOI Pre-print Media Attached

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

	11:00 - 11:20 Talk		Automated Variability Injection for Graphical Modelling Languages GPCE Antonio GarmendiaJKU Linz, Manuel WimmerJKU Linz, Esther GuerraAutonomous University of Madrid, Elena Gómez-MartínezAutonomous University of Madrid, Juan de LaraAutonomous University of Madrid Link to publication DOI Pre-print Media Attached
	11:20 - 11:40 Talk		Modular and Distributed IDE SLE Fabien CoulonObeo, France / University of Rennes, France / Inria, France / CNRS, France / IRISA, France, Alex AuvolatUniversity of Rennes, France / Inria, France / CNRS, France / IRISA, France, Benoit CombemaleUniversity of Rennes, France / Inria, France / CNRS, France / IRISA, France, Yérom-David BrombergUniversity of Rennes, France / Inria, France / CNRS, France / IRISA, France, François TaïaniUniversity of Rennes, France / Inria, France / CNRS, France / IRISA, France, Olivier BaraisUniversity of Rennes, France / Inria, France / CNRS, France / IRISA, France, Noël PlouzeauUniversity of Rennes, France / Inria, France / CNRS, France / IRISA, France Link to publication DOI Pre-print Media Attached
	11:40 - 12:00 Talk		Correctness-by-Construction for Feature-Oriented Software Product Lines GPCE Tabea BordisTU Braunschweig, Tobias RungeTU Braunschweig, Ina SchaeferTU Braunschweig Link to publication DOI Media Attached
	12:00 - 12:20 Talk		A Family of Languages for Trustworthy Agent-Based Simulation SLE Steffen ZschalerKing's College London, Fiona PolackKeele University Link to publication DOI Pre-print Media Attached

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

	13:00 - 13:20 Talk		Multi-stage Programming in the Large with Staged Classes GPCE Lionel ParreauxEPFL, Amir ShaikhhaUniversity of Edinburgh Link to publication DOI Media Attached
	13:20 - 13:40 Talk		Software Language Engineers’ Worst Nightmare SLE Vadim ZaytsevUniversity of Twente, Netherlands Link to publication DOI Pre-print Media Attached
	13:40 - 14:00 Talk		Reorganizing Queries with Grouping GPCE Rui OkuraUniversity of Tsukuba, Yukiyoshi KameyamaUniversity of Tsukuba Link to publication DOI Media Attached
	14:00 - 14:20 Talk		Principles and Patterns of JastAdd-Style Reference Attribute Grammars SLE Niklas ForsLund University, Emma SöderbergLund University, Görel HedinLund University Link to publication DOI Media Attached

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

	15:00 - 15:20 Talk		Manipulating GUI Structures Declaratively GPCE Knut Anders StokkeUniversity of Bergen, Mikhail BarashUniversity of Bergen, Jaakko JärviUniversity of Turku Link to publication DOI Media Attached
	15:20 - 15:40 Talk		Block-Based Syntax from Context-Free Grammars SLE Mauricio Verano MerinoTechnische Universiteit Eindhoven, Tijs van der StormCWI & University of Groningen, Netherlands Link to publication DOI Pre-print Media Attached
	15:40 - 16:00 Talk		PReGO: A Generative Methodology for Satisfying Real-Time Requirements on COTS-Based Systems: Definition and Experience Report GPCE Benjamin RouxelUniversity of Amsterdam, Ulrik Pagh SchultzUniversity of Southern Denmark, Benny AkessonUniversity of Amsterdam / TNO, Jesper HolstSky-Watch, Ole JørgensenSky-Watch, Clemens GrelckUniversity of Amsterdam Link to publication DOI Media Attached
	16:00 - 16:20 Talk		Extrinsically Typed Operational Semantics for Functional Languages SLE Matteo CiminiUniversity of Massachusetts at Lowell, USA, Dale MillerInria, France / École Polytechnique, France, Jeremy G. SiekIndiana University, USA Link to publication DOI Media Attached

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

	17:00 - 17:20 Talk		VarSem: Declarative Expression and Automated Inference of Variable Usage Semantics GPCE Yin LiuVirginia Tech, Eli TilevichVirginia Tech Link to publication DOI Media Attached
	17:20 - 17:40 Talk		Monadification of Attribute Grammars SLE Dawn MichaelsonUniversity of Minnesota, Eric Van WykUniversity of Minnesota, USA Link to publication DOI Pre-print Media Attached
	17:40 - 18:00 Talk		Fluid Quotes: Metaprogramming across Abstraction Boundaries with Dependent Types GPCE Shadaj LaddadUniversity of California at Berkeley, Koushik SenUniversity of California at Berkeley Link to publication DOI Pre-print Media Attached
	18:00 - 18:20 Talk		Strategic Tree Rewriting in Attribute Grammars SLE Lucas KramerUniversity of Minnesota, Eric Van WykUniversity 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 ErwigOregon State University, Jeff GrayUniversity of Alabama, Juan de LaraAutonomous University of Madrid, Laurence TrattKing's College London, Ralf LaemmelFacebook London

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

	21:40 - 22:20: GPCE / SLE at SPLASH-III Chair(s): Laurence TrattKing's College London, Jeff GrayUniversity of Alabama, Juan de LaraAutonomous University of Madrid

	21:40 - 22:00 Talk		Modeling Black-Box Components with Probabilistic SynthesisBest Paper Award GPCE Bruce CollieUniversity of Edinburgh, Jackson WoodruffUniversity of Edinburgh, Michael F. P. O'BoyleUniversity of Edinburgh Link to publication DOI Media Attached
	22:00 - 22:20 Talk		Gradually Typing Strategies SLE Jeff SmitsDelft University of Technology, Netherlands, Eelco VisserDelft University of Technology Link to publication DOI Pre-print Media Attached

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

	23:00 - 23:20 Talk		Automated Variability Injection for Graphical Modelling Languages GPCE Antonio GarmendiaJKU Linz, Manuel WimmerJKU Linz, Esther GuerraAutonomous University of Madrid, Elena Gómez-MartínezAutonomous University of Madrid, Juan de LaraAutonomous University of Madrid Link to publication DOI Pre-print Media Attached
	23:20 - 23:40 Talk		Modular and Distributed IDE SLE Fabien CoulonObeo, France / University of Rennes, France / Inria, France / CNRS, France / IRISA, France, Alex AuvolatUniversity of Rennes, France / Inria, France / CNRS, France / IRISA, France, Benoit CombemaleUniversity of Rennes, France / Inria, France / CNRS, France / IRISA, France, Yérom-David BrombergUniversity of Rennes, France / Inria, France / CNRS, France / IRISA, France, François TaïaniUniversity of Rennes, France / Inria, France / CNRS, France / IRISA, France, Olivier BaraisUniversity of Rennes, France / Inria, France / CNRS, France / IRISA, France, Noël PlouzeauUniversity of Rennes, France / Inria, France / CNRS, France / IRISA, France Link to publication DOI Pre-print Media Attached
	23:40 - 00:00 Talk		Correctness-by-Construction for Feature-Oriented Software Product Lines GPCE Tabea BordisTU Braunschweig, Tobias RungeTU Braunschweig, Ina SchaeferTU Braunschweig Link to publication DOI Media Attached
	00:00 - 00:20 Talk		A Family of Languages for Trustworthy Agent-Based Simulation SLE Steffen ZschalerKing's College London, Fiona PolackKeele University Link to publication DOI Pre-print Media Attached

Mon 16 Nov
Times are displayed in time zone: Central Time (US & Canada) change

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

	01:00 - 01:20 Talk		Multi-stage Programming in the Large with Staged Classes GPCE Lionel ParreauxEPFL, Amir ShaikhhaUniversity of Edinburgh Link to publication DOI Media Attached
	01:20 - 01:40 Talk		Software Language Engineers’ Worst Nightmare SLE Vadim ZaytsevUniversity of Twente, Netherlands Link to publication DOI Pre-print Media Attached
	01:40 - 02:00 Talk		Reorganizing Queries with Grouping GPCE Rui OkuraUniversity of Tsukuba, Yukiyoshi KameyamaUniversity of Tsukuba Link to publication DOI Media Attached
	02:00 - 02:20 Talk		Principles and Patterns of JastAdd-Style Reference Attribute Grammars SLE Niklas ForsLund University, Emma SöderbergLund University, Görel HedinLund University Link to publication DOI Media Attached

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

	03:00 - 03:20 Talk		Manipulating GUI Structures Declaratively GPCE Knut Anders StokkeUniversity of Bergen, Mikhail BarashUniversity of Bergen, Jaakko JärviUniversity of Turku Link to publication DOI Media Attached
	03:20 - 03:40 Talk		Block-Based Syntax from Context-Free Grammars SLE Mauricio Verano MerinoTechnische Universiteit Eindhoven, Tijs van der StormCWI & University of Groningen, Netherlands Link to publication DOI Pre-print Media Attached
	03:40 - 04:00 Talk		PReGO: A Generative Methodology for Satisfying Real-Time Requirements on COTS-Based Systems: Definition and Experience Report GPCE Benjamin RouxelUniversity of Amsterdam, Ulrik Pagh SchultzUniversity of Southern Denmark, Benny AkessonUniversity of Amsterdam / TNO, Jesper HolstSky-Watch, Ole JørgensenSky-Watch, Clemens GrelckUniversity of Amsterdam Link to publication DOI Media Attached
	04:00 - 04:20 Talk		Extrinsically Typed Operational Semantics for Functional Languages SLE Matteo CiminiUniversity of Massachusetts at Lowell, USA, Dale MillerInria, France / École Polytechnique, France, Jeremy G. SiekIndiana University, USA Link to publication DOI Media Attached

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

	05:00 - 05:20 Talk		VarSem: Declarative Expression and Automated Inference of Variable Usage Semantics GPCE Yin LiuVirginia Tech, Eli TilevichVirginia Tech Link to publication DOI Media Attached
	05:20 - 05:40 Talk		Monadification of Attribute Grammars SLE Dawn MichaelsonUniversity of Minnesota, Eric Van WykUniversity of Minnesota, USA Link to publication DOI Pre-print Media Attached
	05:40 - 06:00 Talk		Fluid Quotes: Metaprogramming across Abstraction Boundaries with Dependent Types GPCE Shadaj LaddadUniversity of California at Berkeley, Koushik SenUniversity of California at Berkeley Link to publication DOI Pre-print Media Attached
	06:00 - 06:20 Talk		Strategic Tree Rewriting in Attribute Grammars SLE Lucas KramerUniversity of Minnesota, Eric Van WykUniversity 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 LaraAutonomous University of Madrid

	07:00 - 07:20 Talk		A Domain-Specific Language for Filtering in Application-Level Gateways GPCE Hampus BalldinAdvenica, Christoph ReichenbachLund University Link to publication DOI Media Attached
	07:20 - 07:40 Talk		Towards the Optical Character Recognition of DSLs SLE Jorge Perianez PascualUniversity of Extremadura, Spain, Roberto Rodriguez-EcheverriaUniversity of Extremadura, Spain, Loli BurgueñoOpen University of Catalonia, Spain, Jordi CabotOpen University of Catalonia, Spain Link to publication DOI Pre-print Media Attached
	07:40 - 08:00 Talk		eFLINT: A Domain-Specific Language for Executable Norm Specifications GPCE L. Thomas van BinsbergenCWI, Lu-Chi LiuUniversity of Amsterdam, Robert van DoesburgLeibniz Institute / University of Amsterdam / TNO, Tom van EngersLeibniz Institute / University of Amsterdam / TNO Link to publication DOI Pre-print Media Attached
	08:00 - 08:20 Talk		Annotating Executable DSLs with Energy Estimation Formulas SLE Thibault Béziers la FosseIMT Atlantique, ICAM, Massimo Tisi, Jean-Marie MottuUniversité 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 TrattKing's College London

	11:00 - 11:20 Talk		A Precedence-Driven Approach for Concurrent Model Synchronization Scenarios using Triple Graph Grammars SLE Lars FritscheTU Darmstadt, Germany, Jens KosiolUniversity of Marburg, Germany, Adrian MöllerTU Darmstadt, Germany, Andy SchürrTU Darmstadt, Germany, Gabriele TaentzerUniversity of Marburg, Germany Link to publication DOI Pre-print Media Attached
	11:20 - 11:40 Talk		Example-Driven Software Language Engineering SLE Mikhail BarashUniversity of Bergen Link to publication DOI Media Attached
	11:40 - 12:00 Talk		Behavior Trees in Action: A Study of Robotics Applications SLE Razan GhzouliChalmers University of Technology & University of Gothenburg, Thorsten BergerChalmers University of Technology, Sweden / University of Gothenburg, Sweden, Einar Broch JohnsenUniversity of Oslo, Swaib DraguleChalmers \| University of Gothenburg, Andrzej WąsowskiIT University of Copenhagen, Denmark Link to publication DOI Pre-print Media Attached
	12:00 - 12:20 Talk		A Search-Based and Fault-Tolerant Approach to Concurrent Model Synchronisation SLE Nils Weidmann, Lars FritscheTU Darmstadt, Germany, Anthony AnjorinPaderborn University, Germany Link to publication DOI Media Attached

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

	13:00 - 13:20 Talk		Test Case Generation from Context-Free Grammars using Generalized Traversal of LR-Automata SLE Christoff RossouwStellenbosch University, South Africa, Bernd FischerStellenbosch University, South Africa Link to publication DOI Media Attached
	13:20 - 13:40 Talk		Grammar-Based Testing for Little Languages: An Experience Report with Student Compilers SLE Phillip van HeerdenStellenbosch University, Moeketsi RaselimoStellenbosch University, South Africa, Konstantinos (Kostis) SagonasUppsala University, Sweden, Bernd FischerStellenbosch University, South Africa Link to publication DOI Media Attached
	13:40 - 14:00 Talk		An Interactive Feedback System for Grammar Development (Tool Paper) SLE Chelsea BarraballStellenbosch University, South Africa, Moeketsi RaselimoStellenbosch University, South Africa, Bernd FischerStellenbosch University, South Africa Link to publication DOI Media Attached
	14:00 - 14:20 Talk		Featherweight Swift: A Core Calculus for Swift’s Type System SLE Dimitri RacordonUniversity of Geneva, Switzerland, Didier BuchsUniversity of Geneva, Switzerland Link to publication DOI Media Attached

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

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

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

	19:00 - 19:20 Talk		A Domain-Specific Language for Filtering in Application-Level Gateways GPCE Hampus BalldinAdvenica, Christoph ReichenbachLund University Link to publication DOI Media Attached
	19:20 - 19:40 Talk		Towards the Optical Character Recognition of DSLs SLE Jorge Perianez PascualUniversity of Extremadura, Spain, Roberto Rodriguez-EcheverriaUniversity of Extremadura, Spain, Loli BurgueñoOpen University of Catalonia, Spain, Jordi CabotOpen University of Catalonia, Spain Link to publication DOI Pre-print Media Attached
	19:40 - 20:00 Talk		eFLINT: A Domain-Specific Language for Executable Norm Specifications GPCE L. Thomas van BinsbergenCWI, Lu-Chi LiuUniversity of Amsterdam, Robert van DoesburgLeibniz Institute / University of Amsterdam / TNO, Tom van EngersLeibniz Institute / University of Amsterdam / TNO Link to publication DOI Pre-print Media Attached
	20:00 - 20:20 Talk		Annotating Executable DSLs with Energy Estimation Formulas SLE Thibault Béziers la FosseIMT Atlantique, ICAM, Massimo Tisi, Jean-Marie MottuUniversité 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 KrishnanOracle Labs, Australia

	23:00 - 23:20 Talk		A Precedence-Driven Approach for Concurrent Model Synchronization Scenarios using Triple Graph Grammars SLE Lars FritscheTU Darmstadt, Germany, Jens KosiolUniversity of Marburg, Germany, Adrian MöllerTU Darmstadt, Germany, Andy SchürrTU Darmstadt, Germany, Gabriele TaentzerUniversity of Marburg, Germany Link to publication DOI Pre-print Media Attached
	23:20 - 23:40 Talk		Example-Driven Software Language Engineering SLE Mikhail BarashUniversity of Bergen Link to publication DOI Media Attached
	23:40 - 00:00 Talk		Behavior Trees in Action: A Study of Robotics Applications SLE Razan GhzouliChalmers University of Technology & University of Gothenburg, Thorsten BergerChalmers University of Technology, Sweden / University of Gothenburg, Sweden, Einar Broch JohnsenUniversity of Oslo, Swaib DraguleChalmers \| University of Gothenburg, Andrzej WąsowskiIT University of Copenhagen, Denmark Link to publication DOI Pre-print Media Attached
	00:00 - 00:20 Talk		A Search-Based and Fault-Tolerant Approach to Concurrent Model Synchronisation SLE Nils Weidmann, Lars FritscheTU Darmstadt, Germany, Anthony AnjorinPaderborn University, Germany Link to publication DOI Media Attached

Tue 17 Nov
Times are displayed in time zone: Central Time (US & Canada) change

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

	01:00 - 01:20 Talk		Test Case Generation from Context-Free Grammars using Generalized Traversal of LR-Automata SLE Christoff RossouwStellenbosch University, South Africa, Bernd FischerStellenbosch University, South Africa Link to publication DOI Media Attached
	01:20 - 01:40 Talk		Grammar-Based Testing for Little Languages: An Experience Report with Student Compilers SLE Phillip van HeerdenStellenbosch University, Moeketsi RaselimoStellenbosch University, South Africa, Konstantinos (Kostis) SagonasUppsala University, Sweden, Bernd FischerStellenbosch University, South Africa Link to publication DOI Media Attached
	01:40 - 02:00 Talk		An Interactive Feedback System for Grammar Development (Tool Paper) SLE Chelsea BarraballStellenbosch University, South Africa, Moeketsi RaselimoStellenbosch University, South Africa, Bernd FischerStellenbosch University, South Africa Link to publication DOI Media Attached
	02:00 - 02:20 Talk		Featherweight Swift: A Core Calculus for Swift’s Type System SLE Dimitri RacordonUniversity of Geneva, Switzerland, Didier BuchsUniversity of Geneva, Switzerland Link to publication DOI Media Attached

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

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

Sun 15 Nov
Times are displayed in time zone: Central Time (US & Canada) change


Room	9:00						30						10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30						17:00						30						18:00						30						19:00						30						20:00						30						21:00						30						22:00						30						23:00						30						0:00						30
SPLASH-III	GPCE + GPCE GPCE/SLE Opening								GPCE + GPCE																GPCE + GPCE																								GPCE + GPCE																								GPCE + GPCE																								GPCE + GPCE																																																GPCE + GPCE GPCE/SLE Opening								GPCE + GPCE																GPCE + GPCE

Mon 16 Nov
Times are displayed in time zone: Central Time (US & Canada) change


Room	1:00						30						2:00						30						3:00						30						4:00						30						5:00						30						6:00						30						7:00						30						8:00						30						9:00						30						10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30						17:00						30						18:00						30						19:00						30						20:00						30						21:00						30						22:00						30						23:00						30						0:00						30
SPLASH-III	GPCE + GPCE																								GPCE + GPCE																								GPCE + GPCE																								GPCE + GPCE																																																SLE																								SLE																								SLE																																																GPCE + GPCE																																																SLE

Tue 17 Nov
Times are displayed in time zone: Central Time (US & Canada) change


Room	1:00						30						2:00						30						3:00						30
SPLASH-III	SLE																								SLE

Sun 15 Nov
Times are displayed in time zone: Central Time (US & Canada) change


Room	9:00			15			30			45			10:00			15			30			45			11:00			15			30			45			12:00			15			30			45			13:00			15			30			45			14:00			15			30			45			15:00			15			30			45			16:00			15			30			45			17:00			15			30			45			18:00			15			30			45			19:00			15			30			45			20:00			15			30			45			21:00			15			30			45			22:00			15			30			45			23:00			15			30			45
SPLASH-III	GPCE GPCE/SLE Opening 09:00 - 09:40								GPCEBest Paper Award Modeling Black-Box Components with Probabilistic Synthesis 09:40 - 10:00				SLE Gradually Typing Strategies 10:00 - 10:20												GPCE Automated Variability Injection for Graphical Modelling Languages 11:00 - 11:20				SLE Modular and Distributed IDE 11:20 - 11:40				GPCE Correctness-by-Construction for Feature-Oriented Software Product Lines 11:40 - 12:00				SLE A Family of Languages for Trustworthy Agent-Based Simulation 12:00 - 12:20												GPCE Multi-stage Programming in the Large with Staged Classes 13:00 - 13:20				SLE Software Language Engineers’ Worst Nightmare 13:20 - 13:40				GPCE Reorganizing Queries with Grouping 13:40 - 14:00				SLE Principles and Patterns of JastAdd-Style Reference Attribute Grammars 14:00 - 14:20												GPCE Manipulating GUI Structures Declaratively 15:00 - 15:20				SLE Block-Based Syntax from Context-Free Grammars 15:20 - 15:40				GPCE PReGO: A Generative Methodology for Satisfying Real-Time Requirements o ... 15:40 - 16:00				SLE Extrinsically Typed Operational Semantics for Functional Languages 16:00 - 16:20												GPCE VarSem: Declarative Expression and Automated Inference of Variable Usag ... 17:00 - 17:20				SLE Monadification of Attribute Grammars 17:20 - 17:40				GPCE Fluid Quotes: Metaprogramming across Abstraction Boundaries with Depend ... 17:40 - 18:00				SLE Strategic Tree Rewriting in Attribute Grammars 18:00 - 18:20																																				GPCE GPCE/SLE Opening 21:00 - 21:40								GPCEBest Paper Award Modeling Black-Box Components with Probabilistic Synthesis 21:40 - 22:00				SLE Gradually Typing Strategies 22:00 - 22:20												GPCE Automated Variability Injection for Graphical Modelling Languages 23:00 - 23:20				SLE Modular and Distributed IDE 23:20 - 23:40				GPCE Correctness-by-Construction for Feature-Oriented Software Product Lines 23:40 - 00:00

Mon 16 Nov
Times are displayed in time zone: Central Time (US & Canada) change


Room	0:00			15			30			45			1:00			15			30			45			2:00			15			30			45			3:00			15			30			45			4:00			15			30			45			5:00			15			30			45			6:00			15			30			45			7:00			15			30			45			8:00			15			30			45			9:00			15			30			45			10:00			15			30			45			11:00			15			30			45			12:00			15			30			45			13:00			15			30			45			14:00			15			30			45			15:00			15			30			45			16:00			15			30			45			17:00			15			30			45			18:00			15			30			45			19:00			15			30			45			20:00			15			30			45			21:00			15			30			45			22:00			15			30			45			23:00			15			30			45
SPLASH-III	SLE A Family of Languages for Trustworthy Agent-Based Simulation 00:00 - 00:20												GPCE Multi-stage Programming in the Large with Staged Classes 01:00 - 01:20				SLE Software Language Engineers’ Worst Nightmare 01:20 - 01:40				GPCE Reorganizing Queries with Grouping 01:40 - 02:00				SLE Principles and Patterns of JastAdd-Style Reference Attribute Grammars 02:00 - 02:20												GPCE Manipulating GUI Structures Declaratively 03:00 - 03:20				SLE Block-Based Syntax from Context-Free Grammars 03:20 - 03:40				GPCE PReGO: A Generative Methodology for Satisfying Real-Time Requirements o ... 03:40 - 04:00				SLE Extrinsically Typed Operational Semantics for Functional Languages 04:00 - 04:20												GPCE VarSem: Declarative Expression and Automated Inference of Variable Usag ... 05:00 - 05:20				SLE Monadification of Attribute Grammars 05:20 - 05:40				GPCE Fluid Quotes: Metaprogramming across Abstraction Boundaries with Depend ... 05:40 - 06:00				SLE Strategic Tree Rewriting in Attribute Grammars 06:00 - 06:20												GPCE A Domain-Specific Language for Filtering in Application-Level Gateways 07:00 - 07:20				SLE Towards the Optical Character Recognition of DSLs 07:20 - 07:40				GPCE eFLINT: A Domain-Specific Language for Executable Norm Specifications 07:40 - 08:00				SLE Annotating Executable DSLs with Energy Estimation Formulas 08:00 - 08:20																																				SLE A Precedence-Driven Approach for Concurrent Model Synchronization Scena ... 11:00 - 11:20				SLE Example-Driven Software Language Engineering 11:20 - 11:40				SLE Behavior Trees in Action: A Study of Robotics Applications 11:40 - 12:00				SLE A Search-Based and Fault-Tolerant Approach to Concurrent Model Synchron ... 12:00 - 12:20												SLE Test Case Generation from Context-Free Grammars using Generalized Trave ... 13:00 - 13:20				SLE Grammar-Based Testing for Little Languages: An Experience Report with S ... 13:20 - 13:40				SLE An Interactive Feedback System for Grammar Development (Tool Paper) 13:40 - 14:00				SLE Featherweight Swift: A Core Calculus for Swift’s Type System 14:00 - 14:20												SLE A Semantic Framework for PEGs 15:00 - 15:20				SLE Untangling Mechanized Proofs 15:20 - 15:40																																												GPCE A Domain-Specific Language for Filtering in Application-Level Gateways 19:00 - 19:20				SLE Towards the Optical Character Recognition of DSLs 19:20 - 19:40				GPCE eFLINT: A Domain-Specific Language for Executable Norm Specifications 19:40 - 20:00				SLE Annotating Executable DSLs with Energy Estimation Formulas 20:00 - 20:20																																				SLE A Precedence-Driven Approach for Concurrent Model Synchronization Scena ... 23:00 - 23:20				SLE Example-Driven Software Language Engineering 23:20 - 23:40				SLE Behavior Trees in Action: A Study of Robotics Applications 23:40 - 00:00

Tue 17 Nov
Times are displayed in time zone: Central Time (US & Canada) change


Room	0:00			15			30			45			1:00			15			30			45			2:00			15			30			45			3:00			15			30			45
SPLASH-III	SLE A Search-Based and Fault-Tolerant Approach to Concurrent Model Synchron ... 00:00 - 00:20												SLE Test Case Generation from Context-Free Grammars using Generalized Trave ... 01:00 - 01:20				SLE Grammar-Based Testing for Little Languages: An Experience Report with S ... 01:20 - 01:40				SLE An Interactive Feedback System for Grammar Development (Tool Paper) 01:40 - 02:00				SLE Featherweight Swift: A Core Calculus for Swift’s Type System 02:00 - 02:20												SLE A Semantic Framework for PEGs 03:00 - 03:20				SLE Untangling Mechanized Proofs 03:20 - 03:40

iCalendar subscription service for your personal schedule

You first need to have starred events () in order to use the iCalendar subscription service.

Currently Viewed Program

Downloads the currently viewed program (with filters applied) in iCal format

SLE 2020 Program

Filter Program

Sun 15 Nov
Times are displayed in time zone: Central Time (US & Canada) change

Mon 16 Nov
Times are displayed in time zone: Central Time (US & Canada) change

Tue 17 Nov
Times are displayed in time zone: Central Time (US & Canada) change

Sun 15 Nov
Times are displayed in time zone: Central Time (US & Canada) change

GPCE + GPCE

GPCE + GPCE

GPCE + GPCE

GPCE + GPCE

GPCE + GPCE

GPCE + GPCE

GPCE + GPCE

GPCE + GPCE

GPCE + GPCE

Mon 16 Nov
Times are displayed in time zone: Central Time (US & Canada) change

GPCE + GPCE

GPCE + GPCE

GPCE + GPCE

GPCE + GPCE

SLE

SLE

SLE

GPCE + GPCE

SLE

Tue 17 Nov
Times are displayed in time zone: Central Time (US & Canada) change

SLE

SLE

Sun 15 Nov
Times are displayed in time zone: Central Time (US & Canada) change

Mon 16 Nov
Times are displayed in time zone: Central Time (US & Canada) change

Tue 17 Nov
Times are displayed in time zone: Central Time (US & Canada) change

Tracks

Co-hosted Conferences

SLE 2020 Program

Filter Program

Program Display Configuration

Sun 15 Nov Times are displayed in time zone: Central Time (US & Canada) change

Mon 16 Nov Times are displayed in time zone: Central Time (US & Canada) change

Tue 17 Nov Times are displayed in time zone: Central Time (US & Canada) change

Sun 15 Nov Times are displayed in time zone: Central Time (US & Canada) change

GPCE + GPCE

GPCE + GPCE

GPCE + GPCE

GPCE + GPCE

GPCE + GPCE

GPCE + GPCE

GPCE + GPCE

GPCE + GPCE

GPCE + GPCE

Mon 16 Nov Times are displayed in time zone: Central Time (US & Canada) change

GPCE + GPCE

GPCE + GPCE

GPCE + GPCE

GPCE + GPCE

SLE

SLE

SLE

GPCE + GPCE

SLE

Tue 17 Nov Times are displayed in time zone: Central Time (US & Canada) change

SLE

SLE

Sun 15 Nov Times are displayed in time zone: Central Time (US & Canada) change

Mon 16 Nov Times are displayed in time zone: Central Time (US & Canada) change

Tue 17 Nov Times are displayed in time zone: Central Time (US & Canada) change

Sun 15 Nov
Times are displayed in time zone: Central Time (US & Canada) change

Mon 16 Nov
Times are displayed in time zone: Central Time (US & Canada) change

Tue 17 Nov
Times are displayed in time zone: Central Time (US & Canada) change

Sun 15 Nov
Times are displayed in time zone: Central Time (US & Canada) change

Mon 16 Nov
Times are displayed in time zone: Central Time (US & Canada) change

Tue 17 Nov
Times are displayed in time zone: Central Time (US & Canada) change

Sun 15 Nov
Times are displayed in time zone: Central Time (US & Canada) change

Mon 16 Nov
Times are displayed in time zone: Central Time (US & Canada) change

Tue 17 Nov
Times are displayed in time zone: Central Time (US & Canada) change