Challenges and New Approaches to Program Analysis

@inproceedings{Lam2003ChallengesAN,
  title={Challenges and New Approaches to Program Analysis},
  author={Monica S. Lam},
  booktitle={IEEE PACT},
  year={2003}
}
Program analysis, originally developed for code optimization, have recently been used to automate parallelization, debugging, security vulnerability detection, and program comprehension. These more complex tasks require that deep global knowledge, such as pointer alias analysis and path-sensitive information, be extracted across whole programs. This talk discusses the challenges we face and some new approaches to these problems.