| |
| 2008 | ||
|---|---|---|
| 5 | EE | David Van Horn, Harry G. Mairson: Deciding kCFA is complete for EXPTIME. ICFP 2008: 275-282 |
| 4 | EE | David Van Horn, Harry G. Mairson: Flow Analysis, Linearity, and PTIME. SAS 2008: 255-269 |
| 3 | EE | 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 | EE | David Van Horn, Harry G. Mairson: Relating complexity and precision in control flow analysis. ICFP 2007: 85-96 |
| 2005 | ||
| 1 | EE | 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 | Harry G. Mairson | [2] [4] [5] |
| 2 | Christian Skalka | [1] [3] |
| 3 | Scott F. Smith | [1] [3] |