Searching for authors named "William Landi" – sorted by Relevance.
16 documents found, showing 1 through 10.
Next 10 →
-
Undecidability of Static Analysis
- …Undecidability of Static Analysis William Landi Siemens Corporate Research Inc 755 College Rd East…
- Cited by 106 (6 self) – Add To MetaCart
-
A Safe Approximate Algorithm for Interprocedural Pointer Aliasing
- …A Safe Approximate Algorithm for Interprocedural Pointer Aliasing 3 William Landi y Barbara G…
- Cited by 298 (33 self) – Add To MetaCart
-
Program Decomposition for Pointer Aliasing: A Step toward Practical Analyses
- … fxxzhang,ryderg@(email omitted); William Landi Siemens Corporate Research Inc 755 College Rd. East…
- Cited by 44 (16 self) – Add To MetaCart
-
Program Decomposition for Pointer-induced Aliasing Analysis
- … Science Rutgers University New Brunswick, NJ 08903 William Landi Siemens Corporate Research Inc 755…
- Cited by 3 (1 self) – Add To MetaCart
-
Incremental Algorithms and Empirical Comparison for Flow- and Context-sensitive Pointer Aliasing Analysis
- … Piscataway NJ 08855, USA +1 732 445 4070 {yur,ryder}@(email omitted); William A. Landi # # Siemens…
- Cited by 4 (0 self) – Add To MetaCart
-
Incremental analysis of side effects for C software systems
- …,ryder,pstocks}@(email omitted); William A. Landi # Phil Stocks + # Siemens Corporate Research, Inc. 755 College Road East Princeton NJ…
- Cited by 7 (1 self) – Add To MetaCart
-
Interprocedural Reaching Definitions in the Presence of Single Level Pointers
- …@(email omitted); William Landi Siemens Corporate Research Inc 755 College Rd. East Princeton, NJ 08540 landi…
- Cited by 2 (0 self) – Add To MetaCart
-
Comparing Flow and Context Sensitivity on the Modification-side-effects Problem
- … y Barbara G. Ryder y William A. Landi z Sean Zhang y y Dept of Computer Science Hill Center…
- Cited by 16 (1 self) – Add To MetaCart
-
Complexity of Points-to Analysis of Java in the Presence of Exceptions
- … 08854, USA {ryder}@(email omitted); William A. Landi # # Siemens Corporate Research, Inc. 755 College…
- Cited by 3 (0 self) – Add To MetaCart
-
Experiments with Combined Analysis for Pointer Aliasing
- …,ryderg@(email omitted); William A. Landi Siemens Corporate Research Inc 755 College Rd. East Princeton, NJ 08540 wlandi…
- Cited by 19 (5 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
