Benoit Boissinot
Benoit Boissinot
Google
Verified email at ens-lyon.org - Homepage
Title
Cited by
Cited by
Year
OpenMosix, OpenSSI and Kerrighed: a comparative study
R Lottiaux, P Gallard, G Vallée, C Morin, B Boissinot
CCGrid 2005. IEEE International Symposium on Cluster Computing and the Grid …, 2005
722005
Revisiting out-of-SSA translation for correctness, code quality and efficiency
B Boissinot, A Darte, F Rastello, BD De Dinechin, C Guillon
2009 International Symposium on Code Generation and Optimization, 114-125, 2009
652009
Fast liveness checking for SSA-form programs
B Boissinot, S Hack, D Grund, B Dupont de Dine hin, F Rastello
Proceedings of the 6th annual IEEE/ACM international symposium on Code …, 2008
372008
Openmosix, openssi and kerrighed: A comparative study
R Lottiaux, B Boissinot, P Gallard, G Vallée, C Morin
INRIA, 2004
232004
SSI properties revisited
B Boissinot, P Brisk, A Darte, F Rastello
ACM Transactions on Embedded Computing Systems (TECS) 11 (1), 1-23, 2012
212012
Graph-coloring and treescan register allocation using repairing
Q Colombet, B Boissinot, P Brisk, S Hack, F Rastello
2011 Proceedings of the 14th International Conference on Compilers …, 2011
212011
Parameterized construction of program representations for sparse dataflow analyses
A Tavares, B Boissinot, F Pereira, F Rastello
International Conference on Compiler Construction, 18-39, 2014
122014
A non-iterative data-flow algorithm for computing liveness sets in strict SSA programs
B Boissinot, F Brandner, A Darte, BD de Dinechin, F Rastello
Asian Symposium on Programming Languages and Systems, 137-154, 2011
122011
Towards an SSA based compiler back-end: some interesting properties of SSA and its extensions
B Boissinot
PhD thesis, École Normale Supérieure de Lyon, 2010. 4.2. 2, 2010
102010
A program representation for sparse dataflow analyses
ALC Tavares, B Boissinot, MAS Bigonha, R Bigonha, FMQ Pereira, ...
Science of Computer Programming X 201, 0
8
Computing Liveness Sets for SSA-Form Programs
F Brandner, B Boissinot, A Darte, BD De Dinechin, F Rastello
INRIA, 2011
52011
System to integrate real-world objects into social networks
T Deselaers, D Kohler, DM Keysers, M Sharifi, RZ Cohen, B Boissinot, ...
US Patent App. 13/843,144, 2014
42014
Application installs using remote applications
T Deselaers, B Boissinot
US Patent App. 14/827,994, 2017
32017
SSI revisited
B Boissinot, P Brisk, A Darte, F Rastello
12009
Distributed System Monitoring and Failure Diagnosis using Cooperative Virtual Backdoors
B Boissinot, C Morin, L Iftode
Technical report, ENS Lyon, June 2006, http://www. irisa. fr/paris/bibadmin …, 2006
2006
Rapport de stage de premiere année de Master Optimisation de cache d’instructions
B Boissinot, F Rastello, É Thierry
2005
Optimisation de cache d'instructions par analyse statique
P Vanier, B Boissinot, F Rastello
Probabilités de conflicts dans un graphe de flot de contrôle
B Boissinot
The system can't perform the operation now. Try again later.
Articles 1–18