S. Aananthakrishnan, G. Bronevetsky & G. Gopalakrishnan (2013):
Hybrid approach for data-flow analysis of MPI programs.
In: ICS'13.
ACM,
pp. 455–456,
doi:10.1145/2464996.2467286.
G. Bronevetsky (2009):
Communication-Sensitive Static Dataflow for Parallel Message Passing Applications.
In: CGO'09.
IEEE Computer Society,
pp. 1–12,
doi:10.1109/CGO.2009.32.
E. Cohen, M. Dahlweid, M. Hillebrand, D. Leinenbach, M. Moskal, T. Santen, W. Schulte & S. Tobies (2009):
VCC: A Practical System for Verifying Concurrent C.
In: TPHOLs,
LNCS 5674.
Springer,
pp. 23–42,
doi:10.1007/978-3-642-03359-9_2.
P.-M. Deniélou, N. Yoshida, A. Bejleri & R. Hu (2012):
Parameterised Multiparty Session Types.
Logical Methods in Computer Science 8(4),
doi:10.2168/LMCS-8(4:6)2012.
I. Foster (1995):
Designing and building parallel programs.
Addison-Wesley.
G. Gopalakrishnan, R. M. Kirby, S. Siegel, R. Thakur, W. Gropp, E. Lusk, B. R. De Supinski, M. Schulz & G. Bronevetsky (2011):
Formal analysis of MPI-based parallel programs.
Communications ACM 54(12),
pp. 82–91,
doi:10.1145/2043174.2043194.
W. Gropp, E. Lusk & A. Skjellum (1999):
Using MPI: portable parallel programming with the message passing interface 1.
MIT press.
K. Honda, E.R.B. Marques, F. Martins, N. Ng, V.T. Vasconcelos & N. Yoshida (2012):
Verification of MPI programs using session types.
In: EuroMPI'12,
LNCS 7940.
Springer,
pp. 291–293,
doi:10.1007/978-3-642-33518-1_37.
K. Honda, A. Mukhamedov, G. Brown, T.C. Chen & N. Yoshida (2011):
Scribbling interactions with a formal foundation.
In: ICDCIT,
LNCS 6536.
Springer,
pp. 55–75,
doi:10.1007/978-3-642-19056-8_4.
K. Honda, N. Yoshida & M. Carbone (2008):
Multiparty asynchronous session types.
In: POPL.
ACM,
pp. 273–284,
doi:10.1145/1328897.1328472.
MPI Forum (2012):
MPI: A Message-Passing Interface Standard – Version 3.0.
High-Performance Computing Center Stuttgart.
N. Ng, N. Yoshida & K. Honda (2012):
Multiparty Session C: Safe Parallel Programming with Message Optimisation.
In: TOOLS Europe,
LNCS 7304.
Springer,
pp. 202–218,
doi:10.1007/978-3-642-30561-0_15.
P.S. Pacheco (1997):
Parallel programming with MPI.
Morgan Kaufmann.
S. F. Siegel & T. K. Zirkel (2011):
Automatic Formal Verification of MPI-Based Parallel Programs.
In: PPoPP'11.
ACM,
pp. 309–310,
doi:10.1145/1941553.1941603.
S.F. Siegel, A. Mironova, G.S. Avrunin & L.A. Clarke (2008):
Combining Symbolic Execution with Model Checking to Verify Parallel Numerical Programs.
ACM TOSEM 17(2),
pp. 1–34,
doi:10.1145/1348250.1348256.
A. Vo, S. Vakkalanka, M. DeLisi, G. Gopalakrishnan, R. M. Kirby & R. Thakur (2009):
Formal verification of practical MPI programs.
In: PPoPP'09.
ACM,
pp. 261–270,
doi:10.1145/1504176.1504214.
eptcs@eptcs.org