Static prediction of silent stores FMQ Pereira, GV Leobas, A Gamatié ACM Transactions on Architecture and Code Optimization (TACO) 15 (4), 1-26, 2018 | 14 | 2018 |
Semiring optimizations: dynamic elision of expressions with identity and absorbing elements GV Leobas, FMQ Pereira Proceedings of the ACM on Programming Languages 4 (OOPSLA), 1-28, 2020 | 8 | 2020 |
More than meets the eye: Invisible instructions GV Leobas, BCF Guimarães, FMQ Pereira Proceedings of the XXII Brazilian Symposium on Programming Languages, 27-34, 2018 | 4 | 2018 |
Taskminer: Automatic identification of tasks P Ramos, G Souza, G Leobas, FMQ Pereira Proceedings of the XXII Brazilian Symposium on Programming Languages, 11-18, 2018 | 1 | 2018 |
Guided just-in-time specialization C Lima, J Cezar, GV Leobas, E Rohou, FMQ Pereira Science of Computer Programming 185, 102318, 2020 | | 2020 |
Deliverable D5. 1–Technical description of the holistic design flow in CONTINUUM R Bouziane, E Rohou, F Bruguier, G Devic, A Gamatié, G Leobas, ... Inria Rennes–Bretagne Atlantique; LIRMM (UM, CNRS); Cortus SAS, 2019 | | 2019 |
Software for Static Prediction of Silent Stores FMQ Pereira, G Leobas, A Gamatié | | 2018 |
BRKGA com Decodificadores Mistos para o Problema de Roteamento e Atribuição de Comprimentos de Onda JS Brandão, G Leobas, TF de Noronha, CCC Ribeiro Simpósio Brasileiro de Pesquisa Operacional, 2016 | | 2016 |