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

Despite being a very old discipline, pointer analysis still attracts several research papers every year in premier programming language venues. While a major goal of contemporary pointer analysis research is to improve its efficiency without sacrificing precision, we also see works that introduce novel ways of solving the problem itself. What does this mean? Research in this area is not going to die soon.

I too have been writing pointer analyses of various kinds, specially for object-oriented languages such as Java. While some standard ways of writing such analyses are clear, I have realized that there are an umpteen number of nooks and pitfalls that make the task difficult and error prone. In particular, there are several misconceptions and undocumented practices, being aware of which would save significant research time. On the other hand, there are lessons from my own research that might go a long way in writing correct, precise and efficient pointer analyses, faster. This paper summarizes some such learnings, with a hope to help readers beat the state-of-the-art in (Java) pointer analysis, as they move into their research careers beyond 2020.

Assistant Professor at Indian Institute of Technology Mandi, India.

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

11:00 - 12:20
T-3-OnwardOnward! Essays / Onward! Papers at SPLASH-III +12h
Chair(s): Stephen KellUniversity of Kent, William CookUniversity of Texas at Austin
11:00
20m
Talk
How (Not) to Write Java Pointer Analyses after 2020
Onward! Essays
Manas ThakurIIT 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 AlpernasTel Aviv University, Yotam M. Y. FeldmanTel Aviv University, Hila PelegUniversity of California at San Diego
Link to publication DOI
11:40
20m
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
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 LopesUniversity of California, Irvine
23:00
20m
Talk
How (Not) to Write Java Pointer Analyses after 2020
Onward! Essays
Manas ThakurIIT 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 AlpernasTel Aviv University, Yotam M. Y. FeldmanTel Aviv University, Hila PelegUniversity of California at San Diego
Link to publication DOI
23:40
20m
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
20m
Talk
Demystifying Dependence
Onward! Papers
Link to publication