Papers on Architectural Support for Program Analysis:

Record and replay:

• Bugnet. ISCA 2005, Satish Narayanasamy, Gilles Pokam, and Brad Calder.
• Flight Data Recorder. ISCA 2003, M.Xu, R.Bodik, and M.Hill.
  • to be presented by Bita (betamaz@cs), May 23.

Invariant-Anomaly Detection

• Avio. ASPLOS 2006, Shan Lu and Y.Zhou.
  • presented by Mohit (tiwari@cs), Apr 11.

Memory Safety

• DieHard: probabilistic memory safety for unsafe languages. PLDI 2006, E.Berger and B.Zorn
  • presented by Susmit (susmit@cs), May 2.

Papers on Dynamic Analysis in Software Engineering:

• Checking and correcting behaviors of Java programs at runtime with JavaMOP, F. Chen, M. D'Amorim, and G. Rosu. In RV'05, volume 144(4) of ENTCS, 2005. (2007 TR here)
• Synthesizing Monitors for Safety Properties, K. Havelund and G. Rosu. Proceedings of the 8th International Conference on Tools and Algorithms for Construction and Analysis of Systems, Grenoble, France, Vol. 2280, pp. 342-356, April 2002.
• Goldilocks: Efficiently computing the happens-before relation using locksets, T. Elmas, S. Qadeer and S. Tasiran. Proceedings of the Workshop on Formal Approaches to Testing and Runtime Verification, 2006
  • by Fang (yuf@cs), April 25.
• Virtual time and global states of distributed systems, F. Mattern. In Proc. Workshop on Parallel and Distributed Algorithms, pages 215–226, North-Hollan/Elsevier, 1989.
  • presented by Terri (tchen@cs), May 16.
• Runtime Analysis of Atomicity for Multi-threaded Programs, Liqiang Wang and Scott D. Stoller. IEEE Transactions on Software Engineering, 32(2):93-110, February 2006.
  • presented by Graham (graham@cs), May 9.