-
1
-
-
78751475159
-
Scalable SMT-based verification of GPU kernel functions
-
G. Li and G. Gopalakrishnan, "Scalable SMT-based verification of GPU kernel functions, " in SIGSOFT FSE, 2010.
-
(2010)
SIGSOFT FSE
-
-
Li, G.1
Gopalakrishnan, G.2
-
2
-
-
79952786462
-
GRace: A lowoverhead mechanism for detecting data races in GPU programs
-
M. Zheng, V. T. Ravi, F. Qin, and G. Agrawal, "GRace: A lowoverhead mechanism for detecting data races in GPU programs, " in PPoPP, 2011.
-
(2011)
PPoPP
-
-
Zheng, M.1
Ravi, V.T.2
Qin, F.3
Agrawal, G.4
-
4
-
-
85076893888
-
KLEE: Unassisted and automatic generation of high-coverage tests for complex systems programs
-
C. Cadar, D. Dunbar, and D. R. Engler, "KLEE: Unassisted and automatic generation of high-coverage tests for complex systems programs, " in OSDI, 8th USENIX Symposium, 2008.
-
(2008)
OSDI, 8th USENIX Symposium
-
-
Cadar, C.1
Dunbar, D.2
Engler, D.R.3
-
5
-
-
77951606060
-
-
"SMT-COMP. http://www.smtcomp.org/2011.".
-
SMT-COMP
-
-
-
6
-
-
31844450371
-
DART: Directed automated random testing
-
P. Godefroid, N. Klarlund, and K. Sen, "DART: Directed automated random testing, " in PLDI, 2005.
-
(2005)
PLDI
-
-
Godefroid, P.1
Klarlund, N.2
Sen, K.3
-
7
-
-
84878581024
-
-
"KLEE open projects, " http://klee.llvm.org/OpenProjects.html.
-
KLEE Open Projects
-
-
-
8
-
-
32344447459
-
CUTE: A concolic unit testing engine for C
-
K. Sen, D. Marinov, and G. Agha, "CUTE: a concolic unit testing engine for C, " in 10th ESEC/FSE, 2005.
-
(2005)
10th ESEC/FSE
-
-
Sen, K.1
Marinov, D.2
Agha, G.3
-
9
-
-
84873478761
-
-
"CUDA zone. www.nvidia.com/object/cuda-home.html.".
-
CUDA Zone
-
-
-
10
-
-
84863364733
-
-
OpenCL. http://www.khronos.org/opencl.
-
OpenCL
-
-
-
11
-
-
84863378580
-
Concurrency analysis for parallel programs with textually aligned barriers
-
A. Kamil and K. A. Yelick, "Concurrency Analysis for Parallel Programs with Textually Aligned Barriers, " in LCPC, 2005.
-
(2005)
LCPC
-
-
Kamil, A.1
Yelick, K.A.2
-
14
-
-
79953756249
-
-
"Cuda programming guide version 4.0. http://developer.download. nvidia.com/compute/cuda/4-0/toolkit/docs/CUDA-C-Programming-Guide.pdf.".
-
Cuda Programming Guide Version 4.0.
-
-
-
15
-
-
79959909081
-
Safe optimisations for shared-memory concurrent programs
-
J. Sevcik, "Safe Optimisations for Shared-Memory Concurrent Programs, " in PLDI, 2011.
-
(2011)
PLDI
-
-
Sevcik, J.1
-
16
-
-
0026153297
-
Detecting data races on weak memory systems
-
S. V. Adve, M. D. Hill, B. P. Miller, and R. H. Netzer, "Detecting data races on weak memory systems, " in ISCA, 1991.
-
(1991)
ISCA
-
-
Adve, S.V.1
Hill, M.D.2
Miller, B.P.3
Netzer, R.H.4
-
17
-
-
0023994389
-
Efficient and correct execution of parallel programs that share memory
-
DOI 10.1145/42190.42277
-
D. Shasa and M. Snir, "Efficient and correct execution of parallel programs that share memory, " ACM TOPLAS, vol. 10, no. 2, pp. 282- 312, 1988. (Pubitemid 18638207)
-
(1988)
ACM Transactions on Programming Languages and Systems
, vol.10
, Issue.2
, pp. 282-312
-
-
Shasha, D.1
Snir, M.2
-
18
-
-
0031648687
-
Barrier inference
-
A. Aiken and D. Gay, "Barrier inference, " in POPL, 1998.
-
(1998)
POPL
-
-
Aiken, A.1
Gay, D.2
-
20
-
-
78751554270
-
-
Nvidia, Jul.
-
Nvidia, "Parallel Nsight, " Jul. 2010.
-
(2010)
Parallel Nsight
-
-
-
22
-
-
0036316545
-
Flavers: A finite state verification technique for software systems
-
J. M. Cobleigh, L. A. Clarke, and L. J. Osterweil, "Flavers: A finite state verification technique for software systems, " IBM Systems Journal, vol. 41, no. 1, 2002.
-
(2002)
IBM Systems Journal
, vol.41
, Issue.1
-
-
Cobleigh, J.M.1
Clarke, L.A.2
Osterweil, L.J.3
-
24
-
-
84856530584
-
Divergence analysis and optimizations
-
B. Coutinho, D. Sampaio, F. M. Quintao Pereira, and W. Meira Jr., "Divergence analysis and optimizations, " in PACT, 2011.
-
(2011)
PACT
-
-
Coutinho, B.1
Sampaio, D.2
Pereira, F.M.Q.3
Meira Jr., W.4
-
25
-
-
84863387043
-
Performance degradation analysis of GPU kernels
-
J. Lv, G. Li, A. Humphrey, and G. Gopalakrishnan, "Performance degradation analysis of GPU kernels, " in EC2 Workshop, 2011.
-
(2011)
EC2 Workshop
-
-
Lv, J.1
Li, G.2
Humphrey, A.3
Gopalakrishnan, G.4
-
26
-
-
79955974800
-
Symbolic crosschecking of floating-point and SIMD code
-
P. Collingbourne, C. Cadar, and P. H. J. Kelly, "Symbolic crosschecking of floating-point and SIMD code, " in EuroSys, 2011.
-
(2011)
EuroSys
-
-
Collingbourne, P.1
Cadar, C.2
Kelly, P.H.J.3
-
28
-
-
78149233155
-
Ocelot: A dynamic optimization framework for bulk-synchronous applications in heterogeneous systems
-
G. F. Diamos, A. R. Kerr, S. Yalamanchili, and N. Clark, "Ocelot: a dynamic optimization framework for bulk-synchronous applications in heterogeneous systems, " in PACT, 2010.
-
(2010)
PACT
-
-
Diamos, G.F.1
Kerr, A.R.2
Yalamanchili, S.3
Clark, N.4
|