| 2003 |
|---|
| 12 | EE | 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 |
|---|
| 11 | EE | Luke Hornof:
Self-Specializing Mobile Code for Adaptive Network Services.
IWAN 2000: 102-113 |
| 10 | EE | 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) |
| 1999 |
|---|
| 9 | | Luke Hornof,
Trevor Jim:
Certifying Compilation and Run-Time Code Generation.
PEPM 1999: 60-74 |
| 8 | | Luke Hornof,
Trevor Jim:
Certifying Compilation and Run-Time Code Generation.
Higher-Order and Symbolic Computation 12(4): 337-375 (1999) |
| 1998 |
|---|
| 7 | EE | 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 |
| 6 | EE | Michael W. Hicks,
Luke Hornof,
Jonathan T. Moore,
Scott Nettles:
A Study of Large Object Spaces.
ISMM 1998: 138-145 |
| 5 | EE | 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) |
| 4 | EE | 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) |
| 1997 |
|---|
| 3 | EE | Luke Hornof,
Jacques Noyé:
Accurate Binding-Time Analysis For Imperative Languages: Flow, Context, and Return Sensitivity.
PEPM 1997: 63-73 |
| 2 | | Luke Hornof,
Charles Consel,
Jacques Noyé:
Effective Specialization of Realistic Programs via Use Sensitivity.
SAS 1997: 293-314 |
| 1996 |
|---|
| 1 | | 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 |
