Replied: Tue, 22 Oct 2002 12:24:09 -0500 Replied: "John J. Barton" Return-Path: John_Barton@hpl.hp.com Delivery-Date: Tue Oct 22 11:44:25 2002 Return-Path: Received: from eldorado.uits.indiana.edu (eldorado.uits.indiana.edu [129.79.1.70]) by grids.ucs.indiana.edu (8.10.2+Sun/8.10.2) with ESMTP id g9MGiPr09540 for ; Tue, 22 Oct 2002 11:44:25 -0500 (EST) Received: from deimos.hpl.hp.com (deimos.hpl.hp.com [192.6.19.190]) by eldorado.uits.indiana.edu (8.12.1/8.12.1/IUPO) with ESMTP id g9MGj8ZI022764 for ; Tue, 22 Oct 2002 11:45:08 -0500 (EST) Received: from hplms2.hpl.hp.com (hplms2.hpl.hp.com [15.0.152.33]) by deimos.hpl.hp.com (8.9.3 (PHNE_24419)/HPL-PA Relay) with ESMTP id JAA08385 for ; Tue, 22 Oct 2002 09:45:07 -0700 (PDT) Received: from hewlett-7ourpl2.hpl.hp.com (dhcp-1U-186.hpl.hp.com [15.4.95.186]) by hplms2.hpl.hp.com (8.10.2/8.10.2 HPL-PA Hub) with ESMTP id g9MGj6V06762 for ; Tue, 22 Oct 2002 09:45:06 -0700 (PDT) Message-Id: <5.1.1.6.2.20021022093720.0265ddb0@hplex1.hpl.hp.com> X-Sender: jjbarton@hplex1.hpl.hp.com X-Mailer: QUALCOMM Windows Eudora Version 5.1.1 Date: Tue, 22 Oct 2002 09:45:07 -0700 To: gcf@indiana.edu From: "John J. Barton" Subject: Re: Request to review a paper C653: Parallel Program Debugging by contract In-Reply-To: <3DB5424E.3060207@grids.ucs.indiana.edu> Mime-Version: 1.0 Content-Type: text/html; charset="us-ascii" Content-Length: 10234 Hi Geoffery. Sorry but I stopped working in CASE area four years ago
and anyway parallel systems was not an area I knew. I suggest
Jong-Deok Choi jdchoi@ibm.comor
Ton Ngo, ton@us.ibm.comJohn.

At 07:19 AM 10/22/2002 -0500, you wrote:

Tony Hey suggested to me that you might be able to help me here!
Thank you for considering this request
Geoffrey Fox

I thought you might be able to provide me a referee report by November 26 2002 on the paper
C653: Parallel Program Debugging by contract
You can find this paper at
http://aspen.ucs.indiana.edu/CCPEwebresource/c653huband/c653hubands.pdf

Abstract:Most message passing parallel programs employ logical process
topologies with regular characteristics to support their computation. Since
process topologies define the relationship between processes, they present
an excellent opportunity for debugging. The primary benefit is that process
behaviours can be correlatred, allowing expected behaviour to be abstracted
and identified, and undesirable behaviour reported. However topology support
is inadequate in most message parallel programming environments, including
the popular Message Passing Interface (MPI) and the Parallel Virtual Machine
(PVM). Programmers are forced to implement topology support themselves,
increasing the possibility of introducing errors.
This paper introduces a trace- and topology-based contract-like approach to
parallel program debugging, driven by four distinct types of specification.
Trace interpretation specifications allow trace data from a variety of
sources and message passing libraries.to be interpreted in an abstract
manner, and topology specifications address the lack of explicit topology
knowledge, and facilitate the construction of user-consistent views of the
debugging activity. Loop specifications express topology-consistent views of
the debugging activity, allowing conformance testing of associated trace
data, and error specifications specify undesirable event interactions,
including mismatched message sizes and mismatched communication pairs. Both
loop and error specifications are simplified by having knowledge of the
actual topologies being debugged.
The wealth of new debugging views and techniques made possible by our
contract-like approach are also discussed.

Authors: Simon Huband and Chris McDonald
Department of Computer Science and Software Engineering, The University of
Western Australia, Crawley, Western Australia 6009, Australia.

I have switched the journal to completely electronic form and hope you could email
me a report. Please send a short email if you can or cannot do this

Please do this in "free form" mentioning paper metadata above
Alternatively use form appended.
Note you can find the form and some other information at:
http://aspen.ucs.indiana.edu/CandCPandE/index.html

Thank you
                                                                                     Geoffrey

CandC:PandE Referee Report Form ***********************************************

Electronic Transimission to gcf@indiana.edu strongly preferred
Referees Home Page: http://aspen.ucs.indiana.edu/CandCPandE/
Email gcf@indiana.edu for URL of full paper to be reviewed

WILEY Journal Home Page
John Wiley and Sons, Ltd.
Baffins Lane, Chichester
West Sussex, PO19 1UD, England
Telephone: (01243) 779777
Fax: (01243) 770379

REFEREE'S REPORT Concurrency and Computation:Practice and Experience **********

A: General Information

Please return to:
Geoffrey C. Fox Electronically Preferred gcf@indiana.edu

Concurrency and Computation: Practice and Experience
Computer Science Department
228 Lindley Hall
Bloomington
Indiana 47405
Office Phone 8128567977(Lab), 8128553788(CS)
but best is cell phone 3152546387
FAX 8128567972

Please fill in Summary Conclusions (Sec. C) and details as appropriate in Secs.
D, E and F.

B: Refereeing Philosophy
We encourage a broad range of readers and contributors. Please judge papers on
their technical merit and separate comments on this from those on style and
approach. Keep in mind the strong practical orientation that we are trying to
give the journal. Note that the forms attached provide separate paper for
comments that you wish only the editor to see and those that both the editor and
author receive. Your identity will of course not be revealed to the author.

C: Paper and Referee Metadata
                                                          Paper Number Cnnn:
                                                          Date:
                                                          Paper Title:
                                                          Author(s):
                                                          Referee:
                                                          Address:

Referee Recommendations. Please indicate overall recommendations here, and
details in following sections.
                                                          publish as is
                                                          accepted provided changes suggested are made
                                                          reject

D: Referee Comments (For Editor Only)

E: Referee Comments (For Author and Editor)

F: Presentation Changes

--
:
: Geoffrey Fox gcf@indiana.edu FAX 8128567972
: Phones Cell 315-254-6387 Home 8123239196 Lab 8128567977 CS 8128553788

______________________________________________________
John J. Barton          email: John_Barton@hpl.hp.com
http://www.hpl.hp.com/personal/John_Barton/index.htm
MS 1U-17 Hewlett-Packard Labs
1501 Page Mill Road              phone: (650)-236-2888
Palo Alto CA 94304-1126         FAX:   (650)-857-5100