SPLASH 2020
Sun 15 - Sat 21 November 2020 Online Conference
Tue 17 Nov 2020 11:40 - 12:00 at SPLASH-III - T-3-Onward Chair(s): William Cook, Stephen Kell
Tue 17 Nov 2020 23:40 - 00:00 at SPLASH-III - T-3-Onward Chair(s): Crista Lopes

The long-standing aspiration for software reuse has made astonishing strides in the past few years. Many modern software development ecosystems now come with rich sets of publicly-available components contributed by the community. Downstream developers can leverage these upstream components, boosting their productivity.

However, components evolve at their own pace. This imposes obligations on and yields benefits for downstream developers, especially since changes can be breaking, requiring additional downstream work to adapt to. Upgrading too late leaves downstream vulnerable to security issues and missing out on useful improvements; upgrading too early results in excess work. Semantic versioning has been proposed as an elegant mechanism to communicate levels of compatibility, enabling downstream developers to automate dependency upgrades.

While it is questionable whether a version number can adequately characterize version compatibility in general, we argue that developers would greatly benefit from tools such as semantic version calculators to help them upgrade safely. The time is now for the research community to develop such tools: large component ecosystems exist and are accessible, component interactions have become observable through automated builds, and recent advances in program analysis make the development of relevant tools feasible. In particular, contracts (both traditional and lightweight) are a promising input to semantic versioning calculators, which can suggest whether an upgrade is likely to be safe.

Tue 17 Nov

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

11:00 - 12:20
T-3-OnwardOnward! Essays / Onward! Papers at SPLASH-III +12h
Chair(s): William Cook University of Texas at Austin, Stephen Kell University of Kent
11:00
20m
Talk
How (Not) to Write Java Pointer Analyses after 2020
Onward! Essays
Manas Thakur IIT Mandi
Link to publication DOI Pre-print
11:20
20m
Talk
The Wonderful Wizard of LoC: Paying Attention to the Man behind the Curtain of Lines-of-Code Metrics
Onward! Essays
Kalev Alpernas Tel Aviv University, Yotam M. Y. Feldman Tel Aviv University, Hila Peleg University of California at San Diego
Link to publication DOI
11:40
20m
Talk
Putting the Semantics into Semantic Versioning
Onward! Essays
Patrick Lam University of Waterloo, Jens Dietrich Victoria University of Wellington, David J. Pearce Victoria University of Wellington, New Zealand
Link to publication DOI Pre-print
12:00
20m
Talk
Demystifying Dependence
Onward! Papers
Link to publication
23:00 - 00:20
T-3-OnwardOnward! Papers / Onward! Essays at SPLASH-III
Chair(s): Crista Lopes University of California, Irvine
23:00
20m
Talk
How (Not) to Write Java Pointer Analyses after 2020
Onward! Essays
Manas Thakur IIT Mandi
Link to publication DOI Pre-print
23:20
20m
Talk
The Wonderful Wizard of LoC: Paying Attention to the Man behind the Curtain of Lines-of-Code Metrics
Onward! Essays
Kalev Alpernas Tel Aviv University, Yotam M. Y. Feldman Tel Aviv University, Hila Peleg University of California at San Diego
Link to publication DOI
23:40
20m
Talk
Putting the Semantics into Semantic Versioning
Onward! Essays
Patrick Lam University of Waterloo, Jens Dietrich Victoria University of Wellington, David J. Pearce Victoria University of Wellington, New Zealand
Link to publication DOI Pre-print
00:00
20m
Talk
Demystifying Dependence
Onward! Papers
Link to publication