Guilherme Vieira Leobas and Fernando Magno Quintão Pereira. Semiring Optimizations: Dynamic Elision of Expressions with Identity and Absorbing Elements. OOPSLA 2020.
Caio Lima, Junio Cezar, Guilherme Vieira Leobas, Erven Rohou and Fernando Magno Quintão Pereira. Guided Just-in-Time Specialization. Science of Computer Programming, 185, 2020.
Fernando Magno Quintão Pereira, Guilherme Vieira Leobas and Abdoulaye Gamatié. Static Prediction of Silent Stores. ACM Transactions on Architecture and Code Optimization. 15, 4, Article 44, 2019.
Guilherme V. Leobas, Breno C. F. Guimaraes and Fernando M. Q. Pereira. More than Meets the Eye: Invisible Instructions In proceedings of the XXII Brazilian Symposium on Programming Languages (SBLP). July, 2018.