Dynamic Analysis -
Jan, Kalyan

``Cost effective dynamic program slicing," Xianghy Zhang, Rajiv Gupta, PLDI 2004.

``Resolving uncertainties during trace analysis," Alexander Egyed, FSE 2004.

``Dynamic program analysis - Isolating cause-effect chains from computer programs," Andreas Zeller, FSE 2002.

``Using redundancies to find errors," Yichen Xie, Dawson Engler, FSE 2002.

``Improving program slicing with dynamic points-to data," Markus Mock, Darren Atkinson, Craig Chambers, Susan Eggers, FSE 2002.

``Static and dynamic analysis of call chains in Java," Atanas Rountev, Scott Kagan, Michael Gibas, ISSTA 2004.

``Using Compressed Bytecode Traces for Slcing Java Programs," Tao Wang, Abhik ROychoudhury, ICSE 2004.

``A Fast Assembly Level Reverse Execution Method via Dynamic Slicing," Tankut Akgul, Vincent Mooney III, Santosh Pande, ICSE 2004.

Parallelizing the Analysis

Incremental Analysis

Program Analysis for Solving Security-related Problems -
Antony, Emily

``Dynamic path-based software watermarking," C. Collberg, E. Carter, S. Debray, A. Huntwork, J. Kececioglu, C. Linnn, M. Stepp, PLDI 2004.

Program Analysis for Mobile Devices -
Pravesh, Liang

``Parametric analysis for adaptive computation offloading," Cheng Wang, Zhiyuan Li, PLDI 2004.

Program Analysis for Software Engineering Tasks -
Madhusri, Divya
Note: others could do this same general topic in different directions, based on papers below as different starting points.

``PSE: explaining program failures via postmortem static analysis," Roman Manevich, Manu Sridharan, Stephen Adams, FSE 2004.

``Tracking pointers with path and context sensitivity for bug detection in C programs," Benjamin Livshits, Monica Lam, FSE 2003.

``ARCHER: using symbolic, path-sensitive analysis to detect memory access errors,"Yichen Xie, Andy Chou, Dawson Engler, FSE 2003.

``Software validation via scalable path-sensitive value flow analysis," Nurit Dor, Stephen Adams, Manuvir Das, Zhe Yang, ISSTA 2004.

``Active learning for automatic classification of software behavior," James Bowring, James Rehg, Mary Jean Harrold, ISSTA 2004.

Program Analysis for Aspect-oriented Programming -

A classification system and analysis for aspect-oriented programs," Martin Rinard, Alexandru Salcianu, Suhabe Bugrara, FSE 2004.

Program Analysis for Parallel Programs -
Vikram, Ryan

``Context-sensitive slicing of concurrent programs," Jens Krinke, FSE 2003.

``Slicing tools for synchronous reactive programs, S. Ramesh, A. Kulkarni, V. Kamat, ISSTA 2004.

``Deadline analysis of interrupt-driven software," Dennis Brylow, Jens Palsberg, FSE 2003.

``Runtime safety analysis of multithreaded programs," Roushik Sen, Grigore Rosu, Gul Agha, FSE 2003.
Chris, Eric

Embedded Systems

Real-time Systems

Mobile Code

Dynamic compilation and dynamic optimization
Weirong, Songjie

Large applications and components