HOWARD-60: Editor's PrefaceThis book is a Festschriift volume dedicated to Howard Barringer's 60th birthday. It was created from revised papers presented at the Higher-Order Workshop on Automated Runtime verification and Debugging (HOWARD-60), held at the University of Manchester on December 20, 2011. HOWARD-60 brought scientists from both academia and industry together to debate how to monitor, analyse and guide the execution of programs to ensure their correctness. The ultimate longer term goal is to investigate the use of lightweight formal methods applied during the execution of programs from the following two points of view. On the one hand, whether the runtime application of formal methods is a viable complement to the traditional methods of proving programs correct before their execution, such as model checking and theorem proving. On the other hand, whether formality improves traditional ad-hoc monitoring techniques used in performance monitoring, distributed debugging, etc. Dynamic program monitoring and analysis can occur during testing or during operation. But most importantly, the workshop was mainly attended by friends and colleagues of Howard Barringer. For this reason, we saw many talks taking a lighthearted, fun, or historical perspective on research ideas related to Howard's long career. The workshop programme included the following talks.
HOWARD-60 was partially sponsored by the Centre for Interdisciplinary Computational and Dynamical Analysis at the University of Manchester and hosted at the University of Manchester. This book includes research papers and an article about Howard written by Klaus Havelund with the help of Cliff Jones. Margarita Korovina
Andrei Voronkov February 8, 2014
Novosibirsk and Manchester |