The Proceedings of the Resolve Workshop 2006 have been published as a Technical Report by Virginia Tech's Department of Computer Science. The proceedings are available as a single PDF file. In addition, the papers accepted for the workshop can also be accessed individually below.

Paolo Bucci, Wayne D. Heym, The Ohio State University,
Joseph E. Hollingsworth, Indiana University Southeast,
Timothy Long, and Bruce W. Weide, The Ohio State University
An Infrastructure to Study and Address Students’ Difficulties with Pointers

Stephen H. Edwards, Virginia Tech
Using Industrial Tools to Test and Grade Resolve/C++ Programs

Joseph E. Hollingsworth, Indiana University Southeast, and
Bruce W. Weide, The Ohio State University
Some Preliminary Rules of Engagement for Java

Heather Keown, Clemson University
Automation of Verification Condition Generation for a Verifying Compiler

Joan Krone, Denison University, and
William F. Ogden, The Ohio State University
Software Verification Is Not Dead, But It Needs a New Way to Express Mathematics

Kimberly Roche, Clemson University
Issues in the Creation of an Automated Prover

Murali Sitaraman, Clemson University
Mechanical Verification of Parallel Programs

Roy Patrick Tan, Virginia Tech
An Overview of the Sulu Programming Language

Matthew Thornton, Virginia Tech
Behavioral Specification of Multiparadigm Programs

Nighat Yasmin and Murali Sitaraman, Clemson University
Design Issues in Developing Data Abstractions for Evolving Graphs

Jyotindra Vasudeo and Gregory Kulczycki, Virginia Tech
Walking the Line between Java and Resolve: Tako and the Verification Grand Challenge