1. 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.
  2. 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.
  3. 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.
  4. 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.
  5. I. Foster (1995): Designing and building parallel programs. Addison-Wesley.
  6. 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.
  7. W. Gropp, E. Lusk & A. Skjellum (1999): Using MPI: portable parallel programming with the message passing interface 1. MIT press.
  8. 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.
  9. 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.
  10. K. Honda, N. Yoshida & M. Carbone (2008): Multiparty asynchronous session types. In: POPL. ACM, pp. 273–284, doi:10.1145/1328897.1328472.
  11. MPI Forum (2012): MPI: A Message-Passing Interface Standard – Version 3.0. High-Performance Computing Center Stuttgart.
  12. 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.
  13. P.S. Pacheco (1997): Parallel programming with MPI. Morgan Kaufmann.
  14. 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.
  15. 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.
  16. 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.

Comments and questions to:
For website issues: