Follow
Guilherme Leobas
Guilherme Leobas
Software Engineer, Quansight
Verified email at dcc.ufmg.br - Homepage
Title
Cited by
Cited by
Year
Static prediction of silent stores
FMQ Pereira, GV Leobas, A Gamatié
ACM Transactions on Architecture and Code Optimization (TACO) 15 (4), 1-26, 2018
142018
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
82020
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
42018
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
12018
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
The system can't perform the operation now. Try again later.
Articles 1–8