William R. Harris

	2011
5		William R. Harris, Sumit Gulwani: Spreadsheet table transformations from examples. PLDI 2011: 317-328
	2010
4		William R. Harris, Somesh Jha, Thomas W. Reps: DIFC programs by automatic instrumentation. ACM Conference on Computer and Communications Security 2010: 284-296
3		William R. Harris, Sriram Sankaranarayanan, Franjo Ivancic, Aarti Gupta: Program analysis via satisfiability modulo path programs. POPL 2010: 71-82
2		William R. Harris, Akash Lal, Aditya V. Nori, Sriram K. Rajamani: Alternation for Termination. SAS 2010: 304-319
	2009
1		William R. Harris, Nicholas Kidd, Sagar Chaki, Somesh Jha, Thomas W. Reps: Verifying Information Flow Control over Unbounded Processes. FM 2009: 773-789

Coauthor Index

1	Sagar Chaki	[1]
2	Sumit Gulwani	[5]
3	Aarti Gupta	[3]
4	Franjo Ivancic	[3]
5	Somesh Jha	[1] [4]
6	Nicholas Kidd	[1]
7	Akash Lal	[2]
8	Aditya V. Nori	[2]
9	Sriram K. Rajamani	[2]
10	Thomas W. Reps	[1] [4]
11	Sriram Sankaranarayanan	[3]

Colors in the list of coauthors

Last update Fri May 25 01:42:58 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page