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

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

GPCE 2020 Program

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

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

Tracks

GPCE 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

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