Jeffrey S. Foster

	2012
46		Christopher M. Hayden, Stephen Magill, Michael Hicks, Nate Foster, Jeffrey S. Foster: Specifying and Verifying the Correctness of Dynamic Software Updates. VSTTE 2012: 278-293
	2011
45		Christopher M. Hayden, Edward K. Smith, Michael Hicks, Jeffrey S. Foster: State transfer for clear and efficient runtime updates. ICDE Workshops 2011: 179-184
44		Saurabh Srivastava, Sumit Gulwani, Swarat Chaudhuri, Jeffrey S. Foster: Path-based inductive synthesis for program inversion. PLDI 2011: 492-503
43		Jong-hoon (David) An, Avik Chaudhuri, Jeffrey S. Foster, Michael Hicks: Dynamic inference of static types for ruby. POPL 2011: 459-472
42		Kin-Keung Ma, Yit Phang Khoo, Jeffrey S. Foster, Michael Hicks: Directed Symbolic Execution. SAS 2011: 95-111
41		Polyvios Pratikakis, Jeffrey S. Foster, Michael Hicks: LOCKSMITH: Practical static race detection for C. ACM Trans. Program. Lang. Syst. 33(1): 3 (2011)
	2010
40		Avik Chaudhuri, Jeffrey S. Foster: Symbolic security analysis of ruby-on-rails web applications. ACM Conference on Computer and Communications Security 2010: 585-594
39		Elnatan Reisner, Charles Song, Kin-Keung Ma, Jeffrey S. Foster, Adam Porter: Using symbolic evaluation to understand behavior in configurable software systems. ICSE (1) 2010: 445-454
38		Yit Phang Khoo, Bor-Yuh Evan Chang, Jeffrey S. Foster: Mixing type checking and symbolic execution. PLDI 2010: 436-447
37		Saurabh Srivastava, Sumit Gulwani, Jeffrey S. Foster: From program verification to program synthesis. POPL 2010: 313-326
36		Michael W. Hicks, Jeffrey S. Foster: SCORE: agile research group management. Commun. ACM 53(10): 30-31 (2010)
35		Jeffrey A. Meister, Jeffrey S. Foster, Michael Hicks: Serializing C intermediate representations for efficient and portable parsing. Softw., Pract. Exper. 40(3): 225-238 (2010)
	2009
34		Jong-hoon (David) An, Avik Chaudhuri, Jeffrey S. Foster: Static Typing for Ruby on Rails. ASE 2009: 590-594
33		Saurabh Srivastava, Sumit Gulwani, Jeffrey S. Foster: VS3: SMT Solvers for Program Verification. CAV 2009: 702-708
32		Yit Phang Khoo, Michael Hicks, Jeffrey S. Foster, Vibha Sazawal: Directing JavaScript with arrows. DLS 2009: 49-58
31		Michael Furr, Jong-hoon (David) An, Jeffrey S. Foster, Michael Hicks: The ruby intermediate language. DLS 2009: 89-98
30		Christopher M. Hayden, Eric A. Hardisty, Michael W. Hicks, Jeffrey S. Foster: Efficient Systematic Testing for Dynamically Updatable Software. HotSWUp 2009
29		Michael Furr, Jong-hoon (David) An, Jeffrey S. Foster: Profile-guided static typing for dynamic scripting languages. OOPSLA 2009: 283-300
28		Michael Furr, Jong-hoon (David) An, Jeffrey S. Foster, Michael W. Hicks: Static type inference for Ruby. SAC 2009: 1859-1866
	2008
27		Yit Phang Khoo, Jeffrey S. Foster, Michael Hicks, Vibha Sazawal: Path projection for user-centered static analysis tools. PASTE 2008: 57-63
26		Iulian Neamtiu, Michael Hicks, Jeffrey S. Foster, Polyvios Pratikakis: Contextual effects for version-consistent dynamic software updatingalland safe concurrent programming. POPL 2008: 37-49
25		Polyvios Pratikakis, Jeffrey S. Foster, Michael Hicks, Iulian Neamtiu: Formalizing Soundness of Contextual Effects. TPHOLs 2008: 262-277
24		Michael Furr, Jeffrey S. Foster: Checking type safety of foreign function calls. ACM Trans. Program. Lang. Syst. 30(4): (2008)
23		Saurabh Srivastava, Michael Hicks, Jeffrey S. Foster, Patrick Jenkins: Modular Information Hiding and Type-Safe Linking for C. IEEE Trans. Software Eng. 34(3): 357-376 (2008)
22		Octavian Udrea, Cristian Lumezanu, Jeffrey S. Foster: Rule-based static analysis of network protocol implementations. Inf. Comput. 206(2-4): 130-157 (2008)
	2007
21		David Greenfieldboyce, Jeffrey S. Foster: Type qualifier inference for java. OOPSLA 2007: 321-336
20		Kin-Keung Ma, Jeffrey S. Foster: Inferring aliasing and encapsulation properties for java. OOPSLA 2007: 423-440
19		Jeffrey S. Foster, Michael W. Hicks, William Pugh: Improving software quality with static analysis. PASTE 2007: 83-84
18		Saurabh Srivastava, Michael Hicks, Jeffrey S. Foster: Modular information hiding and type-safe linking for C. TLDI 2007: 3-14
	2006
