Demonstration venue · read-only. Every page can be browsed; the buttons that would change it are switched off. Create an account to run TaxoReview on your own data. A simulation from public publication records: the people listed were not invited and did not agree to review.
? Tutorial for this page

P. F. Leggett

dblp:94/6973 · also Peter F. Leggett · DBLP profile ↗
← Back
6ranked-venue papers
1as first author
0since 2021 · last 2003
—ORCID · none

Domains — the database's venue-derived domains; a paper can count in several

Systems, architecture and hardware · 6 · 1 first-author

Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.

Software engineering, system software, and programming languages
1 paper
Debugging and program repair · 87% Program analysis · 13%

Topics — the 3 heaviest of 3, each with the papers that count most for it

TopicWeightPapersLastEvidence papers
Debugging and program repair
fault localization
0.012002
Backtracking and Re-Execution in the Automatic Debugging of Parallelized Programs · HPDC 2002
Debugging and program repair › software debugging
relative debugging
0.012002
Backtracking and Re-Execution in the Automatic Debugging of Parallelized Programs · HPDC 2002
Program analysis
static analysis
0.012002
Backtracking and Re-Execution in the Automatic Debugging of Parallelized Programs · HPDC 2002

Methods — techniques the papers use, named apart from their topics

static analysis · 0.0relative debugging · 0.0re-execution · 0.0backtracking · 0.0
YearPublicationVenuePosition
2003 Using an interactive parallelisation toolkit to parallelise an ocean modelling code
Cos S. Ierotheou, Steve P. Johnson, P. F. Leggett, Mark Cross
Future Gener. Comput. Syst.3
2002 Backtracking and Re-Execution in the Automatic Debugging of Parallelized Programs
abstract
In this work we describe a new approach using relative debugging to find differences in computation between a serial program and a parallel version of that program. We use a combination of re-execution and backtracking in order to find the first difference in computation that may ultimately lead to an incorrect value that the user has indicated. In our prototype implementation we use static analysis information from a parallelization tool in order to perform the backtracking as well as the mapping required between serial and parallel computations.
Gregory Matthews, Robert Hood, P. F. Leggett
HPDC4
2000 Automatic and effective multi-dimensional parallelisation of structured mesh based codes
Emyr Evans, Steve P. Johnson, P. F. Leggett, Mark Cross
Parallel Comput.3
1997 Automatic Code Generation of Ovelapped Communications in a Parallelisation Tool
Emyr Evans, Steve P. Johnson, P. F. Leggett, Mark Cross
Parallel Comput.3
1996 Computer Aided Parallelisation Tools (CAPTools) - Conceptual Overview and Performance on the Parallelisation of Structured Mesh Codes
Cos S. Ierotheou, Steve P. Johnson, Mark Cross, P. F. Leggett
Parallel Comput.4
1996 Integrating User Knowledge with Information from Parallelisation Tools to Facilitate the Automatic Generation of Efficient Parallel FORTRAN Code
P. F. Leggett, A. T. J. Marsh, Steve P. Johnson, Mark Cross
Parallel Comput.1