William Landi

2.5k total citations
26 papers, 1.5k citations indexed

About

William Landi is a scholar working on Software, Artificial Intelligence and Information Systems. According to data from OpenAlex, William Landi has authored 26 papers receiving a total of 1.5k indexed citations (citations by other indexed papers that have themselves been cited), including 21 papers in Software, 16 papers in Artificial Intelligence and 13 papers in Information Systems. Recurrent topics in William Landi's work include Software Testing and Debugging Techniques (21 papers), Software Engineering Research (13 papers) and Logic, programming, and type systems (10 papers). William Landi is often cited by papers focused on Software Testing and Debugging Techniques (21 papers), Software Engineering Research (13 papers) and Logic, programming, and type systems (10 papers). William Landi collaborates with scholars based in United States, Germany and Netherlands. William Landi's co-authors include Barbara G. Ryder, Sean X. Zhang, P. Stocks, Atanas Rountev and R. Bharat Rao and has published in prestigious journals such as IEEE Transactions on Software Engineering, ACM SIGPLAN Notices and ACM Transactions on Programming Languages and Systems.

In The Last Decade

William Landi

26 papers receiving 1.4k citations

Peers — A (Enhanced Table)

Peers by citation overlap · career bar shows stage (early→late) cites · hero ref

Name	h						Papers	Cites
William Landi United States	18	892	801	623	550	344	26	1.5k
Chandrasekhar Boyapati United States	15	794 0.9×	939 1.2×	577 0.9×	655 1.2×	121 0.4×	30	1.8k
Manuvir Das United States	15	1.1k 1.2×	778 1.0×	867 1.4×	312 0.6×	320 0.9×	24	1.7k
Ana Milanova United States	15	690 0.8×	721 0.9×	648 1.0×	215 0.4×	380 1.1×	49	1.2k
Benjamin Chelf United States	12	1.0k 1.2×	894 1.1×	1.0k 1.6×	466 0.8×	489 1.4×	14	2.0k
Aditya V. Nori United States	20	901 1.0×	585 0.7×	642 1.0×	174 0.3×	271 0.8×	45	1.4k
Ondřej Lhoták Canada	19	632 0.7×	956 1.2×	694 1.1×	341 0.6×	414 1.2×	54	1.5k
Michael Y. Levin United States	12	1.5k 1.7×	552 0.7×	819 1.3×	222 0.4×	807 2.3×	18	1.9k
Bjarne Steensgaard United States	14	435 0.5×	794 1.0×	351 0.6×	735 1.3×	197 0.6×	20	1.4k
Scott McPeak United States	8	486 0.5×	851 1.1×	496 0.8×	408 0.7×	485 1.4×	9	1.3k
Carlos Pacheco United States	8	1.6k 1.8×	449 0.6×	1.3k 2.0×	208 0.4×	305 0.9×	9	2.0k

Countries citing papers authored by William Landi

Since Specialization

Citations

This map shows the geographic impact of William Landi's research. It shows the number of citations coming from papers published by authors working in each country. You can also color the map by specialization and compare the number of citations received by William Landi with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites William Landi more than expected).

Fields of papers citing papers by William Landi

Since Specialization

Physical SciencesHealth SciencesLife SciencesSocial Sciences

This network shows the impact of papers produced by William Landi. Nodes represent research fields, and links connect fields that are likely to share authors. Colored nodes show fields that tend to cite the papers produced by William Landi. The network helps show where William Landi may publish in the future.

Co-authorship network of co-authors of William Landi

This figure shows the co-authorship network connecting the top 25 collaborators of William Landi. A scholar is included among the top collaborators of William Landi based on the total number of citations received by their joint publications. Widths of edges represent the number of papers authors have co-authored together. Node borders signify the number of papers an author published with William Landi. William Landi is excluded from the visualization to improve readability, since they are connected to all nodes in the network.

All Works

Sort: Min cites: Since: Top N: Style:

20 of 20 papers shown

