Write a Blog >>
SLE 2020
Sun 15 - Fri 20 November 2020 Online Conference
co-located with SPLASH 2020
Sun 15 Nov 2020 15:00 - 15:20 at SPLASH-III - Chair(s): Jonathan Aldrich
Mon 16 Nov 2020 03:00 - 03:20 at SPLASH-III - Chair(s): Erwan Bousse

GUIs often contain structures that are incidental, not properly manipulatable through well-defined APIs. For example, modifying a list of items in a GUI's model may require extraneous bookkeeping operations in the view, such as adding and removing event handlers, and updating the menu structure. Observing GUIs in practice gives an indication that programmers may find it difficult or tedious to implement complete and convenient sets of operations for manipulating various structures: useful operations for adding, inserting, swapping, or reordering elements are often missing, inconsistent, or limited. This paper introduces a DSL for programming operations that manipulate such incidental structures. The programmer specifies structures via relations between elements, concretely by defining methods that unestablish and establish a relation. This gives the programmer an ability to describe structural transformations via rules that control which relations should hold before and after a rule is applied. The API for structure manipulation is generated from these rules. Our DSL can give an abstract view on ad-hoc structures, making it easier to provide the necessary set of operations for their convenient manipulation.

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

15:00 - 16:20: GPCE / SLE at SPLASH-III +12h
Chair(s): Jonathan AldrichCarnegie Mellon University
15:00 - 15:20
Talk
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
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
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
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

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

03:00 - 04:20: GPCE / SLE at SPLASH-III
Chair(s): Erwan BousseUniversity of Nantes
03:00 - 03:20
Talk
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
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
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
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