---

Information extracted from Lattes platform

Last update: 2023/09/16

ORCID: https://orcid.org/0000-0002-0375-1657

---

Current projects

2019 a Atual	Síntese de Gramáticas para Geradores de Logs O objetivo deste projeto é identificar uma linguagem que reconheça o formato de um arquivo de log, produzir uma gramática para este arquivo, e usar esta gramática para obfuscar informações sigilosas no log. Integrantes: Fernando Magno Quintão Pereira (coordenador), SAFFRAN, JOÃO, BARBOSA, HANIEL.
2019 a Atual	Geração de Código Energeticamente Eficiente O objetivo deste projeto é projetar, implementar e testar técnicas de compilação de código que reduzam o consumo energético de programas que executam em placas de dispositivos embarcados. Integrantes: Fernando Magno Quintão Pereira (coordenador), Junio Cezar, Gleison Souza, SOARES, LUIGI.
2015 a Atual	Teste Automático de Código Embarcado Esta linha de pesquisa existe como decorrência de uma cooperação científica que o candidato vem criando com uma empresa do ramo de rastreamento de veículos, a Maxtrack. Esta empresa foi criada por empreendedores mineiros, e hoje é líder em seu mercado no Brasil, tendo já projetado, implementado e distribuído rastreadores para veículos automotores e trens de carga. O objetivo dessa cooperação científica é projetar, implementar e instalar serviços de teste de software que possam ser usados para ativar, de forma automática, potenciais falhas de segurança em código feito para sistemas embarcados. Integrantes: Fernando Magno Quintão Pereira (coordenador), Francisco Demontie, Marcus Rodrigues.

Current applied research projects

2010 a Atual

Divergence Analysis in the Ocelot compiler This project consists in the implementation of a divergence analysis to the Ocelot compiler. We have been able to submit more than 10,000 lines of code to this compiler, which is publicly available and widely used by the industry. See the compiler's webpage at http://code.google.com/p/gpuocelot/ Integrantes: Fernando Magno Quintão Pereira (coordenador), Diogo Nunes Sampaio, Sylvain Collange, Elie Gideon.

2010 a Atual

Code Specialization in the Mozilla Firefox Browser This project consists in the implementation of extensions to the Mozilla Firefox JavaScript compiler. These extensions allow the JavaScript compiler to produce better code given the values that are manipulated at runtime. Part of the code is currently available in the IonMonkey compiler that is part of the Mozilla Firefox browser. Integrantes: Fernando Magno Quintão Pereira (coordenador), Igor Rafael Assis Costa, Pericles Rafael Oliveira Alves.

See all projects in Lattes

---

Recent publications

Articles in journals

Side-channel Elimination via Partial Control-flow Linearization
2023. ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS.
Hapi: A domain-specific language for the declaration of access policies
2022. JOURNAL OF COMPUTER LANGUAGES.
Automatic inspection of program state in an uncooperative environment
2022. SOFTWARE-PRACTICE & EXPERIENCE.
Program representations for predictive compilation: State of affairs in the early 20?s
2022. JOURNAL OF COMPUTER LANGUAGES.
On-line synthesis of parsers for string events
2021. Journal of Computer Languages.
Instruction visibility in SPEC CPU2017
2021. JOURNAL OF COMPUTER LANGUAGES.
Mapping Computations in Heterogeneous Multicore Systems with Statistical Regression on Program Inputs
2021. ACM Transactions on Embedded Computing Systems.
VESPA: static profiling for binary optimization
2021. Proceedings of the ACM on Programming Languages.
Practical dynamic reconstruction of control flow graphs
2020. SOFTWARE-PRACTICE & EXPERIENCE.
Type Inference for C: Applications to the Static Analysis of Incomplete Programs
2020. ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS.
Dynamic dispatch of context-sensitive optimizations
2020. ACM on Programming Languages.
Semiring optimizations: dynamic elision of expressions with identity and absorbing elements
2020. ACM on Programming Languages.
Data-flow analysis and optimization for data coherence in heterogeneous architectures
2019. JOURNAL OF PARALLEL AND DISTRIBUTED COMPUTING.
Qubit allocation as a combination of subgraph isomorphism and token swapping
2019. Proceedings of the ACM on Programming Languages.
Guided just-in-time specialization
2019. SCIENCE OF COMPUTER PROGRAMMING.
Arcademis: a Framework for Object Oriented Communication Middleware Development.
2006. Software, Practice & Experience.

Papers in conferences

