-
1
-
-
84879803087
-
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
-
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
-
3
-
-
70349325391
-
VCC: A practical system for verifying concurrent C
-
LNCS 5674, Springer
-
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.
-
(2009)
TPHOLs
, pp. 23-42
-
-
Cohen, E.1
Dahlweid, M.2
Hillebrand, M.3
Leinenbach, D.4
Moskal, M.5
Santen, T.6
Schulte, W.7
Tobies, S.8
-
6
-
-
82155191689
-
Formal analysis of MPI-based parallel programs
-
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.
-
(2011)
Communications ACM
, vol.54
, Issue.12
, pp. 82-91
-
-
Gopalakrishnan, R.G.1
Kirby, M.2
Siegel, S.3
Thakur, R.4
Gropp, W.5
Lusk, E.6
De Supinski, B.R.7
Schulz, M.8
Bronevetsky, G.9
-
8
-
-
84867649399
-
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
-
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
-
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
-
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
-
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
-
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
-
16
-
-
67650067057
-
Formal verification of practical MPI programs
-
ACM
-
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.
-
(2009)
PPoPP'09
, pp. 261-270
-
-
Vo, A.1
Vakkalanka, S.2
DeLisi, M.3
Gopalakrishnan, G.4
Kirby, R.M.5
Thakur, R.6
|