메뉴 건너뛰기




Volumn 137, Issue , 2013, Pages 103-113

Towards deductive verification of MPI programs against session types

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL LINGUISTICS; COMPUTER PROGRAMMING LANGUAGES; MESSAGE PASSING;

EID: 84901660168     PISSN: 20752180     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.4204/EPTCS.137.9     Document Type: Conference Paper
Times cited : (11)

References (16)
  • 1
    • 84879803087 scopus 로고    scopus 로고
    • Hybrid approach for data-flow analysis of MPI programs
    • ACM
    • 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.
    • (2013) ICS'13 , pp. 455-456
    • Aananthakrishnan, S.1    Bronevetsky, G.2    Gopalakrishnan, G.3
  • 2
    • 67650509253 scopus 로고    scopus 로고
    • Communication-sensitive static dataflow for parallel message passing applications
    • IEEE Computer Society
    • 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.
    • (2009) CGO'09 , pp. 1-12
    • Bronevetsky, G.1
  • 8
    • 84867649399 scopus 로고    scopus 로고
    • Verification of MPI programs using session types
    • LNCS 7940, Springer
    • 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.
    • (2012) EuroMPI'12 , pp. 291-293
    • Honda, K.1    Marques, E.R.B.2    Martins, F.3    Ng, N.4    Vasconcelos, V.T.5    Yoshida, N.6
  • 9
    • 79951642444 scopus 로고    scopus 로고
    • Scribbling interactions with a formal foundation
    • LNCS 6536, Springer
    • 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.
    • (2011) ICDCIT , pp. 55-75
    • Honda, K.1    Mukhamedov, A.2    Brown, G.3    Chen, T.C.4    Yoshida, N.5
  • 10
    • 84865647368 scopus 로고    scopus 로고
    • Multiparty asynchronous session types
    • ACM
    • K. Honda, N. Yoshida & M. Carbone (2008): Multiparty asynchronous session types. In: POPL, ACM, pp. 273-284, doi:10.1145/1328897.1328472.
    • (2008) POPL , pp. 273-284
    • Honda, K.1    Yoshida, N.2    Carbone, M.3
  • 12
    • 84862229498 scopus 로고    scopus 로고
    • Multiparty session C: Safe parallel programming with message optimisation
    • LNCS 7304, Springer
    • 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.
    • (2012) TOOLS Europe , pp. 202-218
    • Ng, N.1    Yoshida, N.2    Honda, K.3
  • 14
    • 79952796800 scopus 로고    scopus 로고
    • Automatic formal verification of MPI-based parallel programs
    • ACM
    • 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.
    • (2011) PPoPP'11 , pp. 309-310
    • Siegel, S.F.1    Zirkel, T.K.2
  • 15
    • 43449116062 scopus 로고    scopus 로고
    • Combining symbolic execution with model checking to verify parallel numerical programs
    • 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.
    • (2008) ACM TOSEM , vol.17 , Issue.2 , pp. 1-34
    • Siegel, S.F.1    Mironova, A.2    Avrunin, G.S.3    Clarke, L.A.4


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.