Luke Hornof
Luke Hornof
Intel
Adresse e-mail validée de hornof.org - Page d'accueil
Titre
Citée par
Citée par
Année
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
1891996
Flexpoint: An adaptive numerical format for efficient training of deep neural networks
U Köster, TJ Webb, X Wang, M Nassar, AK Bansal, WH Constable, ...
arXiv preprint arXiv:1711.02213, 2017
1862017
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
1511998
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
1071998
Real-time analytics: Techniques to analyze and visualize streaming data
B Ellis
John Wiley & Sons, 2014
762014
Certifying compilation and run-time code generation
L Hornof, T Jim
Higher-Order and Symbolic Computation 12 (4), 337-375, 1999
691999
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
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
382003
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
311998
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
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
201998
Static Analyses for the Effective Specialization of Realistic Applications
L Hornof, M Jean-pierre, CCD De These
161997
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
13*1996
Self-specializing mobile code for adaptive network services
L Hornof
IFIP International Working Conference on Active Networks, 102-113, 2000
42000
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
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
22020
Self-Specializing Mobile Code
L Hornof
Active Networks:... International Working Conference, IWAN..., Proceedings, 102, 2000
2000
Implementation and Experimental Study
F Noël, L Hornof, C Consel, JL Lawallt
Proceedings: International Conference on Computer Languages, 132, 1998
1998
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–20