GPCE 2020
Sun 15 - Fri 20 November 2020 Online Conference
co-located with SPLASH 2020

Conference Dates
Conference Dates are in time zone (GMT-06:00) Central Time (US & Canada), and may differ from the viewed time zone.
Rooms
Tracks
Badges
Your Program
You're viewing the program in a time zone which is different from your device's time zone - change time zone

Conference Day
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): Juan de LaraAutonomous University of Madrid, Laurence TrattKing's College London, Martin ErwigOregon State University, Jeff GrayUniversity of Alabama, Ralf LaemmelFacebook London
09:00
40m
Other
GPCE/SLE Opening
GPCE

Link to publication
09:40 - 10:20
SLE / GPCE at SPLASH-III +12h
Chair(s): Juan de LaraAutonomous University of Madrid, Jeff GrayUniversity of Alabama, Laurence TrattKing's College London
09:40
20m
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
20m
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
SLE / GPCE 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
20m
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
20m
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
20m
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
20m
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
15:00 - 16:20
SLE / GPCE at SPLASH-III +12h
Chair(s): Jonathan AldrichCarnegie Mellon University
15:00
20m
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
20m
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
20m
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
20m
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
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
40m
Other
GPCE/SLE Opening
GPCE

Link to publication
21:40 - 22:20
SLE / GPCE at SPLASH-III
Chair(s): Laurence TrattKing's College London, Jeff GrayUniversity of Alabama, Juan de LaraAutonomous University of Madrid
21:40
20m
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
20m
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
SLE / GPCE at SPLASH-III
Chair(s): Sheng ChenUniversity of Louisiana at Lafayette
23:00
20m
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
20m
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
20m
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
20m
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

Conference Day
Mon 16 Nov

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

03:00 - 04:20
SLE / GPCE at SPLASH-III
Chair(s): Erwan BousseUniversity of Nantes
03:00
20m
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
20m
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
20m
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
20m
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
07:00 - 08:20
GPCE / SLE at SPLASH-III +12h
Chair(s): Juan de LaraAutonomous University of Madrid
07:00
20m
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
20m
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
20m
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
20m
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
19:00 - 20:20
SLE / GPCE at SPLASH-III
Chair(s): David J. PearceVictoria University of Wellington, New Zealand
19:00
20m
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
20m
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
20m
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
20m
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