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
A Tavares, B Boissinot, F Pereira, F Rastello
Compiler Construction: 23rd International Conference, CC 2014, Held as Part …, 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
Asian Symposium on Programming Languages and Systems, 137-154, 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