David Van Horn

	2011
20		Matthew Might, David Van Horn: A Family of Abstract Interpretations for Static Analysis of Concurrent Higher-Order Programs. SAS 2011: 180-197
19		Sam Tobin-Hochstadt, David Van Horn: Modular Analysis via Specifications as Values CoRR abs/1103.1362: (2011)
18		Matthew Might, David Van Horn: A family of abstract interpretations for static analysis of concurrent higher-order programs CoRR abs/1103.5167: (2011)
17		Sam Tobin-Hochstadt, David Van Horn: Semantic Solutions to Program Analysis Problems CoRR abs/1105.0106: (2011)
16		David Van Horn, Matthew Might: Abstracting Abstract Machines: A Systematic Approach to Higher-Order Program Analysis CoRR abs/1105.1743: (2011)
15		David Van Horn, Matthew Might: Systematic Abstraction of Abstract Machines CoRR abs/1107.3539: (2011)
14		David Van Horn, Matthew Might: An Analytic Framework for JavaScript CoRR abs/1109.4467: (2011)
13		David Van Horn, Matthew Might: Abstracting abstract machines: a systematic approach to higher-order program analysis. Commun. ACM 54(9): 101-109 (2011)
	2010
12		David Van Horn, Matthew Might: Abstracting abstract machines. ICFP 2010: 51-62
11		Matthew Might, Yannis Smaragdakis, David Van Horn: Resolving and exploiting the k-CFA paradox: illuminating functional vs. object-oriented program analysis. PLDI 2010: 305-315
10		Stephen Chang, David Van Horn, Matthias Felleisen: Evaluating Call-by-Need on the Control Stack. Trends in Functional Programming 2010: 1-15
9		Christopher Earl, Matthew Might, David Van Horn: Pushdown Control-Flow Analysis of Higher-Order Programs CoRR abs/1007.4268: (2010)
8		David Van Horn, Matthew Might: Abstracting Abstract Machines CoRR abs/1007.4446: (2010)
7		Christopher Earl, Matthew Might, David Van Horn: Stack-Summarizing Control-Flow Analysis of Higher-Order Programs CoRR abs/1009.1560: (2010)
6		Stephen Chang, David Van Horn, Matthias Felleisen: Evaluating Call-By-Need on the Control Stack CoRR abs/1009.3174: (2010)
	2008
5		David Van Horn, Harry G. Mairson: Deciding kCFA is complete for EXPTIME. ICFP 2008: 275-282
4		David Van Horn, Harry G. Mairson: Flow Analysis, Linearity, and PTIME. SAS 2008: 255-269
3		Christian Skalka, Scott F. Smith, David Van Horn: Types and trace effects of higher order programs. J. Funct. Program. 18(2): 179-249 (2008)
	2007
2		David Van Horn, Harry G. Mairson: Relating complexity and precision in control flow analysis. ICFP 2007: 85-96
	2005
1		Christian Skalka, Scott F. Smith, David Van Horn: A Type and Effect System for Flexible Abstract Interpretation of Java: (Extended Abstract). Electr. Notes Theor. Comput. Sci. 131: 111-124 (2005)

Coauthor Index

1	Stephen Chang	[6] [10]
2	Christopher Earl	[7] [9]
3	Matthias Felleisen	[6] [10]
4	Harry G. Mairson	[2] [4] [5]
5	Matthew Might	[7] [8] [9] [11] [12] [13] [14] [15] [16] [18] [20]
6	Christian Skalka	[1] [3]
7	Yannis Smaragdakis	[11]
8	Scott F. Smith	[1] [3]
9	Sam Tobin-Hochstadt	[17] [19]

Colors in the list of coauthors

Last update Sat Jun 2 20:57:36 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page