GPCE 2020
Sun 15 - Fri 20 November 2020 Online Conference
co-located with SPLASH 2020
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
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
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

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