| 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 | 84 | 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 | 71 | 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 | 42 | 2008 |
| Openmosix, openssi and kerrighed: A comparative study R Lottiaux, B Boissinot, P Gallard, G Vallée, C Morin INRIA, 2004 | 30 | 2004 |
| SSI properties revisited B Boissinot, P Brisk, A Darte, F Rastello ACM Transactions on Embedded Computing Systems (TECS) 11 (1), 1-23, 2012 | 28 | 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 | 23 | 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 | 19 | 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 | 16 | 2011 |
| 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 | 8 | 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 | 8 | |
| Application installs using remote applications T Deselaers, B Boissinot US Patent App. 14/827,994, 2017 | 7 | 2017 |
| 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 | 7 | 2014 |
| Computing liveness sets for ssa-form programs F Brandner, B Boissinot, A Darte, BD De Dinechin, F Rastello INRIA, 2011 | 6 | 2011 |
| 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 | 1 | 2012 |
| SSI revisited B Boissinot, P Brisk, A Darte, F Rastello | 1 | 2009 |
| Liveness B Boissinot, F Rastello SSA-based Compiler Design, 107-122, 2021 | | 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 | | 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 | | |
