-
1
-
-
84944188071
-
Widening operators for powerset domains
-
R. Bagnara, P.M. Hill, and E. Zaffanella. Widening operators for powerset domains. In Verification, Model Checking and Abstract Interpretation, pages 135-148, 2004.
-
(2004)
Verification, Model Checking and Abstract Interpretation
, pp. 135-148
-
-
Bagnara, R.1
Hill, P.M.2
Zaffanella, E.3
-
2
-
-
0038039865
-
A static analyzer for large safety-critical software
-
B. Blanchet, P. Cousot, R. Cousot, J. Feret, L. Mauborgne, A. Miné, D. Monniaux, and X. Rival. A static analyzer for large safety-critical software. In ACM Conference on Programming Language Design and Implementation, pages 196-207, 2003.
-
(2003)
ACM Conference on Programming Language Design and Implementation
, pp. 196-207
-
-
Blanchet, B.1
Cousot, P.2
Cousot, R.3
Feret, J.4
Mauborgne, L.5
Miné, A.6
Monniaux, D.7
Rival, X.8
-
8
-
-
84888237427
-
Deriving pre-conditions for array bound check elimination
-
Aarhus, Denmark, May Springer Verlag.
-
W.N. Chin, S.C. Khoo, and Dana N. Xu. Deriving pre-conditions for array bound check elimination. In 2nd Symp. on Programs as Data Objects, pages 2-24, Aarhus, Denmark, May 2001. Springer Verlag.
-
(2001)
2nd Symp. on Programs as Data Objects
, pp. 2-24
-
-
Chin, W.N.1
Khoo, S.C.2
Xu, D.N.3
-
10
-
-
24644450827
-
The ASTREÉ analyzer
-
P. Cousot, R. Cousot, J. Feret, L. Mauborgne, A. Miné, D. Monniaux, and X. Rival. The ASTREÉ analyzer. In European Symposium on Programming, pages 21-30, 2005.
-
(2005)
European Symposium on Programming
, pp. 21-30
-
-
Cousot, P.1
Cousot, R.2
Feret, J.3
Mauborgne, L.4
Miné, A.5
Monniaux, D.6
Rival, X.7
-
13
-
-
0042674307
-
The LINPACK benchmark: Past, present, and future
-
J.J. Dongarra, P. Luszczek, and A. Petitet. The LINPACK benchmark: Past, present, and future. Concurrency and Computation: Practice and Experience, 15:1-18, 2003.
-
(2003)
Concurrency and Computation: Practice and Experience
, vol.15
, pp. 1-18
-
-
Dongarra, J.J.1
Luszczek, P.2
Petitet, A.3
-
26
-
-
56749178102
-
Pentagons: A weakly relational abstract domain for the efficient validation of array accesses
-
F. Logozzo and M. Fahndrich. Pentagons: A weakly relational abstract domain for the efficient validation of array accesses. In ACM Symposium on Applied Computing, 2008.
-
ACM Symposium on Applied Computing, 2008
-
-
Logozzo, F.1
Fahndrich, M.2
-
27
-
-
0242612136
-
Elimination of Java array bounds checks in the presence of indirection
-
Mikel Luján, John R. Gurd, T. L. Freeman, and José Miguel. Elimination of Java array bounds checks in the presence of indirection. In ACM Joint Java Grande-IScope Conf., pages 76-85, 2002.
-
(2002)
ACM Joint Java Grande-IScope Conf.
, pp. 76-85
-
-
Luján, M.1
Gurd, J.R.2
Freeman, T.L.3
Miguel, J.4
-
31
-
-
77950886357
-
-
National Institute of Standards and Technology
-
National Institute of Standards and Technology. Java SciMark benchmark for scientific computing. http://math.nist.gov/scimark2.
-
-
-
-
32
-
-
77950889581
-
-
Simon Peyton-Jones and et al. Glasgow Haskell Compiler. http://www.haskell.org/ghc.
-
-
-
Peyton-Jones, S.1
-
35
-
-
84976676720
-
The Omega Test: A fast practical integer programming algorithm for dependence analysis
-
W. Pugh. The Omega Test: A fast practical integer programming algorithm for dependence analysis. Communications of the ACM, 8:102-114, 1992.
-
(1992)
Communications of the ACM
, vol.8
, pp. 102-114
-
-
Pugh, W.1
-
37
-
-
0034448151
-
Symbolic bounds analysis of pointers, array indices, and accessed memory regions
-
ACM Press, June
-
R. Rugina and M. Rinard. Symbolic bounds analysis of pointers, array indices, and accessed memory regions. In ACM Conference on Programming Language Design and Implementation, pages 182-195. ACM Press, June 2000.
-
(2000)
ACM Conference on Programming Language Design and Implementation
, pp. 182-195
-
-
Rugina, R.1
Rinard, M.2
-
39
-
-
33749818050
-
Static analysis in disjunctive numerical domains
-
S. Sankaranarayanan, F. Ivancic, I. Shlyakhter, and A. Gupta. Static analysis in disjunctive numerical domains. In International Static Analysis Symposium, Springer LNCS, Seoul, Korea, August 2006.
-
International Static Analysis Symposium, Springer LNCS, Seoul, Korea, August 2006
-
-
Sankaranarayanan, S.1
Ivancic, F.2
Shlyakhter, I.3
Gupta, A.4
|