2023
A graph-based model for build optimization sequences: A study of optimization sequence length impacts on code size and speedup.
J. Comput. Lang., January, 2023
Fast selection of compiler optimizations using performance prediction with graph neural networks.
Concurr. Comput. Pract. Exp., 2023
A Game-Based Framework to Compare Program Classifiers and Evaders.
Proceedings of the 21st ACM/IEEE International Symposium on Code Generation and Optimization, 2023
2022
Program representations for predictive compilation: State of affairs in the early 20's.
J. Comput. Lang., 2022
Impacto de Ofuscadores e Otimizadores de Código na Acurácia de Classificadores de Programas.
Proceedings of the SBLP 2022: XXVI Brazilian Symposium on Programming Languages, Virtual Event Brazil, October 6, 2022
2021
Smart selection of optimizations in dynamic compilers.
Concurr. Comput. Pract. Exp., 2021
New Optimization Sequences for Code-Size Reduction for the LLVM Compilation Infrastructure.
Proceedings of the SBLP'21: 25th Brazilian Symposium on Programming Languages, Joinville, Brazil, 27 September 2021, 2021
A Graph-based Model for Building Optimization Sequences: A Study Case on Code Size Reduction.
Proceedings of the SBLP'21: 25th Brazilian Symposium on Programming Languages, Joinville, Brazil, 27 September 2021, 2021
Graphs based on IR as Representation of Code: Types and Insights.
Proceedings of the SBLP'21: 25th Brazilian Symposium on Programming Languages, Joinville, Brazil, 27 September 2021, 2021
ANGHABENCH: A Suite with One Million Compilable C Benchmarks for Code-Size Reduction.
Proceedings of the IEEE/ACM International Symposium on Code Generation and Optimization, 2021
Exploring the space of optimization sequences for code-size reduction: insights and tools.
Proceedings of the CC '21: 30th ACM SIGPLAN International Conference on Compiler Construction, 2021
2020
An evolutionary algorithm for finding optimisation sequences: proposal and experiments.
Int. J. Comput. Sci. Eng., 2020
The improved ColourAnt algorithm: a hybrid algorithm for solving the graph colouring problem.
Int. J. Bio Inspired Comput., 2020
Finding Effective Compiler Optimization Sequences: A Hybrid Approach.
Comput. Informatics, 2020
YACOS: a Complete Infrastructure to the Design and Exploration of Code Optimization Sequences.
Proceedings of the SBLP '20: 24th Brazilian Symposium on Programming Languages, 2020
2019
Pinhão: An Auto-tunning System for Compiler Optimizations Guided by Hot Functions.
J. Univers. Comput. Sci., 2019
Can the hybrid colouring algorithm take advantage of multi-core architectures?
Int. J. Comput. Sci. Eng., 2019
Synthesis of Benchmarks for the C Programming Language by Mining Software Repositories.
Proceedings of the XXIII Brazilian Symposium on Programming Languages, 2019
2018
Yet Another Intelligent Code-Generating System: A Flexible and Low-Cost Solution.
J. Comput. Sci. Technol., 2018
Exploration of Compiler Optimization Sequences Using a Hybrid Approach.
Comput. Informatics, 2018
2017
myBee: An Information System for Precision Beekeeping.
Proceedings of the ICEIS 2017, 2017
Combining Machine Learning with a Genetic Algorithm to Find Good Complier Optimizations Sequences.
Proceedings of the ICEIS 2017, 2017
Evaluating Knowledge Representations for Program Characterization.
Proceedings of the ICEIS 2017, 2017
2016
Paralelismo em Prolog: Conceitos e Sistemas.
RITA, 2016
A design space exploration of compiler optimizations guided by hot functions.
Proceedings of the 35th International Conference of the Chilean Computer Science Society, 2016
2015
O Potencial do Uso de Estimativas de Desempenho na Exploração de Conjuntos de Otimizações.
RITA, 2015
The Hybrid ColorAnt-RT Algorithms and an Application to Register Allocation.
Inteligencia Artif., 2015
Finding Good Compiler Optimization Sets - A Case-based Reasoning Approach.
Proceedings of the ICEIS 2015, 2015
Improved batch elimination: A fast algorithm to identify and remove harmful compiler optimizations.
Proceedings of the 2015 Latin American Computing Conference, 2015
The use of different strategies of search space reduction in mitigation of optimization selection problem.
Proceedings of the 2015 Latin American Computing Conference, 2015
2014
Towards an Efficient Prolog System by Code Introspection.
CoRR, 2014
Development and Evaluation of PLH-Env: A Implicit Parallel Execution Environment.
Proceedings of the 33rd International Conference of the Chilean Computer Science Society, 2014
Efficient Instrumentation Profiling Strategy for Translation Unit Incremental Discovery in Dynamic Binary Translation.
Proceedings of the 33rd International Conference of the Chilean Computer Science Society, 2014
A Hybrid Framework to Accelerate Adaptive Compilation Systems.
Proceedings of the Programming Languages - 18th Brazilian Symposium, 2014
2013
Prolog: A Linguagem, A Máquina Abstrata de Warren e Implementações.
RITA, 2013
Compilação Just-In-Time: Histórico, Arquitetura, Princípios e Sistemas.
RITA, 2013
PColorAnt3-RT: Um Algoritmo ACO Paralelo para Coloração de Grafos.
RITA, 2013
Seleção de Transformações Baseada em Estatística.
RITA, 2013
Digital Image Processing by a Parallel Selective Model.
Proceedings of the 32nd International Conference of the Chilean Computer Science Society, 2013
A Case-Based Reasoning Approach to Find Good Compiler Optimization Sequences.
Proceedings of the 32nd International Conference of the Chilean Computer Science Society, 2013
Compiling for performance and power efficiency.
Proceedings of the 2013 23rd International Workshop on Power and Timing Modeling, 2013
2012
A Detailed Analysis of the LLVM's Register Allocators.
Proceedings of the 31st International Conference of the Chilean Computer Science Society, 2012
Register Allocation by Evolutionary Algorithm.
Proceedings of the 31st International Conference of the Chilean Computer Science Society, 2012
Dynamic Binary Translation - A Model-Driven Approach.
Proceedings of the 31st International Conference of the Chilean Computer Science Society, 2012
The UNB-RISC16 Object File Format.
Proceedings of the 31st International Conference of the Chilean Computer Science Society, 2012
2011
Toward Better Performance of ColorAnt ACO Algorithm.
Proceedings of the 30th International Conference of the Chilean Computer Science Society, 2011
Register Allocation with Graph Coloring by Ant Colony Optimization.
Proceedings of the 30th International Conference of the Chilean Computer Science Society, 2011
The Effect of Combining Compiler Optimizations on Code Size.
Proceedings of the 30th International Conference of the Chilean Computer Science Society, 2011
EProf: An Accurate Energy Consumption Estimation Tool.
Proceedings of the 30th International Conference of the Chilean Computer Science Society, 2011
2007
Design, Implementation, and Evaluation of a Dynamic Compilation Framework for the YAP System.
Proceedings of the Logic Programming, 23rd International Conference, 2007
2006
Our Experiences with Optimizations in Sun's Java Just-In-Time Compilers.
J. Univers. Comput. Sci., 2006
The Design of the YAP Compiler: An Optimizing Compiler for Logic Programming Languages.
J. Univers. Comput. Sci., 2006
The Design and Implementation of the YAP Compiler: An Optimizing Compiler for Logic Programming Languages.
Proceedings of the Logic Programming, 22nd International Conference, 2006
2005
An Experimental Evaluation of JAVA JIT Technology.
J. Univers. Comput. Sci., 2005
2003
An Evaluation of cJava System Architecture.
Proceedings of the 15th Symposium on Computer Architecture and High Performance Computing (SBAC-PAD 2003), 2003
A New Distributed JVM for Cluster Computing.
Proceedings of the Euro-Par 2003. Parallel Processing, 2003