Call for Participation

Workshop Title:  RESOLVE 2009:  Software Verification — the Cornerstone of Reuse

http://www.cse.ohio-state.edu/rsrg/RESOLVE-2009

September 27, 2009

Falls Church, Virginia USA

Purpose:  To serve as a forum for researchers and educators interested in the RESOLVE approach to software reuse to discuss recent advances, trends, and concerns in formal specification and verification of software designed for reuse, to establish a mutual understanding of emerging research issues, and to explore possible methods for addressing those issues, as well as ideas for introducing these concepts into the classroom. 

Topics of Interest:

• Formal Specification of Software Functionality
• Formal Specification of Software Performance
• The Verifying Compiler Grand Challenge
• Verifiable Programming Language Constructs
• Automation of Correctness Proofs
• Using Formal Semantics as Specifications for Compiler and Verifier Correctness
• Modular Approaches to Verification
• Implementation Issues for a Verifying Compiler
• Interdependencies between Programming Languages and Software Engineering
• Modular Organization of Mathematical Theories to Support Reuse
• Automated Proof Checking for Mathematical Library Units
• Pedagogical Techniques for Presenting Formal Methods in the Context of Reuse

Important Dates

Submissions Due:  July 15, 2009

Acceptance Notification:  August 10, 2009

Camera-ready Due:  September 1, 2009

Workshop:  September 27, 2009

Organizers:

Joan Krone (Workshop Chair):  Denison University

Wayne Heym:  The Ohio State University

Joe Hollingsworth: Indiana University, Southeast

Keynote Presenter:

William F. Ogden:   The Ohio State University

Papers

Submissions take the form of short position papers.  They should be targeted at raising a question or framing an issue for discussion during the workshop.  The papers are limited to 2500 words (not including figures and references).  The papers should conform to the two column IEEE Transactions style [http://www.ieee.org/web/publications/authors/transjnl/index.html], Microsoft Word format preferred, and should be submitted via email to krone@denison.edu.  New instruction as of noon EDT on Tuesday, July 21, 2009: please submit two electronic forms of your submission: one containing author information and one without.  The proceedings will be published electronically.

If you would like to participate but do not wish to submit a paper, please send a note to Joan Krone (krone@denison.edu).