-
1
-
-
77950570789
-
-
http://cs.unm.edu/~marron.
-
-
-
-
2
-
-
60849094123
-
Shape analysis for composite data structures
-
J. Berdine, C. Calcagno, B. Cook, D. Distefano, P. O'Hearn, T. Wies, and H. Yang. Shape analysis for composite data structures. In CAV, 2007.
-
(2007)
CAV
-
-
Berdine, J.1
Calcagno, C.2
Cook, B.3
Distefano, D.4
O'Hearn, P.5
Wies, T.6
Yang, H.7
-
6
-
-
17044399069
-
Static analysis of accessed regions in recursive data structures
-
S. Chong and R. Rugina. Static analysis of accessed regions in recursive data structures. In SAS, 2003.
-
(2003)
SAS
-
-
Chong, S.1
Rugina, R.2
-
7
-
-
0027961596
-
Interprocedural may-alias analysis for pointers: Beyond k-limiting
-
A. Deutsch. Interprocedural may-alias analysis for pointers: Beyond k-limiting. In PLDI, pages 230-241, 1994.
-
(1994)
PLDI
, pp. 230-241
-
-
Deutsch, A.1
-
8
-
-
0029719687
-
Is it a tree, a dag, or a cyclic graph? a shape analysis for heap-directed pointers in C
-
R. Ghiya and L. J. Hendren. Is it a tree, a dag, or a cyclic graph? A shape analysis for heap-directed pointers in C. In POPL, 1996.
-
(1996)
POPL
-
-
Ghiya, R.1
Hendren, L.J.2
-
9
-
-
85015493456
-
Detecting parallelism in C programs with recursive darta structures
-
R. Ghiya, L. J. Hendren, and Y. Zhu. Detecting parallelism in C programs with recursive darta structures. In CC, 1998.
-
(1998)
CC
-
-
Ghiya, R.1
Hendren, L.J.2
Zhu, Y.3
-
10
-
-
67650111238
-
An abstract domain for analyzing heap-manipulating low-level software
-
S. Gulwani and A. Tiwari. An abstract domain for analyzing heap-manipulating low-level software. In CAV, 2007.
-
(2007)
CAV
-
-
Gulwani, S.1
Tiwari, A.2
-
11
-
-
35448950882
-
Shape analysis with inductive recursion synthesis
-
B. Guo, N. Vachharajani, and D. August. Shape analysis with inductive recursion synthesis. In PLDI, 2007.
-
(2007)
PLDI
-
-
Guo, B.1
Vachharajani, N.2
August, D.3
-
12
-
-
0025207766
-
Parallelizing programs with recursive data structures
-
L. J. Hendren and A. Nicolau. Parallelizing programs with recursive data structures. IEEE TPDS, 1(1), 1990.
-
(1990)
IEEE TPDS
, vol.1
, Issue.1
-
-
Hendren, L.J.1
Nicolau, A.2
-
13
-
-
77950566994
-
Dependence analysis for pointer variables
-
S. Horwitz, P. Pfeiffer, and T. W. Reps. Dependence analysis for pointer variables. In PLDI, 1989.
-
(1989)
PLDI
-
-
Horwitz, S.1
Pfeiffer, P.2
Reps, T.W.3
-
16
-
-
0032684782
-
Parametric shape analysis via 3-valued logic
-
S. Sagiv, T. W. Reps, and R. Wilhelm. Parametric shape analysis via 3-valued logic. In POPL, 1999.
-
(1999)
POPL
-
-
Sagiv, S.1
Reps, T.W.2
Wilhelm, R.3
-
17
-
-
77950563264
-
-
August
-
Standard Performance Evaluation Corporation. JVM98 Version 1.04, August 1998. http://www.spec.org/jvm98.
-
(1998)
JVM98 Version 1.04
-
-
-
19
-
-
60849121157
-
Scalable shape analysis for systems code
-
H. Yang, O. Lee, J. Berdine, C. Calcagno, B. Cook, D. Distefano, and P. OHearn. Scalable shape analysis for systems code. In CAV, 2008.
-
(2008)
CAV
-
-
Yang, H.1
Lee, O.2
Berdine, J.3
Calcagno, C.4
Cook, B.5
Distefano, D.6
Ohearn, P.7
-
20
-
-
0012525243
-
Benchmark health considered harmful
-
C. Zilles. Benchmark health considered harmful. In Computer Arch. News, 2001.
-
(2001)
Computer Arch. News
-
-
Zilles, C.1
|