ParFuse: Parallel and Compositional Analysis of Message Passing Programs

Languages and Compilers for Parallel Computing - Lecture Notes in Computer Science ◽

10.1007/978-3-319-52709-3_3 ◽

2017 ◽

pp. 24-39

Author(s):

Sriram Aananthakrishnan ◽

Greg Bronevetsky ◽

Mark Baranowski ◽

Ganesh Gopalakrishnan

Keyword(s):

Message Passing ◽

Compositional Analysis ◽

Message Passing Programs

Download Full-text

LoGPG: Modeling network contention in message-passing programs

IEEE Transactions on Parallel and Distributed Systems ◽

10.1109/71.920589 ◽

2001 ◽

Vol 12 (4) ◽

pp. 404-415 ◽

Author(s):

C.A. Moritz ◽

M.I. Frank

Keyword(s):

Message Passing ◽

Network Contention ◽

Message Passing Programs

Download Full-text

Deadlock analysis of synchronous message-passing programs

1999 Proceedings International Symposium on Software Engineering for Parallel and Distributed Systems ◽

10.1109/pdse.1999.779739 ◽

1999 ◽

Author(s):

Zhou ◽

Kuo-Chung Tai

Keyword(s):

Message Passing ◽

Deadlock Analysis ◽

Message Passing Programs

Download Full-text

MEMPHA: Model of Exascale Message-Passing Programs on Heterogeneous Architectures

IEEE Transactions on Parallel and Distributed Systems ◽

10.1109/tpds.2020.2995867 ◽

2020 ◽

Vol 31 (11) ◽

pp. 2570-2581

Author(s):

Sina Zangbari Koohi ◽

Nor Asilah Wati Abdul Hamid ◽

Mohamed Othman ◽

Gafurjan Ibragimov

Keyword(s):

Message Passing ◽

Heterogeneous Architectures ◽

Message Passing Programs

Download Full-text

Efficient race detection for message-passing programs with nonblocking sends and receives

Proceedings Seventh IEEE Symposium on Parallel and Distributed Processing SPDP-95 ◽

10.1109/spdp.1995.530730 ◽

2002 ◽

Author(s):

R. Cypher ◽

E. Leu

Keyword(s):

Message Passing ◽

Race Detection ◽

Message Passing Programs

Download Full-text

Modelling message-passing programs for static mapping

Proceedings 8th Euromicro Workshop on Parallel and Distributed Processing ◽

10.1109/empdp.2000.823416 ◽

2002 ◽

Author(s):

C. Roig ◽

A. Ripoll ◽

M.A. Senar ◽

F. Guirado ◽

E. Luque

Keyword(s):

Message Passing ◽

Message Passing Programs

Download Full-text

Detecting Atomicity Errors in Message Passing Programs

Eighth International Conference on Parallel and Distributed Computing, Applications and Technologies (PDCAT 2007) ◽

10.1109/pdcat.2007.4420171 ◽

2007 ◽

Author(s):

H. F. Li ◽

Eslam Al Maghayreh ◽

D. Goswami

Keyword(s):

Message Passing ◽

Message Passing Programs

Download Full-text

Incorporating memory layout in the modeling of message passing programs

Journal of Systems Architecture ◽

10.1016/s1383-7621(03)00060-2 ◽

2003 ◽

Vol 49 (3) ◽

pp. 109-121

Author(s):

F.J. Seinstra ◽

D. Koelma

Keyword(s):

Message Passing ◽

Memory Layout ◽

Message Passing Programs

Download Full-text

A scalable debugger for massively parallel message-passing programs

IEEE Parallel & Distributed Technology Systems & Applications ◽

10.1109/88.311572 ◽

1994 ◽

Vol 2 (2) ◽

pp. 50-56 ◽

Author(s):

S. Sistare ◽

D. Allen ◽

R. Bowker ◽

K. Jourdenais ◽

J. Simons ◽

...

Keyword(s):

Message Passing ◽

Massively Parallel ◽

Message Passing Programs

Download Full-text

Trace-Based Temporal Verification for Message-Passing Programs

2014 Theoretical Aspects of Software Engineering Conference ◽

10.1109/tase.2014.14 ◽

2014 ◽

Author(s):

Jinjiang Lei ◽

Zongyan Qiu ◽

Zhong Shao

Keyword(s):

Message Passing ◽

Message Passing Programs

Download Full-text

Deadlock-Free Incremental Replay of Message-Passing Programs

Journal of Parallel and Distributed Computing ◽

10.1006/jpdc.2001.1703 ◽

2001 ◽

Vol 61 (5) ◽

pp. 667-678 ◽

Author(s):

Franco Zambonelli ◽

Robert H.B. Netzer

Keyword(s):

Message Passing ◽

Message Passing Programs

Download Full-text