A Uniform Approach for Compile-Time and Run-Time Specialization. - Charles Consel; Luke Hornof; François Noël; Jacques Noyé; Nicolae Volansche (Dagstuhl Seminar on Partial Evaluation, 1996)

Effective Specialization of Realistic Programs via Use Sensitivity. - Luke Hornof; Charles Consel; Jacques Noyé (SAS, 1997)

Automatic, Template-Based Run-Time Specialization: Implementation and Experimental Study. - François Noël; Luke Hornof; Charles Consel; Julia L. Lawall (ICCL, 1998)

A Study of Large Object Spaces. - Michael W. Hicks; Luke Hornof; Jonathan T. Moore; Scott Nettles (ISMM, 1998)

Tempo: Specializing Systems applications and Beyond. - Charles Consel; Luke Hornof; Renaud Marlet; Gilles Muller; Scott Thibault; Eugen-Nicolae Volanschi (ACM Comput. Surv., 1998)

Partial Evaluation for Software Engineering. - Charles Consel; Luke Hornof; Renaud Marlet; Gilles Muller; Scott Thibault; Eugen-Nicolae Volanschi (ACM Comput. Surv., 1998)

Certifying Compilation and Run-Time Code Generation. - Luke Hornof; Trevor Jim (High. Order Symb. Comput., 1999)

Self-Specializing Mobile Code for Adaptive Network Services. - Luke Hornof (IWAN, 2000)

Accurate binding-time analysis for imperative languages: flow, context, and return sensitivity. - Luke Hornof; Jacques Noyé (Theor. Comput. Sci., 2000)

Compiling for template-based run-time code generation. - Frederick Smith; Dan Grossman; J. Gregory Morrisett; Luke Hornof; Trevor Jim (J. Funct. Program., 2003)

Flexpoint: An Adaptive Numerical Format for Efficient Training of Deep Neural Networks. - Urs Köster; Tristan Webb; Xin Wang; Marcel Nassar; Arjun K. Bansal; William Constable; Oguz Elibol; Stewart Hall; Luke Hornof; Amir Khosrowshahi; Carey Kloss; Ruby J. Pai; et al. (NIPS, 2017)