Nathan Keynes

	2011
4		Lian Li, Cristina Cifuentes, Nathan Keynes: Boosting the performance of flow-sensitive points-to analysis using value flow. SIGSOFT FSE 2011: 343-353
3		Cristina Cifuentes, Nathan Keynes, Lian Li, Nathan Hawes, Manuel Valdiviezo, Andrew Browne, Jacob Zimmermann, Andrew Craik, Douglas Teoh, Christian Hoermann: Static deep error checking in large system applications using parfait. SIGSOFT FSE 2011: 432-435
	2010
2		Lian Li, Cristina Cifuentes, Nathan Keynes: Practical and effective symbolic analysis for buffer overflow detection. SIGSOFT FSE 2010: 317-326
	2009
1		Cristina Cifuentes, Nathan Keynes, Lian Li, Bernhard Scholz: Program analysis for bug detection using parfait: invited talk. PEPM 2009: 7-8

Coauthor Index

1	Andrew Browne	[3]
2	Cristina Cifuentes	[1] [2] [3] [4]
3	Andrew Craik	[3]
4	Nathan Hawes	[3]
5	Christian Hoermann	[3]
6	Lian Li	[1] [2] [3] [4]
7	Bernhard Scholz	[1]
8	Douglas Teoh	[3]
9	Manuel Valdiviezo	[3]
10	Jacob Zimmermann	[3]

Last update Sun Jun 3 16:06:10 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page