| 2003 | ||
|---|---|---|
| j5 | Frederick Smith, Dan Grossman, J. Gregory Morrisett, Luke Hornof, Trevor Jim: Compiling for template-based run-time code generation. J. Funct. Program. 13(3): 677-708 (2003) | |
| 2000 | ||
| j4 | Luke Hornof, Jacques Noyé: Accurate binding-time analysis for imperative languages: flow, context, and return sensitivity. Theor. Comput. Sci. 248(1-2): 3-27 (2000) | |
| c7 | ||
| 1999 | ||
| j3 | Luke Hornof, Trevor Jim: Certifying Compilation and Run-Time Code Generation. Higher-Order and Symbolic Computation 12(4): 337-375 (1999) | |
| c6 | ||
| 1998 | ||
| j2 | Charles Consel, Luke Hornof, Renaud Marlet, Gilles Muller, Scott Thibault, Eugen-Nicolae Volanschi: Tempo: Specializing Systems applications and Beyond. ACM Comput. Surv. 30(3es): 19 (1998) | |
| j1 | Charles Consel, Luke Hornof, Renaud Marlet, Gilles Muller, Scott Thibault, Eugen-Nicolae Volanschi: Partial Evaluation for Software Engineering. ACM Comput. Surv. 30(3es): 20 (1998) | |
| c5 | François Noël, Luke Hornof, Charles Consel, Julia L. Lawall: Automatic, Template-Based Run-Time Specialization: Implementation and Experimental Study. ICCL 1998: 132-142 | |
| c4 | Michael W. Hicks, Luke Hornof, Jonathan T. Moore, Scott Nettles: A Study of Large Object Spaces. ISMM 1998: 138-145 | |
| 1997 | ||
| c3 | Luke Hornof, Jacques Noyé: Accurate Binding-Time Analysis For Imperative Languages: Flow, Context, and Return Sensitivity. PEPM 1997: 63-73 | |
| c2 | Luke Hornof, Charles Consel, Jacques Noyé: Effective Specialization of Realistic Programs via Use Sensitivity. SAS 1997: 293-314 | |
| 1996 | ||
| c1 | Charles Consel, Luke Hornof, François Noël, Jacques Noyé, Nicolae Volansche: A Uniform Approach for Compile-Time and Run-Time Specialization. Dagstuhl Seminar on Partial Evaluation 1996: 54-72 | |
Colors in the list of coauthors
Last update Sat May 25 15:16:38 2013 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page