Future-based Static Analysis of Message Passing Programs

Electronic Proceedings in Theoretical Computer Science ◽

10.4204/eptcs.211.7 ◽

2016 ◽

Vol 211 ◽

pp. 65-72 ◽

Cited By ~ 8

Author(s):

Wytse Oortwijn ◽

Stefan Blom ◽

Marieke Huisman

Keyword(s):

Static Analysis ◽

Message Passing ◽

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 ◽

Cited By ~ 59

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 ◽

Cited By ~ 6

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 ◽

Cited By ~ 4

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 ◽

Cited By ~ 3

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 ◽

Cited By ~ 10

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 ◽

Cited By ~ 2

Author(s):

Jinjiang Lei ◽

Zongyan Qiu ◽

Zhong Shao

Keyword(s):

Message Passing ◽

Message Passing Programs

Download Full-text

MODELLING AND ANALYSIS OF PKI-BASED SYSTEMS USING PROCESS CALCULI

International Journal of Foundations of Computer Science ◽

10.1142/s0129054107004851 ◽

2007 ◽

Vol 18 (03) ◽

pp. 593-618 ◽

Cited By ~ 2

Author(s):

BENJAMIN AZIZ ◽

GEOFF HAMILTON

Keyword(s):

Static Analysis ◽

Message Passing ◽

Process Algebra ◽

Authentication Protocols ◽

Process Calculi ◽

Public Keys ◽

Peer Participation

In this paper, we present a process algebra aimed at modelling PKI-based systems. The new language, SPIKY, extends the spi-calculus by adding primitives for the retrieval of certified/uncertified public keys as well as private keys belonging to users of the PKI-based system. SPIKY also formalises the notion of process ownership by PKI users, which is necessary in controlling the semantics of the key retrieval capabilities. We also construct a static analysis for SPIKY that captures the property of term substitutions resulting from message-passing and PKI/cryptographic operations. This analysis is shown to be safe and computable. Finally, we use the analysis to define the term secrecy and peer participation properties for a couple of examples of authentication protocols.

Download Full-text