Call for Papers

AADEBUG 2007

Seventh International Symposium on Automated and

Analysis-Driven Debugging

Technische Universitat, Graz, Austria

April 23 – April 25, 2007

http://www.ist.tugraz.at/aadebug07

The need for automated debugging techniques continues to grow with the increasing importance of robust and secure software, the growing complexity of applications and changes in programming languages and hardware architecture. ADDEBUG is a forum where researchers, developers, educators, and practitioners can exchange ideas and information on the latest practical and experimental work in the design and development of automation for debugging. The AADEBUG Symposium seeks original research papers that focus on the design, development, implementation and use of debugging techniques. Research papers should describe original, unpublished (and not submitted) results of theoretical, empirical, conceptual, or experimental research. We also seek experience papers and demonstrations of tools and research prototypes.

Topics of interest for the symposium include (but not limited to):

Automated debugging	Assertion-based debugging
Debugging for different programming paradigms (e.g., sequential, concurrent, logic programming, functional grid, object oriented, domain specific language, etc.)	Techniques for debugging applications in various execution environments (e.g., real-time, distributed, wireless, mobile, etc.)
Performance debugging	Static and dynamic analyses
Monitoring	Knowledge-based debugging
Record and replay	Debugging in the field
Testing techniques to help debugging	Declarative debugging

Accepted papers, reports and demonstrations will be included in the paper proceedings published by ACM with ISBM and in the ACM Digital Library.

Submissions of Research, Experience and Demo Papers

Submissions must be clearly marked as research, experience or demo contributions. One author of each paper submitted must be committed to attend the symposium and present the paper. Research papers should describe a novel contribution to debugging and should carefully support claims of novelty with citations to the relevant literature. Papers that describe an industrial experience should contain the environment, methodology used and results or lessons learned. Research papers and experience reports should be no longer than 10 single spaced pages with 11 point font should include an abstract.

Demo descriptions should explain the purpose and implementation of a debugging tool. These descriptions should be no longer than 5 single spaced paper with 11 point font and should include an abstract.

All papers, reports and descriptions should be in PDF format and be submitted at http://www.easychair.org/AADEBUG07.

Important Dates

Paper, Experience and Demo submission Friday, Oct. 27, 2006 -12:00 am EST (DEADLINE EXTENDED!!)

Notification Thursday, January 18, 2007

Final Version due February 23, 2007

Conference Chair Program Chair

Franz Wotawa Mary Lou Soffa

Technische Universitaet, Graz, Austria University of Virginia, USA

Program Committee

Koen DeBosschere, University of Gent, Belgium

Jong-Deok Choi, IBM T. J. Watson Research Center, USA 

Bruce Childers, University of Pittsburgh, USA

Gerhard Friedrich, University Klagenfurt, Austria

Tibor Gyimothy, University of Szeged, Hungary

Rajiv Gupta, University of Arizona, USA

Gerda Janssens, Katholieke Universiteit Leuven, Belgium

Donglin Liang, University of Minnesota, USA 
Calvin Lin, University of Texas at Austin, USA

Bill Pugh, University of Maryland, USA

Markus Stumptner, University of South Australia, Australia

Yasushi Saito, Google, USA

Shmuel Ur, IBM, Haifa, Israel

Andreas Zeller, Saarland University, Germany

Jianjun Zhao, Shanghai Jiao Tong University, China