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

We present a type system over language definitions that classifies parts of the operational semantics of a language in input, and
models a common language design organization.
The resulting typing discipline guarantees that the language at hand is automatically type sound.

Thanks to the use of types to model language design,
our type checker has a high-level view on the language being
analyzed and can report messages using the same jargon of language designers.

We have implemented our type system in the $\textsc{lang-n-check}$ tool, and we have applied it to derive the type soundness of several functional languages, including those with recursive types, polymorphism, exceptions, lists, sums, and several common types and operators.

Conference Day
Sun 15 Nov

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

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

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