Concepedia

William Landi

WL

21

Publications

2.4K

Citations

19

H-Index

1990

Active since

Affiliations

Rutgers, The State University of New Jersey(Current)

Siemens (United States)

Princeton University

Siemens (Germany)

William Landi is an author at Rutgers, The State University of New Jersey specializing in software analysis, computer science, and engineering.

Top concepts

EngineeringComputer ScienceProgram AnalysisSoftware AnalysisFormal MethodsComputer EngineeringSoftware EngineeringSystem SoftwareFormal VerificationSoftware Testing

Publications per year

1990–2004

21

Publications

21

Undecidability of static analysis

William Landi · ACM Letters on Programming Languages and Systems · 1992 · 381 citations · Full text

Engineering, Verification, Software Engineering +16

A safe approximate algorithm for interprocedural aliasing

William Landi, Barbara G. Ryder · 1992 · 333 citations · Full text

Engineering, Computational Complexity, Multi-resolution Method +22

A safe approximate algorithm for interprocedural pointer aliasing

William Landi, Barbara G. Ryder · ACM SIGPLAN Notices · 2004 · 278 citations

Engineering, Compiler Technology, Computer Architecture +20

Relevant context inference

Ramkrishna Chatterjee, Barbara G. Ryder, William Landi · 1999 · 205 citations · Full text

Engineering, Software Engineering, Semantics +25

Pointer-induced aliasing: a problem taxonomy

William Landi, Barbara G. Ryder · 1991 · 203 citations

Computational Complexity Theory, Engineering, Computational Complexity +20

Rows per page

1–5 of 21