Verification of MPI programs using session types

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 7490 LNCS, Issue , 2012, Pages 291-293

  Honda, Kohei ^a   Marques, Eduardo R B ^b   Martins, Francisco ^b   Ng, Nicholas ^c   Vasconcelos, Vasco T ^b   Yoshida, Nobuko ^c  

^a QUEEN MARY UNIVERSITY OF LONDON   (United Kingdom)

^b UNIVERSITY OF LISBON   (Portugal)

^c IMPERIAL COLLEGE LONDON   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

FORMAL VERIFICATIONS; HARD TASK; MPI PROGRAMS; PARALLEL PROGRAM; SESSION TYPES; SOFTWARE SYSTEMS; VERIFICATION PROBLEMS;

PARALLEL ARCHITECTURES;

MESSAGE PASSING;

EID: 84867649399     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-33518-1_37     Document Type: Conference Paper

References (7)

1. Gopalakrishnan, G., Kirby, R.M., Siegel, S., Thakur, R., Gropp, W., Lusk, E., De Supinski, B.R., Schulz, M., Bronevetsky, G.: Formal analysis of MPI-based parallel programs. Communications ACM 54(12), 82-91 (2011)
2. Honda, K., Mukhamedov, A., Brown, G., Chen, T.-C., Yoshida, N.: Scribbling Interactions with a Formal Foundation. In: Natarajan, R., Ojo, A. (eds.) ICDCIT 2011. LNCS, vol. 6536, pp. 55-75. Springer, Heidelberg (2011)
3. Honda, K., Vasconcelos, V.T., Kubo, M.: Language Primitives and Type Discipline for Structured Communication-Based Programming. In: Hankin, C. (ed.) ESOP 1998. LNCS, vol. 1381, pp. 122-138. Springer, Heidelberg (1998)
4. Honda, K., Yoshida, N., Carbone, M.: Multiparty asynchronous session types. In: POPL, pp. 273-284. ACM (2008)
5. Ng,N.,Yoshida, N.,Honda,K.: Multiparty Session C: Safe Parallel Programming with Message Optimisation. In: Furia, C.A., Nanz, S. (eds.) TOOLS 2012. LNCS, vol. 7304, pp. 202-218. Springer, Heidelberg (2012)
6. Siegel, S., Mironova, A., Avrunin, G., Clarke, L.: Combining symbolic execution with model checking to verify parallel numerical programs. ACM TOSEM 17(2), 1-34 (2008)
7. Yoshida, N., Deniélou, P., Bejleri, A., Hu, R.: Parameterised Multiparty Session Types. In: Ong, L. (ed.) FOSSACS 2010. LNCS, vol. 6014, pp. 128-145. Springer, Heidelberg (2010)