- CSB - MetaPress - Google - Bing - Yahoo
 | 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) |
| 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 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