How (Not) To Write Java Pointer Analyses After 2020
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 DecDisplayed 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 30mTalk | 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 30mTalk | How (Not) To Write Java Pointer Analyses After 2020 COVID Time Papers In Person Manas Thakur IIT Bombay Link to publication DOI | ||
14:30 30mTalk | 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 |