William Landi - Concepedia

Author

William Landi

Rutgers, The State University of New Jersey

Also Known As

Landi, William, W. Landi, W.A. Landi, William A. Landi, William Landi

Publications

2.5K

Citations

H-Index

Concepts

All Affiliations

Rutgers, The State University of New Jersey Siemens (United States)Princeton University Siemens (Germany)

About

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

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	18	18	2.3K
2	Business	1	1	19
3	Language Studies	1	1	205
4	Social Sciences	1	1	39
5	Cognitive Science	1	1	39

William Landi

Publications

2.4K

Citations

H-Index

Page 1

	Year	Citations
Undecidability of static analysis William Landi ACM Letters on Programming Languages and Systems EngineeringVerificationSoftware EngineeringComputational ComplexitySoftware Analysis	1992	381
A safe approximate algorithm for interprocedural aliasing William Landi, Barbara G. Ryder EngineeringComputational ComplexityMulti-resolution MethodSoftware AnalysisFormal Verification	1992	333
A safe approximate algorithm for interprocedural pointer aliasing William Landi, Barbara G. Ryder ACM SIGPLAN Notices EngineeringCompiler TechnologyComputer ArchitectureComputational ComplexitySoftware Analysis	2004	278
Relevant context inference Ramkrishna Chatterjee, Barbara G. Ryder, William Landi EngineeringSoftware EngineeringSemanticsContext AnalysisSoftware Analysis	1999	205
Pointer-induced aliasing: a problem taxonomy William Landi, Barbara G. Ryder Computational Complexity TheoryEngineeringComputational ComplexityMemory Model (Programming)Software Analysis	1991	203
Interprocedural modification side effect analysis with pointer aliasing William Landi, Barbara G. Ryder, Sean X. Zhang EngineeringElectronic Design AutomationCompiler TechnologyChange Impact AnalysisComputer Architecture	1993	152
Interprocedural def-use associations for C systems with single level pointers Hemant D. Pande, William Landi, Barbara G. Ryder IEEE Transactions on Software Engineering EngineeringSoftware SystemsComputer ArchitectureSoftware EngineeringComputational Complexity	1994	140
A safe approximate algorithm for interprocedural aliasing William Landi, Barbara G. Ryder ACM SIGPLAN Notices EngineeringComputational ComplexityMulti-resolution MethodSoftware AnalysisFormal Verification	1992	121
A schema for interprocedural modification side-effect analysis with pointer aliasing Barbara G. Ryder, William Landi, P. Stocks, ACM Transactions on Programming Languages and Systems EngineeringCompiler TechnologyComputer ArchitectureSoftware EngineeringSource Code Analysis	2001	96
Program decomposition for pointer aliasing Sean X. Zhang, Barbara G. Ryder, William Landi Thru-deref Mod/refEngineeringCompiler TechnologyComputer ArchitectureSoftware Engineering	1996	89

Page 1