This program is tentative and subject to change.

Mon 21 Oct 2024 16:15 - 16:30 at Pacific B - Afternoon Two

Software systems should be explainable, that is, they should help us to answer questions while exploring, developing or using them. Textual documentation is a very weak form of explanation, since it is not causally connected to the code, so easily gets out of date. Tests, on the other hand, are causally connected to code, but they are also a weak form of explanation. Although some tests encode interesting scenarios that answer certain questions about how the system works, most tests tend to be uninteresting.

Examples are tests that are also factories for interesting system entities. Instead of simply succeeding or failing, an example returns the object under test so that it can be inspected, or reused to compose further tests. An example is causally connected to the system, is always live and tested, and can be embedded into live documentation. Although technically examples constitute just a tiny modification to test methods, their impact is potentially ground-breaking.

We show (i) how Example-Driven Development (EDD) enriches TDD with live programming, (ii) how examples can be molded with tiny tools to answer analysis questions, and (iii) how examples can be embedded within live documentation to make a system explainable.

This program is tentative and subject to change.

Mon 21 Oct

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

16:00 - 17:30
Afternoon TwoLIVE at Pacific B
16:00
15m
Talk
Diff-based interactive compiler debugging and testing
LIVE
Luyu Cheng Hong Kong University of Science and Technology, Lionel Parreaux HKUST (The Hong Kong University of Science and Technology)
Pre-print
16:15
15m
Talk
Example-driven development: bridging tests and documentation
LIVE
Oscar Nierstrasz feenk.com, Andrei Chiş feenk.com, Tudor Gîrba feenk.com
Link to publication DOI
16:30
15m
Talk
Live Programming a Live Programming Environment: An Experience Report
LIVE
Elliot Evans Polytope, Philippa Markovics Nextjournal, Martin Kavalar Nextjournal, Andrea Amantini Nextjournal, Jack Rusher Nextjournal
16:45
15m
Talk
Run, Build and Grow Small Systems Without Leaving Your Text Editor
LIVE
Albert Zak UAS Technikum Wien (2020-2024), Independent (2024-), Karl M. Göschka UAS Technikum Wien
17:00
15m
Talk
TAPE: From direct to programmatic and back
LIVE
Ian Clester Georgia Institute of Technology
17:15
15m
Day closing
Closing & Farewell
LIVE
Peter van Hardenberg Ink & Switch, Geoffrey Litt , Joshua Horowitz University of Washington