-
2
-
-
34247338386
-
Abstract interpretation based static analysis parameterized by semantics
-
Cousot, P. (1997). Abstract interpretation based static analysis parameterized by semantics. In Static Analysis Symp., pages 388-394.
-
(1997)
In Static Analysis Symp
, pp. 388-394
-
-
Cousot, P.1
-
3
-
-
0018294932
-
Systematic design of program analysis frameworks
-
New York, NY. ACM Press
-
Cousot, P. and Cousot, R. (1979). Systematic design of program analysis frameworks. In Symp. on Princ. of Prog. Lang., pages 269-282, New York, NY. ACM Press.
-
(1979)
Symp. On Princ. of Prog. Lang
, pp. 269-282
-
-
Cousot, P.1
Cousot, R.2
-
4
-
-
35048886087
-
Numeric domains with summarized dimensions
-
Gopan, D., DiMaio, F., Dor, N., Reps, T., and Sagiv, M. (2004). Numeric domains with summarized dimensions. In Int. Conf. on Tools and Algs. for the Construction and Analysis of Systems, pages 512-529.
-
(2004)
Int. Conf. On Tools and Algs. For the Construction and Analysis of Systems
, pp. 512-529
-
-
Gopan, D.1
Dimaio, F.2
Dor, N.3
Reps, T.4
Sagiv, M.5
-
5
-
-
84906086021
-
TVLA: A system for implementing static analyses
-
Lev-Ami, T. and Sagiv, M. (2000). TVLA: A system for implementing static analyses. In Static Analysis Symp., pages 280-301.
-
(2000)
Static Analysis Symp
, pp. 280-301
-
-
Lev-Ami, T.1
Sagiv, M.2
-
6
-
-
24644495684
-
Abstraction refinement for 3-valued-logic analysis
-
Comp. Sci. Dept., Univ. of Wisconsin
-
Loginov, A., Reps, T., and Sagiv, M. (2004). Abstraction refinement for 3-valued-logic analysis. Tech. Rep. 1504, Comp. Sci. Dept., Univ. of Wisconsin.
-
(2004)
Tech. Rep
-
-
Loginov, A.1
Reps, T.2
Sagiv, M.3
-
7
-
-
84958761896
-
Compactly representing first-order structures for static analysis
-
Manevich, R., Ramalingam, G., Field, J., Goyal, D., and Sagiv, M. (2002), Compactly representing first-order structures for static analysis. In Static Analysis Symp., pages 196-212.
-
(2002)
Static Analysis Symp
, pp. 196-212
-
-
Manevich, R.1
Ramalingam, G.2
Field, J.3
Goyal, D.4
Sagiv, M.5
-
9
-
-
0036037941
-
Deriving specialized program analyses for certifying component-client conformance
-
Ramalingam, G., Warshavsky, A., Field, J., Goyal, D., and Sagiv, M. (2002). Deriving specialized program analyses for certifying component-client conformance. In SIGPLAN Conf. on Prog. Lang. Design and Impl., pages 83-94.
-
(2002)
In SIGPLAN Conf. On Prog. Lang. Design and Impl
, pp. 83-94
-
-
Ramalingam, G.1
Warshavsky, A.2
Field, J.3
Goyal, D.4
Sagiv, M.5
-
10
-
-
35248890361
-
Finite differencing of logical formulas for static analysis
-
Reps, T., Sagiv, M., and Loginov, A. (2003). Finite differencing of logical formulas for static analysis. In European Symp. on Programming, pages 380-398.
-
(2003)
European Symp. On Programming
, pp. 380-398
-
-
Reps, T.1
Sagiv, M.2
Loginov, A.3
-
11
-
-
84958978460
-
Interprocedural shape analysis for recursive programs
-
Wilhelm, R., editor, LNCS, Springer
-
Rinetzky, N. and Sagiv, M. (2001). Interprocedural shape analysis for recursive programs. In Wilhelm, R., editor, Proc. of CC 2001, volume 2027 of LNCS, pages 133-149. Springer.
-
(2001)
Proc. of CC 2001
, vol.2027
, pp. 133-149
-
-
Rinetzky, N.1
Sagiv, M.2
-
12
-
-
0031598986
-
Solving shape-analysis problems in languages with destructive updating
-
Sagiv, M., Reps, T., and Wilhelm, R. (1998). Solving shape-analysis problems in languages with destructive updating. Trans. on Prog. Lang. and Syst., 20(1):1-50.
-
(1998)
Trans. On Prog. Lang. and Syst
, vol.20
, Issue.1
, pp. 1-50
-
-
Sagiv, M.1
Reps, T.2
Wilhelm, R.3
-
14
-
-
21144449292
-
Establishing local temporal heap safety properties with applications to compile-time memory management
-
LNCS
-
Shaham, R., Yahav, E., Kolodner, E., and Sagiv, M. (2003). Establishing local temporal heap safety properties with applications to compile-time memory management. In Proc. of SAS'03, volume 2694 of LNCS, pages 483-503.
-
(2003)
Proc. of SAS'03
, vol.2694
, pp. 483-503
-
-
Shaham, R.1
Yahav, E.2
Kolodner, E.3
Sagiv, M.4
-
15
-
-
0035040403
-
Verifying safety properties of concurrent Java programs using 3-valued logic
-
Yahav, E. (2001). Verifying safety properties of concurrent Java programs using 3-valued logic. In Symp. on Princ. of Prog. Lang., pages 27-40.
-
(2001)
In Symp. On Princ. of Prog. Lang
, pp. 27-40
-
-
Yahav, E.1
-
16
-
-
8344280849
-
Verifying safety properties using separation and heterogeneous abstractions
-
To appear
-
Yahav, E. and Ramalingam, G. (2004). Verifying safety properties using separation and heterogeneous abstractions. In SIGPLAN Conf. on Prog. Lang. Design and Impl. To appear.
-
(2004)
SIGPLAN Conf. On Prog. Lang. Design and Impl
-
-
Yahav, E.1
Ramalingam, G.2
-
17
-
-
35248859723
-
Verifying temporal heap properties specified via evolution logic
-
LNCS
-
Yahav, E., Reps, T., Sagiv, M., and Wilhelm, R. (2003). Verifying temporal heap properties specified via evolution logic. In European Symp. on Programming, volume 2618 of LNCS.
-
(2003)
European Symp. On Programming
, vol.2618
-
-
Yahav, E.1
Reps, T.2
Sagiv, M.3
Wilhelm, R.4
-
19
-
-
35048814529
-
Symbolically computing most-precise abstract operations for shape analysis
-
Yorsh, G., Reps, T., and Sagiv, M. (2004). Symbolically computing most-precise abstract operations for shape analysis. In Int. Conf. on Tools and Algs. for the Construction and Analysis of Systems, pages 530-545.
-
(2004)
In Int. Conf. On Tools and Algs. For the Construction and Analysis of Systems
, pp. 530-545
-
-
Yorsh, G.1
Reps, T.2
Sagiv, M.3
|