17		Michael Furr, Jeffrey S. Foster: Polymorphic Type Inference for the JNI. ESOP 2006: 309-324
16		Polyvios Pratikakis, Jeffrey S. Foster, Michael W. Hicks: LOCKSMITH: context-sensitive correlation analysis for race detection. PLDI 2006: 320-331
15		Polyvios Pratikakis, Jeffrey S. Foster, Michael Hicks: Existential Label Flow Inference Via CFL Reachability. SAS 2006: 88-106
14		Jeffrey S. Foster, Robert Johnson, John Kodumal, Alex Aiken: Flow-insensitive type qualifiers. ACM Trans. Program. Lang. Syst. 28(6): 1035-1087 (2006)
	2005
13		Iulian Neamtiu, Jeffrey S. Foster, Michael W. Hicks: Understanding source code evolution using abstract syntax tree matching. MSR 2005
12		Michael Furr, Jeffrey S. Foster: Checking type safety of foreign function calls. PLDI 2005: 62-72
11		Iulian Neamtiu, Jeffrey S. Foster, Michael Hicks: Understanding source code evolution using abstract syntax tree matching. ACM SIGSOFT Software Engineering Notes 30(4): 1-5 (2005)
	2004
10		David Greenfieldboyce, Jeffrey S. Foster: Visualizing type qualifier inference with Eclipse. ETX 2004: 57-61
9		Nick Rutar, Christian B. Almazan, Jeffrey S. Foster: A Comparison of Bug Finding Tools for Java. ISSRE 2004: 245-256
	2003
8		Alexander Aiken, Jeffrey S. Foster, John Kodumal, Tachio Terauchi: Checking and inferring local non-aliasing. PLDI 2003: 129-140
	2002
7		Jeffrey S. Foster, Tachio Terauchi, Alexander Aiken: Flow-Sensitive Type Qualifiers. PLDI 2002: 1-12
	2001
6		Umesh Shankar, Kunal Talwar, Jeffrey S. Foster, David Wagner: Detecting Format String Vulnerabilities with Type Qualifiers. USENIX Security Symposium 2001
	2000
5		David Wagner, Jeffrey S. Foster, Eric A. Brewer, Alexander Aiken: A First Step Towards Automated Detection of Buffer Overrun Vulnerabilities. NDSS 2000
4		Jeffrey S. Foster, Manuel Fähndrich, Alexander Aiken: Polymorphic versus Monomorphic Flow-Insensitive Points-to Analysis for C. SAS 2000: 175-198
	1999
3		Jeffrey S. Foster, Manuel Fähndrich, Alexander Aiken: A Theory of Type Qualifiers. PLDI 1999: 192-203
	1998
2		Manuel Fähndrich, Jeffrey S. Foster, Zhendong Su, Alexander Aiken: Partial Online Cycle Elimination in Inclusion Constraint Graphs. PLDI 1998: 85-96
1		Alexander Aiken, Manuel Fähndrich, Jeffrey S. Foster, Zhendong Su: A Toolkit for Constructing Type- and Constraint-Based Program Analyses. Types in Compilation 1998: 78-96

Coauthor Index

1	Alexander Aiken (Alex Aiken)	[1] [2] [3] [4] [5] [7] [8] [14]
2	Christian B. Almazan	[9]
3	Jong-hoon (David) An	[28] [29] [31] [34] [43]
4	Eric A. Brewer	[5]
5	Bor-Yuh Evan Chang	[38]
6	Avik Chaudhuri	[34] [40] [43]
7	Swarat Chaudhuri	[44]
8	Manuel Fähndrich	[1] [2] [3] [4]
9	Nate Foster (J. Nathan Foster)	[46]
10	Michael Furr	[12] [17] [24] [28] [29] [31]
11	David Greenfieldboyce	[10] [21]
12	Sumit Gulwani	[33] [37] [44]
13	Eric A. Hardisty	[30]
14	Christopher M. Hayden	[30] [45] [46]
15	Michael W. Hicks (Michael Hicks)	[11] [13] [15] [16] [18] [19] [23] [25] [26] [27] [28] [30] [31] [32] [35] [36] [41] [42] [43] [45] [46]
16	Patrick Jenkins	[23]
17	Robert Johnson	[14]
18	Yit Phang Khoo	[27] [32] [38] [42]
19	John Kodumal	[8] [14]
20	Cristian Lumezanu	[22]
21	Kin-Keung Ma	[20] [39] [42]
22	Stephen Magill	[46]
23	Jeffrey A. Meister	[35]
24	Iulian Neamtiu	[11] [13] [25] [26]
25	Adam Porter	[39]
26	Polyvios Pratikakis	[15] [16] [25] [26] [41]
27	William Pugh	[19]
28	Elnatan Reisner	[39]
29	Nick Rutar	[9]
30	Vibha Sazawal	[27] [32]
31	Umesh Shankar	[6]
32	Edward K. Smith	[45]
33	Charles Song	[39]
34	Saurabh Srivastava	[18] [23] [33] [37] [44]
35	Zhendong Su	[1] [2]
36	Kunal Talwar	[6]
37	Tachio Terauchi	[7] [8]
38	Octavian Udrea	[22]
39	David Wagner	[5] [6]

Colors in the list of coauthors

Last update Wed May 30 22:34:44 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page