| 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 | 352 | 2017 |
| 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 | 198 | 2005 |
| 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 | 158 | 1998 |
| 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 | 118 | 1998 |
| Real-time analytics: Techniques to analyze and visualize streaming data B Ellis John Wiley & Sons, 2014 | 114 | 2014 |
| Certifying compilation and run-time code generation L Hornof, T Jim Higher-Order and Symbolic Computation 12, 337-375, 1999 | 70 | 1999 |
| Accurate binding-time analysis for imperative languages: Flow, context, and return sensitivity L Hornof, J Noyé ACM SIGPLAN Notices 32 (12), 63-73, 1997 | 59 | 1997 |
| Effective specialization of realistic programs via use sensitivity L Hornof, C Consel, J Noyé International Static Analysis Symposium, 293-314, 1997 | 59 | 1997 |
| 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 | 58 | 2020 |
| 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 | 45 | 2003 |
| 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 | 35 | 1998 |
| 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 | 33 | 2000 |
| 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 | 21 | 1998 |
| Static analyses for the effective specialization of realistic applications L Hornof PhD thesis, University de Rennes I, june1997, 1997 | 15 | 1997 |
| 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 | 4 | 2000 |
| Self-specializing mobile code for adaptive network services L Hornof IFIP International Working Conference on Active Networks, 102-113, 2000 | 4 | 2000 |
| Analyses statiques pour la spécialisation effective de programmes réalistes L Hornof Rennes 1, 1997 | 2 | 1997 |
| 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 |
Charles ConselProfessor of Computer Science, Bordeaux INPVerified email at bordeaux-inp.fr