Search the dblp DataBase

Publications of Author

1. Charles Consel, Luke Hornof, François Noël, Jacques Noyé, Nicolae Volansche
   A Uniform Approach for Compile-Time and Run-Time Specialization. [Citation Graph (0, 0)][DBLP]
   Dagstuhl Seminar on Partial Evaluation, 1996, pp:54-72 [Conf]
   
2. François Noël, Luke Hornof, Charles Consel, Julia L. Lawall
   Automatic, Template-Based Run-Time Specialization: Implementation and Experimental Study. [Citation Graph (0, 0)][DBLP]
   ICCL, 1998, pp:132-142 [Conf]
   
3. Luke Hornof
   Self-Specializing Mobile Code for Adaptive Network Services. [Citation Graph (0, 0)][DBLP]
   IWAN, 2000, pp:102-113 [Conf]
   
4. Michael W. Hicks, Luke Hornof, Jonathan T. Moore, Scott Nettles
   A Study of Large Object Spaces. [Citation Graph (0, 0)][DBLP]
   ISMM, 1998, pp:138-145 [Conf]
   
5. Luke Hornof, Trevor Jim
   Certifying Compilation and Run-Time Code Generation. [Citation Graph (0, 0)][DBLP]
   PEPM, 1999, pp:60-74 [Conf]
   
6. Luke Hornof, Jacques Noyé
   Accurate Binding-Time Analysis For Imperative Languages: Flow, Context, and Return Sensitivity. [Citation Graph (0, 0)][DBLP]
   PEPM, 1997, pp:63-73 [Conf]
   
7. Luke Hornof, Charles Consel, Jacques Noyé
   Effective Specialization of Realistic Programs via Use Sensitivity. [Citation Graph (0, 0)][DBLP]
   SAS, 1997, pp:293-314 [Conf]
   
8. Charles Consel, Luke Hornof, Renaud Marlet, Gilles Muller, Scott Thibault, Eugen-Nicolae Volanschi
   Partial Evaluation for Software Engineering. [Citation Graph (0, 0)][DBLP]
   ACM Comput. Surv., 1998, v:30, n:3es, pp:20- [Journal]
   
9. Charles Consel, Luke Hornof, Renaud Marlet, Gilles Muller, Scott Thibault, Eugen-Nicolae Volanschi
   Tempo: Specializing Systems applications and Beyond. [Citation Graph (0, 0)][DBLP]
   ACM Comput. Surv., 1998, v:30, n:3es, pp:19- [Journal]
   
10. Frederick Smith, Dan Grossman, J. Gregory Morrisett, Luke Hornof, Trevor Jim
    Compiling for template-based run-time code generation. [Citation Graph (0, 0)][DBLP]
    J. Funct. Program., 2003, v:13, n:3, pp:677-708 [Journal]
    
11. Luke Hornof, Trevor Jim
    Certifying Compilation and Run-Time Code Generation. [Citation Graph (0, 0)][DBLP]
    Higher-Order and Symbolic Computation, 1999, v:12, n:4, pp:337-375 [Journal]
    
12. Luke Hornof, Jacques Noyé
    Accurate binding-time analysis for imperative languages: flow, context, and return sensitivity. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2000, v:248, n:1-2, pp:3-27 [Journal]