Luke Hornof
Luke Hornof
Intel
Verified email at hornof.org - Homepage
TitleCited byYear
A uniform approach for compile-time and run-time specialization
C Consel, L Hornof, F Noël, J Noyé, N Volanschi
Partial Evaluation, 54-72, 1996
1831996
Tempo: Specializing Systems applications and Beyond.
C Consel, L Hornof, R Marlet, G Muller, S Thibault, EN Volanschi, J Lawall, ...
ACM Comput. Surv. 30 (3es), 19, 1998
1401998
Automatic, template-based run-time specialization: Implementation and experimental study
F Noel, L Hornof, C Consel, JL Lawall
Proceedings of the 1998 International Conference on Computer Languages (Cat …, 1998
1071998
Flexpoint: An adaptive numerical format for efficient training of deep neural networks
U Köster, T Webb, X Wang, M Nassar, AK Bansal, W Constable, O Elibol, ...
Advances in neural information processing systems, 1742-1752, 2017
722017
Certifying compilation and run-time code generation
L Hornof, T Jim
Higher-Order and Symbolic Computation 12 (4), 337-375, 1999
621999
Effective specialization of realistic programs via use sensitivity
L Hornof, C Consel, J Noyé
International Static Analysis Symposium, 293-314, 1997
571997
Accurate binding-time analysis for imperative languages: Flow, context, and return sensitivity
L Hornof, J Noyé
ACM SIGPLAN Notices 32 (12), 63-73, 1997
551997
Real-time analytics: Techniques to analyze and visualize streaming data
B Ellis
John Wiley & Sons, 2014
462014
Compiling for template-based run-time code generation
F Smith, D Grossman, G Morrisett, L Hornof, T Jim
Journal of Functional Programming 13 (3), 677-708, 2003
392003
Accurate binding-time analysis for imperative languages: Flow, context, and return sensitivity
L Hornof, J Noyé
Theoretical Computer Science 248 (1-2), 3-27, 2000
302000
A study of large object spaces
M Hicks, L Hornof, JT Moore, SM Nettles
ACM SIGPLAN Notices 34 (3), 138-145, 1998
301998
Partial Evaluation for Software Engineering.
C Consel, L Hornof, R Marlet, G Muller, S Thibault, EN Volanschi, J Lawall, ...
ACM Comput. Surv. 30 (3es), 20, 1998
211998
Static analyses for the effective specialization of realistic applications
L Hornof, M Jean-pierre, CCD De These
151997
A uniform and automatic approach to copy elimination in system extensions via program specialization
EN Volanschi, G Muller, C Consel, L Hornof, J Noyé, C Pu
121996
Compiling for runtime code generation
F Smith, D Grossman, G Morrisett, L Hornof, T Jim
Submitted for publication to JFP SAIG, 2000
42000
Compiling for runtime code generation (extended version)
F Smith, D Grossman, G Morrisett, L Hornof, T Jim
Cornell University, 2000
32000
Self-specializing mobile code for adaptive network services
L Hornof
IFIP International Working Conference on Active Networks, 102-113, 2000
22000
Dynamic management of numerical representation in a distributed matrix processor architecture
U Koster, WH Constable, LJ Hornof, CK Kloss, A Khosrowshahi, S Gray
US Patent App. 15/143,293, 2017
2017
Tempo
C Consel, L Hornof, R Marlet, G Muller, S Thibault, E Volanschi
ACM Computing Surveys 30 (3), 1998
1998
Effective Specialization of Realistic Programs via Use Sensitivity, SAS'97, Static Analysis
L HORNOF
LNCS 1302, 63-73, 1997
1997
The system can't perform the operation now. Try again later.
Articles 1–20