io-port.net

io-port 05459425 Rinetzky, Noam; Ramalingam, G.; Sagiv, Shmuel; Yahav, Eran

On the complexity of partially-flow-sensitive alias analysis. (English)

ACM Trans. Program. Lang. Syst. 30, No. 3 (2008).

1

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 70759772 Berdine, Josh; Lev-Ami, Tal; Manevich, Roman; Ramalingam, G.; Sagiv, Shmuel

Thread quantification for concurrent shape analysis (English)

CAV, 399-413 (2008).

2

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 50015049 Nebenzahl, Danny; Sagiv, Shmuel; Wool, Avishai

Install-time vaccination of windows executables to defend against stack smashing attacks (English)

IEEE Trans. Dependable Sec. Comput. 3, No. 1, 78-90 (2006).

3

PDF XML AMS-TeX TEXT BIBTeX URL

io-port 70760525 Lev-Ami, Tal; Immerman, Neil; Sagiv, Shmuel

Abstraction for shape analysis with fast and precise transformers (English)

CAV, 547-561 (2006).

4

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05417127 Yorsh, Greta; Skidanov, Alexey; Reps, Thomas W.; Sagiv, Shmuel

Automatic assume/Guarantee reasoning for heap-manipulating programs: Ongoing work. (English)

Electron. Notes Theor. Comput. Sci. 131, 125-138 (2005).

5

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 70118641 Lev-Ami, Tal; Immerman, Neil; Reps, Thomas W.; Sagiv, Shmuel; Srivastava, Siddharth; Yorsh, Greta

Simulating reachability using first-order logic with applications to verification of linked data structures (English)

CADE, 99-115 (2005).

6

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 70321596 Gopan, Denis; Reps, Thomas W.; Sagiv, Shmuel

A framework for numeric analysis of array operations (English)

POPL, 338-350 (2005).

7

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 70321802 Rinetzky, Noam; Bauer, Jörg; Reps, Thomas W.; Sagiv, Shmuel; Wilhelm, Reinhard

A semantics for procedure local heaps and its abstractions (English)

POPL, 296-309 (2005).

8

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 70648153 Sade, Yair; Sagiv, Shmuel; Shaham, Ran

Optimizing C multithreaded memory management using thread-local storage (English)

CC, 137-155 (2005).

9

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 70759754 Loginov, Alexey; Reps, Thomas W.; Sagiv, Shmuel

Abstraction refinement via inductive learning (English)

CAV, 519-533 (2005).

10

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 70922094 Manevich, Roman; Yahav, Eran; Ramalingam, Ganesan; Sagiv, Shmuel

Predicate abstraction and canonical abstraction for singly-linked lists (English)

VMCAI, 181-198 (2005).

11

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 70167981 Yorsh, Greta; Reps, Thomas W.; Sagiv, Shmuel

Symbolically computing most-precise abstract operations for shape analysis (English)

TACAS, 530-545 (2004).

12

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 70168032 Gopan, Denis; Dimaio, Frank; Dor, Nurit; Reps, Thomas W.; Sagiv, Shmuel

Numeric domains with summarized dimensions (English)

TACAS, 512-529 (2004).

13

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 70680297 Lev-Ami, Tal; Manevich, Roman; Sagiv, Shmuel

TVLA: A system for generating abstract interpreters (English)

IFIP Congress Topical Sessions, 367-376 (2004).

14

PDF XML AMS-TeX TEXT BIBTeX

io-port 70759854 Reps, Thomas W.; Sagiv, Shmuel; Wilhelm, Reinhard

Static program analysis via 3-valued logic (English)

CAV, 15-30 (2004).

15

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 70760060 Immerman, Neil; Rabinovich, Alexander Moshe; Reps, Thomas W.; Sagiv, Shmuel; Yorsh, Greta

Verification via structure simulation (English)

CAV, 281-294 (2004).

16

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 70840115 Manevich, Roman; Sagiv, Shmuel; Ramalingam, Ganesan; Field, John

Partially disjunctive heap abstraction (English)

SAS, 265-279 (2004).

17

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 70840525 Jeannet, Bertrand; Loginov, Alexey; Reps, Thomas W.; Sagiv, Shmuel

A relational approach to interprocedural shape analysis (English)

SAS, 246-264 (2004).

18

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 70921978 Sagiv, Shmuel

On the expressive power of canonical abstraction (English)

VMCAI, 58 (2004).

19

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 70922103 Reps, Thomas W.; Sagiv, Shmuel; Yorsh, Greta

Symbolic implementation of the best transformer (English)

VMCAI, 252-266 (2004).

20

PDF XML AMS-TeX TEXT BIBTeX DOI