William Landi

	2001
20		Barbara G. Ryder, William Landi, Phil Stocks, Sean Zhang, Rita Altucher: A schema for interprocedural modification side-effect analysis with pointer aliasing. ACM Trans. Program. Lang. Syst. 23(2): 105-186 (2001)
19		Ramkrishna Chatterjee, Barbara G. Ryder, William Landi: Complexity of Points-To Analysis of Java in the Presence of Exceptions. IEEE Trans. Software Eng. 27(6): 481-512 (2001)
	1999
18		Atanas Rountev, Barbara G. Ryder, William Landi: Data-Flow Analysis of Program Fragments. ESEC / SIGSOFT FSE 1999: 235-252
17		Jyh-Shiarn Yur, Barbara G. Ryder, William Landi: An Incremental Flow- and Context-Sensitive Pointer Aliasing Analysis. ICSE 1999: 442-451
16		Ramkrishna Chatterjee, Barbara G. Ryder, William Landi: Relevant Context Inference. POPL 1999: 133-146
	1998
15		Ramkrishna Chatterjee, Barbara G. Ryder, William Landi: Complexity of Concrete Type-Inference in the Presence of Exceptions. ESOP 1998: 57-74
14		Phil Stocks, Barbara G. Ryder, William Landi, Sean Zhang: Comparing Flow and Context Sensitivity on the Modification-Side-Effects Problem. ISSTA 1998: 21-31
13		Sean Zhang, Barbara G. Ryder, William Landi: Experiments with Combined Analysis for Pointer Aliasing. PASTE 1998: 11-18
	1997
12		Jyh-Shiarn Yur, Barbara G. Ryder, William Landi, Phil Stocks: Incremental Analysis of Side Effects for C Software System. ICSE 1997: 422-432
	1996
11		Sean Zhang, Barbara G. Ryder, William Landi: Program Decomposition for Pointer Aliasing: A Step Toward Practical Analyses. SIGSOFT FSE 1996: 81-92
	1995
10		Rita Altucher, William Landi: An Extended Form of Must Alias Analysis for Dynamic Allocation. POPL 1995: 74-84
	1994
9		Hemant D. Pande, William Landi, Barbara G. Ryder: Interprocedural Def-Use Associations for C Systems with Single Level Pointers. IEEE Trans. Software Eng. 20(5): 385-403 (1994)
	1993
8		William Landi, Barbara G. Ryder, Sean Zhang: Interprocedural Side Effect Analysis With Pointer Aliasing. PLDI 1993: 56-67
7		Thomas J. Marlowe, Jong-Deok Choi, William Landi, Michael G. Burke, Barbara G. Ryder, Paul R. Carini: Pointer-Induced Aliasing: A Clarification. SIGPLAN Notices 28(9): 67-70 (1993)
	1992
6		William Landi, Barbara G. Ryder: A safe approximate algorithm for interprocedural pointer aliasing (with retrospective) Best of PLDI 1992: 473-489
5		William Landi, Barbara G. Ryder: A Safe Approximate Algorithm for Interprocedural Pointer Aliasing. PLDI 1992: 235-248
4		William Landi: Undecidability of Static Analysis. LOPLAS 1(4): 323-337 (1992)
	1991
3		William Landi, Barbara G. Ryder: Pointer-Induced Aliasing: A Problem Classification. POPL 1991: 93-103
2		Hemant D. Pande, William Landi: Interprocedural Def-Use Associations in C Programs. Symposium on Testing, Analysis, and Verification 1991: 139-153
	1990
1		Barbara G. Ryder, William Landi, Hemant D. Pande: Profiling an Incremental Data Flow Analysis Algorithm. IEEE Trans. Software Eng. 16(2): 129-140 (1990)

Coauthor Index

1	Rita Altucher	[10] [20]
2	Michael G. Burke	[7]
3	Paul R. Carini	[7]
4	Ramkrishna Chatterjee	[15] [16] [19]
5	Jong-Deok Choi	[7]
6	Thomas J. Marlowe	[7]
7	Hemant D. Pande	[1] [2] [9]
8	Atanas Rountev	[18]
9	Barbara G. Ryder	[1] [3] [5] [6] [7] [8] [9] [11] [12] [13] [14] [15] [16] [17] [18] [19] [20]
10	Phil Stocks	[12] [14] [20]
11	Jyh-Shiarn Yur	[12] [17]
12	Sean Zhang	[8] [11] [13] [14] [20]