Write a Blog >>
APLAS 2021
Sun 17 - Fri 22 October 2021 Chicago, Illinois, United States
co-located with SPLASH 2021

This program is tentative and subject to change.

Mon 18 Oct 2021 11:05 - 11:20 at Zurich D - Language Design Chair(s): Sergio Mover
Mon 18 Oct 2021 19:05 - 19:20 at Zurich D - Language Design (mirror) Chair(s): Andreea Costea

Program traces are a sound basis for explaining the dynamic behavior of programs. Alas, program traces can grow big very quickly, even for small programs, which diminishes their value as explanations.

In this paper we demonstrate how the systematic simplification of traces can yield succinct program explanations. Specifically, we introduce operations for transforming traces that facilitate the abstraction of details. The operations are the basis of a query language for the definition of trace filters that can adapt and simplify traces in a variety of ways.

The generation of traces is governed by a variant of Call-By-Value semantics which specifically supports parsimony in trace representations. We show that our semantics is a conservative extension of Call-By-Value that can produce smaller traces and that the evaluation traces preserve the explanatory content of proof trees at a much smaller footprint.

This program is tentative and subject to change.

Mon 18 Oct

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

10:50 - 12:10
Language DesignResearch Papers at Zurich D +8h
Chair(s): Sergio Mover Ecole Polytechnique
10:50
15m
Talk
A Typed Programmatic Interface to Contracts on the BlockchainVirtual
Research Papers
Thi Thu Ha Doan University of Freiburg, Peter Thiemann University of Freiburg, Germany
11:05
15m
Talk
Adaptable Traces for Program ExplanationsVirtual
Research Papers
Divya Bajaj Oregon State University, Martin Erwig Oregon State University, Danila Fedorin Oregon State University, Kai Gay Oregon State University
11:20
15m
Talk
Latent Effects for Reusable Language ComponentsVirtual
Research Papers
Birthe van den Berg KU Leuven, Casper Bach Poulsen Delft University of Technology, Tom Schrijvers KU Leuven, Nicolas Wu Imperial College London, UK
11:35
15m
Talk
The Choice Construct in the Soufflé LanguageVirtual
Research Papers
Xiaowen Hu The University of Sydney, Joshua Karp The University of Sydney, David Zhao The University of Sydney, Abdul Zreika The University of Sydney, Xi Wu The University of Sydney, Bernhard Scholz University of Sydney
11:50
20m
Live Q&A
Q&A and discussionVirtual
Research Papers

18:50 - 20:10
Language Design (mirror)Research Papers at Zurich D
Chair(s): Andreea Costea School of Computing, National University Of Singapore
18:50
15m
Talk
A Typed Programmatic Interface to Contracts on the BlockchainVirtual
Research Papers
Thi Thu Ha Doan University of Freiburg, Peter Thiemann University of Freiburg, Germany
19:05
15m
Talk
Adaptable Traces for Program ExplanationsVirtual
Research Papers
Divya Bajaj Oregon State University, Martin Erwig Oregon State University, Danila Fedorin Oregon State University, Kai Gay Oregon State University
19:20
15m
Talk
Latent Effects for Reusable Language ComponentsVirtual
Research Papers
Birthe van den Berg KU Leuven, Casper Bach Poulsen Delft University of Technology, Tom Schrijvers KU Leuven, Nicolas Wu Imperial College London, UK
19:35
15m
Talk
The Choice Construct in the Soufflé LanguageVirtual
Research Papers
Xiaowen Hu The University of Sydney, Joshua Karp The University of Sydney, David Zhao The University of Sydney, Abdul Zreika The University of Sydney, Xi Wu The University of Sydney, Bernhard Scholz University of Sydney
19:50
20m
Live Q&A
Q&A and discussionVirtual
Research Papers

Hide past events