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 |