SPLASH 2022
Mon 5 - Sat 10 December 2022 Auckland, New Zealand
Fri 9 Dec 2022 14:00 - 14:30 at Seminar Room LG004 - Onward! Papers and Essays Chair(s): Matthew Sotoudeh

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.

Fri 9 Dec

Displayed time zone: Auckland, Wellington change

13:30 - 15:00
Onward! Papers and EssaysCOVID Time Papers In Person at Seminar Room LG004
Chair(s): Matthew Sotoudeh Stanford University
13:30
30m
Talk
A Case Study in Language-Based Security: Building an I/O Library for Wyvern
COVID Time Papers In Person
Jennifer Fish Carnegie Mellon University, Darya Melicher Google, Jonathan Aldrich Carnegie Mellon University
Link to publication DOI
14:00
30m
Talk
How (Not) To Write Java Pointer Analyses After 2020
COVID Time Papers In Person
Manas Thakur IIT Bombay
Link to publication DOI
14:30
30m
Talk
Putting the Semantics into Semantic Versioning
COVID Time Papers In Person
Patrick Lam University of Waterloo, Jens Dietrich Victoria University of Wellington, David J. Pearce ConsenSys
Link to publication DOI