Follow
Luke Hornof
Luke Hornof
Luminide
Verified email at hornof.org - Homepage
Title
Cited by
Cited by
Year
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 30, 2017
3322017
A uniform approach for compile-time and run-time specialization
C Consel, L Hornof, F Noël, J Noyé, N Volanschi
Partial Evaluation: International Seminar Dagstuhl Castle, Germany, February …, 2005
1972005
Tempo: Specializing systems applications and beyond
C Consel, L Hornof, R Marlet, G Muller, S Thibault, EN Volanschi, J Lawall, ...
ACM Computing Surveys (CSUR) 30 (3es), 19-es, 1998
1581998
Automatic, template-based run-time specialization: Implementation and experimental study
F Noël, L Hornof, C Consel, JL Lawall
Proceedings of the 1998 International Conference on Computer Languages (Cat …, 1998
1171998
Real-time analytics: Techniques to analyze and visualize streaming data
B Ellis
John Wiley & Sons, 2014
1052014
Certifying compilation and run-time code generation
L Hornof, T Jim
Higher-Order and Symbolic Computation 12, 337-375, 1999
701999
Accurate binding-time analysis for imperative languages: Flow, context, and return sensitivity
L Hornof, J Noyé
ACM SIGPLAN Notices 32 (12), 63-73, 1997
591997
Effective specialization of realistic programs via use sensitivity
L Hornof, C Consel, J Noyé
International Static Analysis Symposium, 293-314, 1997
591997
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 10,552,119, 2020
522020
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
452003
A study of large object spaces
M Hicks, L Hornof, JT Moore, SM Nettles
Proceedings of the 1st international symposium on Memory management, 138-145, 1998
351998
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
332000
Partial evaluation for software engineering
C Consel, L Hornof, R Marlet, G Muller, S Thibault, EN Volanschi, J Lawall, ...
ACM Computing Surveys (CSUR) 30 (3es), 20-es, 1998
211998
Static analyses for the effective specialization of realistic applications
L Hornof
PhD thesis, University de Rennes I, june1997, 1997
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
INRIA, 1996
12*1996
Compiling for runtime code generation (extended version)
F Smith, D Grossman, G Morrisett, L Hornof, T Jim
Cornell University, 2000
42000
Self-specializing mobile code for adaptive network services
L Hornof
IFIP International Working Conference on Active Networks, 102-113, 2000
42000
Analyses statiques pour la spécialisation effective de programmes réalistes
L Hornof
Rennes 1, 1997
21997
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