Stephen McCamant

	2012
16		Lorenzo Martignoni, Stephen McCamant, Pongsin Poosankam, Dawn Song, Petros Maniatis: Path-exploration lifting: hi-fi tests for lo-fi emulators. ASPLOS 2012: 337-348
	2011
15		Noah M. Johnson, Juan Caballero, Kevin Zhijie Chen, Stephen McCamant, Pongsin Poosankam, Daniel Reynaud, Dawn Song: Differential Slicing: Identifying Causal Execution Differences for Security Applications. IEEE Symposium on Security and Privacy 2011: 347-362
14		Domagoj Babic, Lorenzo Martignoni, Stephen McCamant, Dawn Song: Statically-directed dynamic automated test generation. ISSTA 2011: 12-22
13		Min Gyung Kang, Stephen McCamant, Pongsin Poosankam, Dawn Song: DTA++: Dynamic Taint Analysis with Targeted Control-Flow Propagation. NDSS 2011
	2010
12		Juan Caballero, Pongsin Poosankam, Stephen McCamant, Domagoj Babic, Dawn Song: Input generation via decomposition and re-stitching: finding bugs in Malware. ACM Conference on Computer and Communications Security 2010: 413-425
11		Prateek Saxena, Devdatta Akhawe, Steve Hanna, Feng Mao, Stephen McCamant, Dawn Song: A Symbolic Execution Framework for JavaScript. IEEE Symposium on Security and Privacy 2010: 513-528
10		Juan Caballero, Noah M. Johnson, Stephen McCamant, Dawn Song: Binary Code Extraction and Interface Identification for Security Applications. NDSS 2010
	2009
9		Prateek Saxena, Pongsin Poosankam, Stephen McCamant, Dawn Song: Loop-extended symbolic execution on binary programs. ISSTA 2009: 225-236
8		James Newsome, Stephen McCamant, Dawn Song: Measuring channel capacity to distinguish undue influence. PLAS 2009: 73-85
	2008
7		Stephen McCamant, Michael D. Ernst: Quantitative information flow as network flow capacity. PLDI 2008: 193-205
	2007
6		Stephen McCamant, Michael D. Ernst: A simulation-based proof technique for dynamic information flow. PLAS 2007: 41-46
5		Michael D. Ernst, Jeff H. Perkins, Philip J. Guo, Stephen McCamant, Carlos Pacheco, Matthew S. Tschantz, Chen Xiao: The Daikon system for dynamic detection of likely invariants. Sci. Comput. Program. 69(1-3): 35-45 (2007)
	2006
4		Brian Demsky, Michael D. Ernst, Philip J. Guo, Stephen McCamant, Jeff H. Perkins, Martin C. Rinard: Inference and enforcement of data structure consistency specifications. ISSTA 2006: 233-244
3		Philip J. Guo, Jeff H. Perkins, Stephen McCamant, Michael D. Ernst: Dynamic inference of abstract types. ISSTA 2006: 255-265
	2004
2		Stephen McCamant, Michael D. Ernst: Early Identification of Incompatibilities in Multi-component Upgrades. ECOOP 2004: 440-464
	2003
1		Stephen McCamant, Michael D. Ernst: Predicting problems caused by component upgrades. ESEC / SIGSOFT FSE 2003: 287-296

Coauthor Index

1	Devdatta Akhawe	[11]
2	Domagoj Babic	[12] [14]
3	Juan Caballero	[10] [12] [15]
4	Kevin Zhijie Chen	[15]
5	Brian Demsky	[4]
6	Michael D. Ernst	[1] [2] [3] [4] [5] [6] [7]
7	Philip J. Guo	[3] [4] [5]
8	Steve Hanna	[11]
9	Noah M. Johnson	[10] [15]
10	Min Gyung Kang	[13]
11	Petros Maniatis	[16]
12	Feng Mao	[11]
13	Lorenzo Martignoni	[14] [16]
14	James Newsome	[8]
15	Carlos Pacheco	[5]
16	Jeff H. Perkins	[3] [4] [5]
17	Pongsin Poosankam	[9] [12] [13] [15] [16]
18	Daniel Reynaud	[15]
19	Martin C. Rinard	[4]
20	Prateek Saxena	[9] [11]
21	Dawn Xiaodong Song (Dawn Song)	[8] [9] [10] [11] [12] [13] [14] [15] [16]
22	Matthew S. Tschantz	[5]
23	Chen Xiao	[5]

Colors in the list of coauthors

Last update Mon Jun 4 20:40:43 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page