Lazy Evaluation for the Lazy: Automatically Transforming Call-by-Value into Call-by-Need
2023. CC '23: 32nd ACM SIGPLAN International Conference on Compiler Construction.
A Game-Based Framework to Compare Program Classifiers and Evaders
2023. CGO '23: 21st ACM/IEEE International Symposium on Code Generation and Optimization.
A polynomial time exact solution to the bit-aware register binding problem
2022. CC '22: 31st ACM SIGPLAN International Conference on Compiler Construction.
Geração Automática de Benchmarks para Compilação Preditiva
2022. SBLP 2022: XXVI Brazilian Symposium on Programming Languages.
Impacto de Ofuscadores e Otimizadores de Código na Acurácia de Classificadores de Programas
2022. SBLP 2022: XXVI Brazilian Symposium on Programming Languages.
Exploring the space of optimization sequences for code-size reduction: insights and tools
2021. CC '21: 30th ACM SIGPLAN International Conference on Compiler Construction.
ANGHABENCH: A Suite with One Million Compilable C Benchmarks for Code-Size Reduction
2021. 2021 IEEE/ACM International Symposium on Code Generation and Optimization (CGO).
Memory-Safe Elimination of Side Channels
2021. 2021 IEEE/ACM International Symposium on Code Generation and Optimization (CGO).
Hapi: A Domain-Specific Language for the Declaration of Access Policies
2021. SBLP'21: 25th Brazilian Symposium on Programming Languages.
Inlining for Code Size Reduction
2021. SBLP'21: 25th Brazilian Symposium on Programming Languages.
New Optimization Sequences for Code-Size Reduction for the LLVM Compilation Infrastructure
2021. SBLP'21: 25th Brazilian Symposium on Programming Languages.
AutoParBench
2020. ICS '20: 2020 International Conference on Supercomputing.
YACOS
2020. SBLP '20: 24th Brazilian Symposium on Programming Languages.
Mapping Computations in Heterogeneous Multicore Systems with Statistical Regression on Inputs
2020. 2020 X Brazilian Symposium on Computing Systems Engineering (SBESC).
Generation of In-Bounds Inputs for Arrays in Memory-Unsafe Languages
2019. 2019 IEEE/ACM International Symposium on Code Generation and Optimization (CGO).
Multilayer ROP Protection Via Microarchitectural Units Available in Commodity Hardware
2019. 2019 49th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN).
Synthesis of Benchmarks for the C Programming Language by Mining Software Repositories
2019. the XXIII Brazilian Symposium.
Efficient and Precise Dynamic Construction of Control Flow Graphs
2019. the XXIII Brazilian Symposium.
Register Allocation by Puzzle Solving
2008. ACM SIGPLAN 2008 Conference on Programming Language Design and Implementation (PLDI).
A Framework for End-to-End Verification and Evaluation of Register Allocators.
2007. The Fourteenth International Static Analysis Symposium (SAS 2007).
Register Allocation After Classical SSA Elimination is NP-Complete.
2006. Foundations of Software Science and Computation Structures.
Register Allocation via Coloring of Chordal Graphs.
2005. The Third Asian Symposium on Programming Languages and Systems..

Extended abstracts in conferences

Compiler-assisted adaptive program scheduling in big.LITTLE systems
2019. the 24th Symposium.
RipRop: A Dynamic Detector of ROP Attacks
2015. CBSoft Tools.
FlowTracker - Detecção de Código Não Isócrono via Análise Estática de Fluxo
2015. CBSoft Tools.
Etino: Colocação Automática de Computação em Hardware Heterogêneo
2015. CBSoft Tools.
Asymptus - A Tool for Automatic Inference of Loop Complexity
2015. CBSoft Tools.

Abstracts in conferences

Paralelización del D-Index para Búsquedas en Espacios Métricos
2012. Workshop de Investigadores en Ciencias de la Computación.

See all publications in Lattes

---

Current students

MS

Guilherme Oliveira Silva. Design and Implementation of a RISC-V Tool Chain. Início: 2023. Universidade Federal de Minas Gerais (Orientador principal)
Caio Vinícius Raposo Ribeiro. Deriving Flyweights from Objects as Closures. Início: 2022. Universidade Federal de Minas Gerais (Orientador principal)
Vinícius Silva Pacheco. An eBPF Back-End for the Elixir Programming Language. Início: 2021. Universidade Federal de Minas Gerais (Orientador principal)

PhD

Michael Canesche. A Polynomial Time Exact Solution to the Bitwidth-Aware Register Biding Problem. Início: 2021. Universidade Federal de Minas Gerais (Orientador principal)

See all students in Lattes

---