Program - SLE 2020

Filter

Badges

Your Program

Time Zone

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

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

The GMT offsets shown here reflect the offsets at this moment. These offsets update automatically in case there is a change in daylight saving time.

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 at SPLASH +12h

	09:00 - 09:40 Other		GPCE/SLE Opening GPCE

	09:40 - 10:20: GPCE / SLE at SPLASH +12h

	09:40 - 10:00 Talk		Modeling Black-Box Components with Probabilistic Synthesis GPCE Bruce CollieUniversity of Edinburgh, Jackson WoodruffUniversity of Edinburgh, Michael O'BoyleUniversity of Edinburgh
	10:00 - 10:20 Talk		Gradually Typing Strategies SLE Jeff SmitsDelft University of Technology, Eelco VisserDelft University of Technology

	11:00 - 12:20: GPCE / SLE at SPLASH +12h

	11:00 - 11:20 Talk		Automated Variability Injection for Graphical Modelling Languages GPCE Antonio GarmendiaJKU Linz, Manuel WimmerJohannes Kepler University Linz, Esther GuerraUniversidad Autonoma de Madrid, Elena Gómez-MartínezUniversidad Autonoma de Madrid, Juan de LaraUniversidad Autónoma de Madrid Pre-print
	11:20 - 11:40 Talk		Modular and distributed IDE SLE Fabien CoulonUniversity of Toulouse / Obeo, Alex AuvolatUniversity of Rennes, Inria, CNRS, IRISA, Benoit CombemaleUniversity of Toulouse and Inria, Yerom-David BrombergUniversity of Rennes, Inria, CNRS, IRISA, François TaïniUniversity of Rennes, Inria, CNRS, IRISA, Olivier Barais(Univ Rennes, Inria, IRISA), Noël PlouzeauUniversity of Rennes, Inria, CNRS, IRISA
	11:40 - 12:00 Talk		Correctness-by-Construction for Feature-Oriented Software Product Lines GPCE Tabea BordisTU Braunschweig, Tobias RungeTU Braunschweig, Ina SchaeferTechnische Universität Braunschweig
	12:00 - 12:20 Talk		A Family of Languages for Trustworthy Agent-Based Simulation SLE Steffen ZschalerKing's College London, Fiona PolackKeele University

	13:00 - 14:20: GPCE / SLE at SPLASH +12h

	13:00 - 13:20 Talk		Multi-Stage Programming in the Large with Staged Classes GPCE Lionel ParreauxEPFL, Amir ShaikhhaUniversity of Oxford
	13:20 - 13:40 Talk		Software Language Engineers' Worst Nightmare SLE Vadim ZaytsevUniversity of Twente, The Netherlands
	13:40 - 14:00 Talk		Reorganizing queries with grouping GPCE Rui OkuraUniversity of Tsukuba, Yukiyoshi KameyamaUniversity of Tsukuba, Japan
	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

	15:00 - 16:20: GPCE / SLE at SPLASH +12h

	15:00 - 15:20 Talk		Manipulating GUI Structures Declaratively GPCE Knut Anders StokkeUniversity of Bergen, Norway, Mikhail BarashUniversity of Bergen, Norway, Jaakko JärviUniversity of Bergen
	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
	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 SchultzUniversity of Southern Denmark, Benny AkessonUniversity of Amsterdam, Netherlands and TNO, the Netherlands Organisation, Jesper HolstSky-Watch, Danemark, Ole JorgensenSky-Watch, Danemark, Clemens GrelckUniversity of Amsterdam
	16:00 - 16:20 Talk		Extrinsically Typed Operational Semantics for Functional Languages SLE Matteo CiminiUniversity of Massachusetts Lowell, Dale MilerINRIA Saclay and LIX, Jeremy G. SiekIndiana University, USA

	17:00 - 18:20: GPCE / SLE at SPLASH +12h

	17:00 - 17:20 Talk		VarSem: Declarative Expression and Automated Inference of Variable Usage Semantics GPCE Yin LiuVirginia Tech, Eli TilevichVirginia Tech
	17:20 - 17:40 Talk		Monadification of Attribute Grammars SLE Dawn MichaelsonUniversity of Minnesota, Eric Van WykUniversity of Minnesota, USA
	17:40 - 18:00 Talk		Fluid Quotes: Metaprogramming across Abstraction Boundaries with Dependent Types GPCE Shadaj LaddadUniversity of California, Berkeley, Koushik SenUniversity of California, Berkeley
	18:00 - 18:20 Talk		Strategic Tree Rewriting in Attribute Grammars SLE Lucas KramerUniversity of Minnesota, Eric Van WykUniversity of Minnesota, USA

	21:00 - 21:40: GPCE/SLE OpeningGPCE at SPLASH

	21:00 - 21:40 Other		GPCE/SLE Opening GPCE

	21:40 - 22:20: GPCE / SLE at SPLASH

	21:40 - 22:00 Talk		Modeling Black-Box Components with Probabilistic Synthesis GPCE Bruce CollieUniversity of Edinburgh, Jackson WoodruffUniversity of Edinburgh, Michael O'BoyleUniversity of Edinburgh
	22:00 - 22:20 Talk		Gradually Typing Strategies SLE Jeff SmitsDelft University of Technology, Eelco VisserDelft University of Technology

	23:00 - 00:20: GPCE / SLE at SPLASH

	23:00 - 23:20 Talk		Automated Variability Injection for Graphical Modelling Languages GPCE Antonio GarmendiaJKU Linz, Manuel WimmerJohannes Kepler University Linz, Esther GuerraUniversidad Autonoma de Madrid, Elena Gómez-MartínezUniversidad Autonoma de Madrid, Juan de LaraUniversidad Autónoma de Madrid Pre-print
	23:20 - 23:40 Talk		Modular and distributed IDE SLE Fabien CoulonUniversity of Toulouse / Obeo, Alex AuvolatUniversity of Rennes, Inria, CNRS, IRISA, Benoit CombemaleUniversity of Toulouse and Inria, Yerom-David BrombergUniversity of Rennes, Inria, CNRS, IRISA, François TaïniUniversity of Rennes, Inria, CNRS, IRISA, Olivier Barais(Univ Rennes, Inria, IRISA), Noël PlouzeauUniversity of Rennes, Inria, CNRS, IRISA
	23:40 - 00:00 Talk		Correctness-by-Construction for Feature-Oriented Software Product Lines GPCE Tabea BordisTU Braunschweig, Tobias RungeTU Braunschweig, Ina SchaeferTechnische Universität Braunschweig
	00:00 - 00:20 Talk		A Family of Languages for Trustworthy Agent-Based Simulation SLE Steffen ZschalerKing's College London, Fiona PolackKeele University

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

	01:00 - 02:20: GPCE / SLE at SPLASH

	01:00 - 01:20 Talk		Multi-Stage Programming in the Large with Staged Classes GPCE Lionel ParreauxEPFL, Amir ShaikhhaUniversity of Oxford
	01:20 - 01:40 Talk		Software Language Engineers' Worst Nightmare SLE Vadim ZaytsevUniversity of Twente, The Netherlands
	01:40 - 02:00 Talk		Reorganizing queries with grouping GPCE Rui OkuraUniversity of Tsukuba, Yukiyoshi KameyamaUniversity of Tsukuba, Japan
	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

	03:00 - 04:20: GPCE / SLE at SPLASH

	03:00 - 03:20 Talk		Manipulating GUI Structures Declaratively GPCE Knut Anders StokkeUniversity of Bergen, Norway, Mikhail BarashUniversity of Bergen, Norway, Jaakko JärviUniversity of Bergen
	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
	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 SchultzUniversity of Southern Denmark, Benny AkessonUniversity of Amsterdam, Netherlands and TNO, the Netherlands Organisation, Jesper HolstSky-Watch, Danemark, Ole JorgensenSky-Watch, Danemark, Clemens GrelckUniversity of Amsterdam
	04:00 - 04:20 Talk		Extrinsically Typed Operational Semantics for Functional Languages SLE Matteo CiminiUniversity of Massachusetts Lowell, Dale MilerINRIA Saclay and LIX, Jeremy G. SiekIndiana University, USA

	05:00 - 06:20: GPCE / SLE at SPLASH

	05:00 - 05:20 Talk		VarSem: Declarative Expression and Automated Inference of Variable Usage Semantics GPCE Yin LiuVirginia Tech, Eli TilevichVirginia Tech
	05:20 - 05:40 Talk		Monadification of Attribute Grammars SLE Dawn MichaelsonUniversity of Minnesota, Eric Van WykUniversity of Minnesota, USA
	05:40 - 06:00 Talk		Fluid Quotes: Metaprogramming across Abstraction Boundaries with Dependent Types GPCE Shadaj LaddadUniversity of California, Berkeley, Koushik SenUniversity of California, Berkeley
	06:00 - 06:20 Talk		Strategic Tree Rewriting in Attribute Grammars SLE Lucas KramerUniversity of Minnesota, Eric Van WykUniversity of Minnesota, USA

	07:00 - 08:20: GPCE / SLE at SPLASH +12h

	07:00 - 07:20 Talk		A Domain-Specific Language for Filtering in Application Level Gateways GPCE Hampus BalldinAdvenica AB, Malmö, Christoph ReichenbachLund University
	07:20 - 07:40 Talk		Towards the Optical Character Recognition of DSLs SLE Jorge Perianez PascualUniversidad de Extremadura, Roberto Rodriguez-EcheverriaUniversidad de Extremadura, Loli BurgueñoOpen University of Catalonia & CEA LIST, Jordi CabotICREA - UOC
	07:40 - 08:00 Talk		eFLINT: A Domain-Specific Language for Executable Norm Specifications GPCE L. Thomas van BinsbergenCentrum Wiskunde & Informatica, Lu-Chi LiuUniversity of Amsterdam, Robert van DoesburgLeibniz Institute, University of Amsterdam / TNO, Tom van EngersLeibniz Institute, University of Amsterdam / TNO
	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

	11:00 - 12:20: SLE at SPLASH +12h

	11:00 - 11:20 Talk		A Precedence-Driven Approach for Concurrent Model Synchronization Scenarios using Triple Graph Grammars SLE Lars Fritsche, Jens KosiolPhilipps-Universität Marburg, Adrian MöllerTechnical University of Darmstadt, Andy SchürrTU Darmstadt, Gabriele TaentzerUniversität Marburg
	11:20 - 11:40 Talk		Example-Driven Software Language Engineering SLE Mikhail BarashUniversity of Bergen, Norway
	11:40 - 12:00 Talk		Behavior Trees in Action: A Study of Robotics Applications SLE Razan GhzouliChalmers \| 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
	12:00 - 12:20 Talk		A Search-Based and Fault-Tolerant Approach to Concurrent Model Synchronisation SLE Nils Weidmann, Lars Fritsche, Anthony AnjorinPaderborn University, Germany

	13:00 - 14:20: SLE at SPLASH +12h

	13:00 - 13:20 Talk		Test Case Generation from Context-Free Grammars Using Generalized Traversal of LR-Automata SLE Christoff RossouwStellenbosch University, Bernd FischerStellenbosch University
	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, Konstantinos (Kostis) SagonasUppsala University, Sweden, Bernd FischerStellenbosch University
	13:40 - 14:00 Talk		Tool Demo: A Gamified Interactive Feedback System for Grammar Development SLE Chelsea BarraballStellenbosch University, Moeketsi RaselimoStellenbosch University, Bernd FischerStellenbosch University
	14:00 - 14:20 Talk		Featherweight Swift: A Core Calculus for Swift’s Type System SLE Dimitri RacordonUniversity of Geneva, Centre Universitaire d'Informatique, Geneva, Switzerland, Didier BuchsUniversity of Geneva, Centre Universitaire d'Informatique, Geneva, Switzerland

	15:00 - 15:40: SLE at SPLASH +12h

	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
	15:20 - 15:40 Talk		Untangling mechanized proofs SLE Clément Pit-ClaudelMIT CSAIL

	19:00 - 20:20: GPCE / SLE at SPLASH

	19:00 - 19:20 Talk		A Domain-Specific Language for Filtering in Application Level Gateways GPCE Hampus BalldinAdvenica AB, Malmö, Christoph ReichenbachLund University
	19:20 - 19:40 Talk		Towards the Optical Character Recognition of DSLs SLE Jorge Perianez PascualUniversidad de Extremadura, Roberto Rodriguez-EcheverriaUniversidad de Extremadura, Loli BurgueñoOpen University of Catalonia & CEA LIST, Jordi CabotICREA - UOC
	19:40 - 20:00 Talk		eFLINT: A Domain-Specific Language for Executable Norm Specifications GPCE L. Thomas van BinsbergenCentrum Wiskunde & Informatica, Lu-Chi LiuUniversity of Amsterdam, Robert van DoesburgLeibniz Institute, University of Amsterdam / TNO, Tom van EngersLeibniz Institute, University of Amsterdam / TNO
	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

	23:00 - 00:20: SLE at SPLASH

	23:00 - 23:20 Talk		A Precedence-Driven Approach for Concurrent Model Synchronization Scenarios using Triple Graph Grammars SLE Lars Fritsche, Jens KosiolPhilipps-Universität Marburg, Adrian MöllerTechnical University of Darmstadt, Andy SchürrTU Darmstadt, Gabriele TaentzerUniversität Marburg
	23:20 - 23:40 Talk		Example-Driven Software Language Engineering SLE Mikhail BarashUniversity of Bergen, Norway
	23:40 - 00:00 Talk		Behavior Trees in Action: A Study of Robotics Applications SLE Razan GhzouliChalmers \| 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
	00:00 - 00:20 Talk		A Search-Based and Fault-Tolerant Approach to Concurrent Model Synchronisation SLE Nils Weidmann, Lars Fritsche, Anthony AnjorinPaderborn University, Germany

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

	01:00 - 02:20: SLE at SPLASH

	01:00 - 01:20 Talk		Test Case Generation from Context-Free Grammars Using Generalized Traversal of LR-Automata SLE Christoff RossouwStellenbosch University, Bernd FischerStellenbosch University
	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, Konstantinos (Kostis) SagonasUppsala University, Sweden, Bernd FischerStellenbosch University
	01:40 - 02:00 Talk		Tool Demo: A Gamified Interactive Feedback System for Grammar Development SLE Chelsea BarraballStellenbosch University, Moeketsi RaselimoStellenbosch University, Bernd FischerStellenbosch University
	02:00 - 02:20 Talk		Featherweight Swift: A Core Calculus for Swift’s Type System SLE Dimitri RacordonUniversity of Geneva, Centre Universitaire d'Informatique, Geneva, Switzerland, Didier BuchsUniversity of Geneva, Centre Universitaire d'Informatique, Geneva, Switzerland

	03:00 - 03:40: SLE at SPLASH

	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
	03:20 - 03:40 Talk		Untangling mechanized proofs SLE Clément Pit-ClaudelMIT CSAIL

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
SPLASH	GPCE GPCE/SLE Opening								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
SPLASH	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	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	GPCE GPCE/SLE Opening 09:00 - 09:40								GPCE 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								GPCE 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	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 Tool Demo: A Gamified Interactive Feedback System for Grammar Development 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	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 Tool Demo: A Gamified Interactive Feedback System for Grammar Development 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

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

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

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

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