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

Programmers are told “depend on interfaces, not implementations.” But, given a program, is it possible even to assess objectively whether such advice has been followed?

Programmers frequently talk in ways like this about dependence, but the very term, like many used in software engineering, has hitherto eluded precise definition. In this work, we resolve a variety of confusions about dependence, and present a formal definition unifying multiple varieties of software dependence, grounded in Halpern and Pearl’s theory of actual causation. This definition is parameterized by the formal system characterizing the property of interest, and by constraints on “reasonable changes” to the program. By picking different choices of formal system, one can specialize our definition to characterize dynamic dependence (slicing), static dependence (correctness), and dependence of performance properties. Overall, our work provides a path to making conversations about software dependence fully objective, and might serve as a basis for future work automatically checking forms of dependence which were previously too abstract or high-level to be candidates for tools.

Tue 17 Nov
Times are displayed in time zone: Central Time (US & Canada) change

11:00 - 12:20: T-3-OnwardOnward! Papers / Onward! Essays at SPLASH-III +12h
Chair(s): Stephen KellUniversity of Kent, William CookUniversity of Texas at Austin
11:00 - 11:20
Talk
How (Not) to Write Java Pointer Analyses after 2020
Onward! Essays
Manas ThakurIIT Mandi
Link to publication DOI Pre-print
11:20 - 11:40
Talk
The Wonderful Wizard of LoC: Paying Attention to the Man behind the Curtain of Lines-of-Code Metrics
Onward! Essays
Kalev AlpernasTel Aviv University, Yotam M. Y. FeldmanTel Aviv University, Hila PelegUniversity of California at San Diego
Link to publication DOI
11:40 - 12:00
Talk
Putting the Semantics into Semantic Versioning
Onward! Essays
Patrick LamUniversity of Waterloo, Jens DietrichVictoria University of Wellington, David J. PearceVictoria University of Wellington, New Zealand
Link to publication DOI Pre-print
12:00 - 12:20
Talk
Demystifying Dependence
Onward! Papers
Link to publication
23:00 - 00:20: T-3-OnwardOnward! Papers / Onward! Essays at SPLASH-III
Chair(s): Crista LopesUniversity of California, Irvine
23:00 - 23:20
Talk
How (Not) to Write Java Pointer Analyses after 2020
Onward! Essays
Manas ThakurIIT Mandi
Link to publication DOI Pre-print
23:20 - 23:40
Talk
The Wonderful Wizard of LoC: Paying Attention to the Man behind the Curtain of Lines-of-Code Metrics
Onward! Essays
Kalev AlpernasTel Aviv University, Yotam M. Y. FeldmanTel Aviv University, Hila PelegUniversity of California at San Diego
Link to publication DOI
23:40 - 00:00
Talk
Putting the Semantics into Semantic Versioning
Onward! Essays
Patrick LamUniversity of Waterloo, Jens DietrichVictoria University of Wellington, David J. PearceVictoria University of Wellington, New Zealand
Link to publication DOI Pre-print
00:00 - 00:20
Talk
Demystifying Dependence
Onward! Papers
Link to publication