Benoit Boissinot
Benoit Boissinot
Verified email at - Homepage
Cited by
Cited by
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
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
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
Openmosix, openssi and kerrighed: A comparative study
R Lottiaux, B Boissinot, P Gallard, G Vallée, C Morin
INRIA, 2004
SSI properties revisited
B Boissinot, P Brisk, A Darte, F Rastello
ACM Transactions on Embedded Computing Systems (TECS) 11 (1), 1-23, 2012
Graph-coloring and treescan register allocation using repairing
Q Colombet, B Boissinot, P Brisk, S Hack, F Rastello
Proceedings of the 14th international conference on Compilers, architectures …, 2011
Parameterized Construction of Program Representations for Sparse Dataflow Analyses.
ALC Tavares, B Boissinot, FMQ Pereira, F Rastello
CC 14, 18-39, 2014
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
Programming Languages and Systems: 9th Asian Symposium, APLAS 2011, Kenting …, 2011
Towards an SSA based compiler back-end: some interesting properties of SSA and its extensions
B Boissinot
Lyon, Ecole normale supérieure, 2010
A program representation for sparse dataflow analyses
ALC Tavares, B Boissinot, MAS Bigonha, R Bigonha, FMQ Pereira, ...
Science of Computer Programming X 201, 0
Computing Liveness Sets for SSA-Form Programs
F Brandner, B Boissinot, A Darte, BD De Dinechin, F Rastello
INRIA, 2011
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
Application installs using remote applications
T Deselaers, B Boissinot
US Patent App. 14/827,994, 2017
SSI revisited: A Program Representation for Sparse Data-flow Analyses
A Tavares, M Bigonha, RS Bigonha, B Boissinot, FMQ Pereira, F Rastello
Preprint submitted to Science of Computer Programming, 2012
SSI revisited
B Boissinot, P Brisk, A Darte, F Rastello
B Boissinot, F Rastello
SSA-based Compiler Design, 107-122, 2021
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
Rapport de stage de premiere année de Master Optimisation de cache d’instructions
B Boissinot, F Rastello, É Thierry
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–20