Systematic macrostep debugging of message passing parallel programs

Hungarian Supercomputing Grid

ICCS '02 Proceedings of the International Conference on Computational Science-Part II

Extension of Macrostep Debugging Methodology Towards Metacomputing Applications

ICCS '01 Proceedings of the International Conference on Computational Sciences-Part I

Object-Centered Constraints

Proceedings of the Seventh International Conference on Data Engineering

Event Manipulation for Nondeterministic Shared-Memory Programs

HPCN Europe 2001 Proceedings of the 9th International Conference on High-Performance Computing and Networking

Integrating Temporal Assertions into a Parallel Debugger

Euro-Par '02 Proceedings of the 8th International Euro-Par Conference on Parallel Processing

Notes on Nondeterminism in Message Passing Programs

Proceedings of the 9th European PVM/MPI Users' Group Meeting on Recent Advances in Parallel Virtual Machine and Message Passing Interface

ROS: the rollback-one-step method to minimize the waiting time during debugging long-running parallel programs

VECPAR'02 Proceedings of the 5th international conference on High performance computing for computational science

Using sequential debugging techniques with massively parallel programs

ICCS'06 Proceedings of the 6th international conference on Computational Science - Volume Part II

Correctness debugging of message passing programs using model verification techniques

PVM/MPI'07 Proceedings of the 14th European conference on Recent Advances in Parallel Virtual Machine and Message Passing Interface