Accepted Papers

Regular papers
C. Barrett, B. Goldberg, and L. Zuck	Run-Time Validation of Speculative Optimizations using CVC
F. Chen and G. Rosu	A General Framework for Merging Implementation and Specification
M.L.Crane and J. Dingel	Runtime Conformance Checking of Objects Using Alloy
K.J. Kristoffersen, Ch. Pedersen, H.R. Andersen	Runtime Verification of Timed LTL Using Disjunctive Normalized Equation Systems
O. Mondragon, A.Q. Gates, S. Roach	Prospec: Support for Elicitation and Formal Specification of Software Properties
N. Nethercote and J. Seward	Valgrind: A Program Supervision Framework
A. Sen and V. Garg	Partial Order Trace Analyzer (POTA) for Distributed Programs
K. Sen and G. Rosu	Generating Optimal Monitors for Extended Regular Expressions
L. Tan, J Kim, and I. Lee	Testing and Monitoring Model-based Generated Program
Short presentations
N. Nethercote and A. Mycroft	Redux: A Dynamic Flow Tracer
U. Sammapun, R. Sharykin, M. DeLap, M. Kim, and S. Zdancewic	Formalizing Java-MaC
L. Wang and S.D. Stoller	Run-Time Analysis for Atomicity

The proceedings will be published in Electronic Notes in Theoretical Computer Science
as Issue 89.2.