Protocol-based verification of message-passing parallel programs

ACM SIGPLAN Notices ◽

10.1145/2858965.2814302 ◽

2015 ◽

Vol 50 (10) ◽

pp. 280-298 ◽

Author(s):

Hugo A. López ◽

Eduardo R. B. Marques ◽

Francisco Martins ◽

Nicholas Ng ◽

César Santos ◽

...

Keyword(s):

Message Passing ◽

Parallel Programs

Download Full-text

Automatic differentiation for message-passing parallel programs

Proceedings of the First Merged International Parallel Processing Symposium and Symposium on Parallel and Distributed Processing ◽

10.1109/ipps.1998.669896 ◽

2002 ◽

Author(s):

P. Hovland ◽

C. Bischof

Keyword(s):

Message Passing ◽

Automatic Differentiation ◽

Parallel Programs

Download Full-text

Towards Deductive Verification of Message-Passing Parallel Programs

2018 IEEE/ACM 2nd International Workshop on Software Correctness for HPC Applications (Correctness) ◽

10.1109/correctness.2018.00012 ◽

2018 ◽

Author(s):

Ziqing Luo ◽

Stephen F. Siegel

Keyword(s):

Message Passing ◽

Parallel Programs ◽

Deductive Verification

Download Full-text

Parallelized network simulators for message-passing parallel programs

MASCOTS '95. Proceedings of the Third International Workshop on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems ◽

10.1109/mascot.1995.378707 ◽

2002 ◽

Author(s):

P.M. Dickens ◽

P. Heidelberger ◽

D.M. Nicol

Keyword(s):

Message Passing ◽

Parallel Programs ◽

Network Simulators

Download Full-text

Timing parallel programs that use message passing

Journal of Parallel and Distributed Computing ◽

10.1016/0743-7315(92)90095-5 ◽

1992 ◽

Vol 14 (1) ◽

pp. 29-36 ◽

Author(s):

Nicholas T. Karonis

Keyword(s):

Message Passing ◽

Parallel Programs

Download Full-text

Structural testing for communication events into loops of message‐passing parallel programs

Concurrency and Computation Practice and Experience ◽

10.1002/cpe.6082 ◽

2021 ◽

Author(s):

Silvia M. D. Diaz ◽

Paulo S. L. Souza ◽

Simone R. S. Souza

Keyword(s):

Message Passing ◽

Parallel Programs ◽

Structural Testing ◽

Communication Events

Download Full-text

Protocol-based verification of message-passing parallel programs

Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications - OOPSLA 2015 ◽

10.1145/2814270.2814302 ◽

2015 ◽

Author(s):

Hugo A. López ◽

Eduardo R. B. Marques ◽

Francisco Martins ◽

Nicholas Ng ◽

César Santos ◽

...

Keyword(s):

Message Passing ◽

Parallel Programs

Download Full-text

Automated scalability analysis of message-passing parallel programs

IEEE Parallel & Distributed Technology Systems & Applications ◽

10.1109/88.473611 ◽

1995 ◽

Vol 3 (4) ◽

pp. 21-32 ◽

Author(s):

S.R. Sarukkai ◽

P. Mehra ◽

R.J. Block

Keyword(s):

Message Passing ◽

Parallel Programs ◽

Scalability Analysis

Download Full-text

Systematic macrostep debugging of message passing parallel programs

Future Generation Computer Systems ◽

10.1016/s0167-739x(99)00074-6 ◽

2000 ◽

Vol 16 (6) ◽

pp. 609-624 ◽

Author(s):

P. Kacsuk

Keyword(s):

Message Passing ◽

Parallel Programs

Download Full-text

Visualization of Message Passing Parallel Programs with the TOPSYS Parallel Programming Environment

Journal of Parallel and Distributed Computing ◽

10.1006/jpdc.1993.1051 ◽

1993 ◽

Vol 18 (2) ◽

pp. 118-128 ◽

Author(s):

T. Bemmerl ◽

P. Braun

Keyword(s):

Parallel Programming ◽

Message Passing ◽

Parallel Programs ◽

Programming Environment

Download Full-text

Optimal tracing and replay for debugging message-passing parallel programs

The Journal of Supercomputing ◽

10.1007/bf01901615 ◽

1995 ◽

Vol 8 (4) ◽

pp. 371-388 ◽

Author(s):

Robert H. B. Netzer ◽

Barton P. Miller

Keyword(s):

Message Passing ◽

Parallel Programs

Download Full-text