Maikel Pennings Research Scientist College of Computing Georgia Institute of Technology CRB Building #239 801 Atlantic Drive Atlanta, Georgia, 30332 404 385 1737 pennings@cc.gatech.edu

Research

My primary research interest is in alias analysis. More specifically alias-analysis algorithms that perform on programs written in Java. Currently I am investigating the impact on the efficiency and precision of introducing various kinds of context to the alias-analysis algorithms. I am also interested in data-flow analysis for Java. Currently I am implementing a generic data-flow and slicing framework for Java. The framework uses and will be part of the JABA system developed by the Aristotle Research Group.

Publications

Conference/Workshop Publications

• Evaluating the Precision of Static Reference Analysis Using Profiling.
  Donglin Liang, Maikel Pennings, and Mary Jean Harrold.
  Proceedings of International Symposium on Software Testing and Analysis (ISSTA'02), Jul. 2002, Rome, Italy, pp 22--32
• Regression Test Selection for Java Software.
  M.J. Harrold, J. Jones, T. Li, D. Liang, A. Orso, M. Pennings, S. Sinha, S. Spoon, and A. Gujarathi,
  Proceedings of the ACM Conference on Object-Oriented Programming,Systems, Languages, and Applications (OOPSLA 2001), October 2001, Tampa, FL, USA, pp. 312-326.
• Extending and Evaluating Flow-Insensitive and Context-Insensitive Points-to Analyses for Java.
  Donglin Liang, Maikel Pennings, and Mary Jean Harrold.
  Proceedings of the ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering (PASTE'01), June, 2001, Snowbird, Utah, USA, pp. 73--79.

Masters Thesis

Here is the PDF version of my Masters thesis titled "Alias Analysis for Java, Design and Evaluation" I had to write as part of fulfilling my Master degree requirements at Delft University of Technology. For a PostScript version please click here

See my personal web page at