Output details
11 - Computer Science and Informatics
Queen's University Belfast
Article title
Formal Analysis of MPI-based Parallel Programs
Type
D - Journal article
Title of journal
Communications of the ACM
Article number
-
Volume number
54
Issue number
12
First page of article
82
ISSN of journal
0001-0782
Year of publication
2011
Number of additional authors
8
Additional information
<07>This paper is the first work to show that formal methods can complement scalable debugging techniques to simplify software development on large-scale systems. It details the state-of-the-art in both research areas, which are both comprised largely of my research successes. Several released software projects, including DAMPI and STAT. The latter won an R&D 100 award and, in addition to being available on SourceForge, is distributed by Cray as part of their software development environment.
Interdisciplinary
-
Cross-referral requested
-
Research group
A - High Performance and Distributed Computing (HPDC)
Citation count
3
Proposed double-weighted
No
Double-weighted statement
-
Reserve for a double-weighted output
No
Non-English
No
English abstract
-
