Folgen
Benoit Boissinot
Benoit Boissinot
Google
Bestätigte E-Mail-Adresse bei ens-lyon.org - Startseite
Titel
Zitiert von
Zitiert von
Jahr
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
822005
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
702009
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
422008
Openmosix, openssi and kerrighed: A comparative study
R Lottiaux, B Boissinot, P Gallard, G Vallée, C Morin
INRIA, 2004
292004
SSI properties revisited
B Boissinot, P Brisk, A Darte, F Rastello
ACM Transactions on Embedded Computing Systems (TECS) 11 (1), 1-23, 2012
262012
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
232011
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
182014
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
162011
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
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
62014
Computing liveness sets for ssa-form programs
F Brandner, B Boissinot, A Darte, BD De Dinechin, F Rastello
INRIA, 2011
62011
Application installs using remote applications
T Deselaers, B Boissinot
US Patent App. 14/827,994, 2017
52017
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
12012
SSI revisited
B Boissinot, P Brisk, A Darte, F Rastello
12009
Liveness
B Boissinot, F Rastello
SSA-based Compiler Design, 107-122, 2021
2021
INRIA/LIP* France sebastian. hack@ ens-lyon. fr Benoît Dupont de Dinechin STMicroelectronics
B Boissinot
Proceedings of the 2008 CGO: The Sixth International Symposium on Code …, 2008
2008
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
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20