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