SLE 2021
Sun 17 - Tue 19 October 2021 Chicago, Illinois, United States
co-located with SPLASH 2021
Sun 17 Oct 2021 09:20 - 09:50 at Zurich C - GPCE/SLE Session 1 Chair(s): Emma Söderberg
Sun 17 Oct 2021 17:20 - 17:50 at Zurich C - GPCE/SLE Session 1 Chair(s): Dimitris Kolovos

Programming language design research has traditionally focused primarily on theoretical properties and performance considerations. But programming languages are interfaces that programmers use to write programs. Recent work has begun to explore how to integrate interdisciplinary methods, including qualitative and quantitative user studies, into the language design process. I’ll describe how we applied such methods in two different designs, Obsidian and Glacier, some of the insights we gained, and discuss the larger impact these emerging methods can have on the field.

Jonathan Aldrich is a Professor of Computer Science at Carnegie Mellon University. He teaches courses in programming languages, software engineering, and program analysis for quality and security. Prof. Aldrich directed CMU’s Software Engineering Ph.D. program from 2013-2019.

Dr. Aldrich’s research centers on programming languages and type systems that are deeply informed by software engineering considerations and human factors. His research contributions include verifying the correct implementation of an architectural design, modular formal reasoning about code, and API protocol specification and verification. His notable awards include an NSF CAREER award (2006), the Dahl-Nygaard Junior Prize (2007), the DARPA Computer Science Study Group, and an ICSE most influential paper award (2012). He served as general chair (2015), program chair (2017), and steering committee chair (2017-2019) of SPLASH and OOPSLA. Aldrich holds a bachelor’s degree in Computer Science from Caltech and a Ph.D. from the University of Washington.

Sun 17 Oct

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

09:00 - 10:20
GPCE/SLE Session 1GPCE / SLE at Zurich C +8h
Chair(s): Emma Söderberg Lund University
09:00
20m
Day opening
SLE/GPCE Joint WelcomeVirtual
GPCE
Coen De Roover Vrije Universiteit Brussel, Emma Söderberg Lund University, Dimitris Kolovos University of York
09:20
30m
Keynote
SLE Keynote - Integrating Usability into Programming Language DesignIn-PersonKeynote
SLE
Jonathan Aldrich Carnegie Mellon University
09:50
15m
Talk
Monilogging for Executable Domain-Specific LanguagesVirtual
SLE
Dorian Leroy University of Rennes 1, Inria, France, Benoît Lelandais CEA/DAM/DIF, France, Marie-Pierre Oudot CEA/DAM/DIF, France, Benoit Combemale University of Rennes; Inria; IRISA
Pre-print
10:05
8m
Talk
Vision: The Next 700 Language WorkbenchesVirtual
SLE
Mikhail Barash University of Bergen
10:13
7m
Live Q&A
Discussion, Questions, Answers
GPCE

17:00 - 18:20
GPCE/SLE Session 1SLE / GPCE at Zurich C
Chair(s): Dimitris Kolovos University of York
17:00
20m
Day opening
SLE/GPCE Joint WelcomeVirtual
GPCE
Coen De Roover Vrije Universiteit Brussel, Emma Söderberg Lund University, Dimitris Kolovos University of York
17:20
30m
Keynote
SLE Keynote - Integrating Usability into Programming Language DesignIn-PersonKeynote
SLE
Jonathan Aldrich Carnegie Mellon University
17:50
15m
Talk
Monilogging for Executable Domain-Specific LanguagesVirtual
SLE
Dorian Leroy University of Rennes 1, Inria, France, Benoît Lelandais CEA/DAM/DIF, France, Marie-Pierre Oudot CEA/DAM/DIF, France, Benoit Combemale University of Rennes; Inria; IRISA
Pre-print
18:05
8m
Talk
Vision: The Next 700 Language WorkbenchesVirtual
SLE
Mikhail Barash University of Bergen
18:13
7m
Live Q&A
Discussion, Questions, Answers
GPCE