Landi, William & Barbara G. Ryder. (2004). A safe approximate algorithm for interprocedural pointer aliasing. ACM SIGPLAN Notices. 39(4). 473–489. 60 indexed citations

Ryder, Barbara G., et al.. (2001). A schema for interprocedural modification side-effect analysis with pointer aliasing. ACM Transactions on Programming Languages and Systems. 23(2). 105–186. 74 indexed citations

Ryder, Barbara G., et al.. (2001). Complexity of points-to analysis of Java in the presence of exceptions. IEEE Transactions on Software Engineering. 27(6). 481–512. 17 indexed citations

Ryder, Barbara G., et al.. (1999). Relevant context inference. View. 133–146. 134 indexed citations

Rountev, Atanas, Barbara G. Ryder, & William Landi. (1999). Data-flow analysis of program fragments. ACM SIGSOFT Software Engineering Notes. 24(6). 235–252. 33 indexed citations

Stocks, P., Barbara G. Ryder, William Landi, & Sean X. Zhang. (1998). Comparing flow and context sensitivity on the modification-side-effects problem. View. 21–31. 31 indexed citations

Zhang, Sean X., Barbara G. Ryder, & William Landi. (1998). Experiments with combined analysis for pointer aliasing. ACM SIGPLAN Notices. 33(7). 11–18. 1 indexed citations

Stocks, P., Barbara G. Ryder, William Landi, & Sean X. Zhang. (1998). Comparing flow and context sensitivity on the modification-side-effects problem. ACM SIGSOFT Software Engineering Notes. 23(2). 21–31. 1 indexed citations

Zhang, Sean X., Barbara G. Ryder, & William Landi. (1998). Experiments with combined analysis for pointer aliasing. View. 11–18. 18 indexed citations

10.

Ryder, Barbara G., et al.. (1997). Incremental analysis of side effects for C software system. 422–432. 9 indexed citations

11.

Zhang, Sean X., Barbara G. Ryder, & William Landi. (1996). Program decomposition for pointer aliasing. ACM SIGSOFT Software Engineering Notes. 21(6). 81–92. 5 indexed citations

12.

Zhang, Sean X., Barbara G. Ryder, & William Landi. (1996). Program decomposition for pointer aliasing. 81–92. 70 indexed citations

13.

Landi, William, et al.. (1995). An extended form of must alias analysis for dynamic allocation. 74–84. 21 indexed citations

14.

Landi, William, et al.. (1994). Interprocedural def-use associations for C systems with single level pointers. IEEE Transactions on Software Engineering. 20(5). 385–403. 112 indexed citations

15.

Landi, William, Barbara G. Ryder, & Sean X. Zhang. (1993). Interprocedural modification side effect analysis with pointer aliasing. ACM SIGPLAN Notices. 28(6). 56–67. 18 indexed citations

16.

Landi, William, Barbara G. Ryder, & Sean X. Zhang. (1993). Interprocedural modification side effect analysis with pointer aliasing. View. 56–67. 111 indexed citations

17.

Landi, William. (1992). Undecidability of static analysis. 1(4). 323–337. 229 indexed citations

18.

Landi, William & Barbara G. Ryder. (1992). A safe approximate algorithm for interprocedural aliasing. 235–248. 259 indexed citations

19.

Landi, William & Barbara G. Ryder. (1992). A safe approximate algorithm for interprocedural aliasing. ACM SIGPLAN Notices. 27(7). 235–248. 73 indexed citations

20.

Ryder, Barbara G., et al.. (1990). Profiling an incremental data flow analysis algorithm. IEEE Transactions on Software Engineering. 16(2). 129–140. 16 indexed citations

Rankless uses publication and citation data sourced from OpenAlex, an open and comprehensive bibliographic database. While OpenAlex provides broad and valuable coverage of the global research landscape, it—like all bibliographic datasets—has inherent limitations. These include incomplete records, variations in author disambiguation, differences in journal indexing, and delays in data updates. As a result, some metrics and network relationships displayed in Rankless may not fully capture the entirety of a scholar's output or impact.

Explore authors with similar magnitude of impact