SPLASH 2020
Sun 15 - Sat 21 November 2020 Online Conference
Wed 18 Nov 2020 00:00 - 00:20 at SPLASH - T-3-Onward
Tue 17 Nov 2020 12:00 - 12:20 at SPLASH - T-3-Onward

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 +12h
11:00 - 11:20
Talk
Onward! Essays
Manas ThakurIIT Mandi
11:20 - 11:40
Talk
Onward! Essays
Kalev AlpernasTel Aviv University, Yotam FeldmanTel Aviv University, Hila PelegUniversity of California, San Diego
11:40 - 12:00
Talk
Onward! Essays
Jens DietrichVictoria University of Wellington, David PearceVictoria University of Wellington, New Zealand, Patrick LamUniversity of Waterloo
Pre-print
12:00 - 12:20
Talk
Onward! Papers
23:00 - 00:20: T-3-OnwardOnward! Papers / Onward! Essays at SPLASH
23:00 - 23:20
Talk
Onward! Essays
Manas ThakurIIT Mandi
23:20 - 23:40
Talk
Onward! Essays
Kalev AlpernasTel Aviv University, Yotam FeldmanTel Aviv University, Hila PelegUniversity of California, San Diego
23:40 - 00:00
Talk
Onward! Essays
Jens DietrichVictoria University of Wellington, David PearceVictoria University of Wellington, New Zealand, Patrick LamUniversity of Waterloo
Pre-print
00:00 - 00:20
Talk
Onward! Papers