Guilherme dos Santos Korol

Técnico em Eletrônica, Engenheiro de Computação pela Pontifícia Universidade Católica do Rio Grande do Sul (PUCRS), Mestre em Microeletrônica e Doutor em Computação pela Universidade Federal do Rio Grande do Sul (UFRGS). As áreas de pesquisa que me interesso são: Arquiteturas de Computadores, Arquiteturas Reconfiguráveis e Aprendizado de Máquina.

Informações coletadas do Lattes em 21/12/2025

Acadêmico

Formação acadêmica

Doutorado em Computação

2020 - 2024

Universidade Federal do Rio Grande do Sul
Título: Optimizing for Adaptive CNNs on FPGAs: A Multi-Level Approach
com Antonio Carlos Schneider Beck. Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior, CAPES, Brasil.

Mestrado em Microeletrônica

2019 - 2020

Universidade Federal do Rio Grande do Sul
Título: A Resource-Aware Multicore CGRA Architecture for Edge Applications
, Ano de Obtenção: 2020.Antonio Carlos Schneider Beck.Coorientador: Marcelo Brandalero. Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior, CAPES, Brasil.

Graduação em Engenharia de Computação

2011 - 2018

Pontifícia Universidade Católica do Rio Grande do Sul
Título: An FPGA Implementation for Convolutional Neural Network
Orientador: Fernando Gehm Moraes
com Bolsista do(a): Programa Universidade Para Todos, PROUNI, Brasil.

Curso técnico/profissionalizante em Técnico em Eletrônica

2010 - 2011

Escola Técnica Parobé

Formação complementar

2015 - 2015

Applied Research in Astronautical Engineering. (Carga horária: 190h). , Capitol Technology University, CTU, Estados Unidos.

Idiomas

Inglês

Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.

Português

Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.

Participação em eventos

Design, Automation and Test in Europe Conference (DATE). Pruning and Early-Exit Co-Optimization for CNN Acceleration on FPGAs. 2023. (Congresso).

High Performance Embedded Architecture and Compilation (HIPEAC). Adaptive Inference for FPGA-based 5G Automatic Modulation Classification. 2023. (Congresso).

IEEE Computer Society Annual Symposium on VLSI. Design Space Exploration for CNN Offloading to FPGAs at the Edge. 2023. (Congresso).

Design, Automation and Test in Europe Conference (DATE). Adaflow: A framework for adaptive dataflow CNN acceleration on FPGAs. 2022. (Congresso).

International Conference on Compilers, Architectures, and Synthesis for Embedded Systems (CASES). Synergistically Eexploiting CNN Pruning and HLS Versioning for Adaptive Inference on multi-FPGAs at the Edge. 2021. (Congresso).

30th International Conference on Field Programmable Logic and Applications (FPL). MCEA: A Resource-Aware Multicore CGRA Architecture for the Edge. 2020. (Congresso).

XVIII Salão de Iniciação Científica PUCRS.Projeto e Exploração de MPSoCs 3D com Suporte a Cache Intrachip. 2017. (Seminário).

17º Fórum Internacional de Software Livre.A Lightweight Open Source Command And Control Center And Its Interface To Cubesats. 2016. (Outra).

XVI Salão de Iniciação Científica PUCRS.Arquiteturas para codificação em tempo real de canais de profundidade no padrão 3D-HEVC. 2015. (Seminário).

Produções bibliográficas

JORDAN, MICHAEL GUILHERME ; LIGNATI, BERNARDO NEUHAUS ; KOROL, GUILHERME ; RUTZIG, MATEUS BECK ; BECK, ANTONIO CARLOS SCHNEIDER . MVSym: Efficient symbiotic exploitation of HLS-kernel multi-versioning for collaborative CPU-FPGA cloud systems. INTEGRATION-THE VLSI JOURNAL , v. 93, p. 102052, 2023.
JORDAN, MICHAEL GUILHERME ; KOROL, GUILHERME ; KNORST, TIAGO ; RUTZIG, MATEUS BECK ; BECK, ANTONIO CARLOS SCHNEIDER . Energy-aware fully-adaptive resource provisioning in collaborative CPU-FPGA cloud environments. JOURNAL OF PARALLEL AND DISTRIBUTED COMPUTING , v. 176, p. 55-69, 2023.
KNORST, TIAGO ; VICENZI, JULIO ; JORDAN, MICHAEL G. ; ALMEIDA, JONATHAN H. DE ; KOROL, GUILHERME ; BECK, ANTONIO C. S. ; RUTZIG, MATEUS B. . An energy efficient multi-target binary translator for instruction and data level parallelism exploitation. DESIGN AUTOMATION FOR EMBEDDED SYSTEMS , v. 1, p. 1-28, 2022.
JORDAN, M. ; KOROL, G. ; RUTZIG, M. B. ; BECK, A. C. S. . ERIN: Energy-Aware Resource-Provisioning Framework for CPU-FPGA Multitenant Environment. IEEE Design & Test , v. 39, p. 138-146, 2022.
SCHWARZROCK, JANAINA ; JORDAN, MICHAEL GUILHERME ; KOROL, GUILHERME ; OLIVEIRA, CHARLES C. DE ; LORENZON, ARTHUR F. ; BECK RUTZIG, MATEUS ; S. BECK, ANTONIO CARLOS . Dynamic concurrency throttling on NUMA systems and data migration impacts. DESIGN AUTOMATION FOR EMBEDDED SYSTEMS (DORDRECHT. ONLINE) , v. 25, p. 135-160, 2021.
JORDAN, MICHAEL GUILHERME ; KOROL, GUILHERME ; RUTZIG, MATEUS BECK ; BECK, ANTONIO CARLOS SCHNEIDER . Resource-Aware Collaborative Allocation for CPU-FPGA Cloud Environments. IEEE TRANSACTIONS ON CIRCUITS AND SYSTEMS II-EXPRESS BRIEFS , v. 68, p. 1655-1659, 2021.
KOROL, GUILHERME ; JORDAN, MICHAEL GUILHERME ; RUTZIG, MATEUS BECK ; BECK, ANTONIO CARLOS SCHNEIDER . Synergistically Exploiting CNN Pruning and HLS Versioning for Adaptive Inference on Multi-FPGAs at the Edge. ACM Transactions on Embedded Computing Systems , v. 20, p. 1-26, 2021.
Rubiano, D. ; KOROL, G. ; BECK, A. C. S. . Adaptive Inference for FPGA-Based 5G Automatic Modulation Classification. Lecture Notes in Computer Science, vol 13879. 1ed.: Springer, Cham, 2023, v. 13879, p. 1-.
VICENZI, JULIO ; KOROL, G. ; JORDAN, MICHAEL ; RUTZIG, MATEUS B. ; BECK, A. C. S. . Adaptive Inference on Reconfigurable SmartNICs for Traffic Classification. Lecture Notes in Networks and Systems. 1ed.: Springer, Cham, 2023, v. 654, p. 1-.
KOROL, GUILHERME ; JORDAN, MICHAEL GUILHERME ; RUTZIG, MATEUS BECK ; CASTRILLON, JERONIMO ; BECK, ANTONIO CARLOS SCHNEIDER . Pruning and Early-Exit Co-Optimization for CNN Acceleration on FPGAs. In: 2023 Design, Automation & Test in Europe Conference & Exhibition (DATE), 2023, Antwerp. 2023 Design, Automation & Test in Europe Conference & Exhibition (DATE), 2023. p. 1.
KOROL, GUILHERME ; JORDAN, MICHAEL GUILHERME ; RUTZIG, MATEUS BECK ; CASTRILLON, JERONIMO ; BECK, ANTONIO CARLOS SCHNEIDER . Design Space Exploration for CNN Offloading to FPGAs at the Edge. In: 2023 IEEE Computer Society Annual Symposium on VLSI (ISVLSI), 2023, Foz do Iguacu. 2023 IEEE Computer Society Annual Symposium on VLSI (ISVLSI), 2023. p. 1.
VICENZI, JULIO COSTELLA ; KOROL, GUILHERME ; JORDAN, MICHAEL G. ; MORAIS, WAGNER OURIQUE DE ; ALI, HAZEM ; FREITAS, EDISON PIGNATON DE ; RUTZIG, MATEUS BECK ; BECK, ANTONIO CARLOS SCHNEIDER . Dynamic Offloading for Improved Performance and Energy Efficiency in Heterogeneous IoT-Edge-Cloud Continuum. In: 2023 IEEE Computer Society Annual Symposium on VLSI (ISVLSI), 2023, Foz do Iguacu. 2023 IEEE Computer Society Annual Symposium on VLSI (ISVLSI), 2023. p. 1.
LORENZON, ARTHUR F. ; KOROL, GUILHERME ; BRANDALERO, MARCELO ; BECK, ANTONIO CARLOS SCHNEIDER . Harnessing the Effects of Process Variability to Mitigate Aging in Cloud Servers. In: 2023 IEEE Computer Society Annual Symposium on VLSI (ISVLSI), 2023, Foz do Iguacu. 2023 IEEE Computer Society Annual Symposium on VLSI (ISVLSI), 2023. p. 1.
JORDAN, MICHAEL GUILHERME ; KOROL, GUILHERME ; KNORST, TIAGO ; RUTZIG, MATEUS BECK ; BECK, ANTONIO CARLOS SCHNEIDER . Resource Provisioning for CPU-FPGA Environments with Adaptive HLS-Versioning and DVFS. In: 2023 IEEE Computer Society Annual Symposium on VLSI (ISVLSI), 2023, Foz do Iguacu. 2023 IEEE Computer Society Annual Symposium on VLSI (ISVLSI), 2023. p. 1.
KOROL, GUILHERME ; JORDAN, MICHAEL GUILHERME ; RUTZIG, MATEUS BECK ; BECK, ANTONIO CARLOS SCHNEIDER . AdaFlow: A Framework for Adaptive Dataflow CNN Acceleration on FPGAs. In: 2022 Design, Automation & Test in Europe Conference & Exhibition (DATE), 2022, Antwerp. 2022 Design, Automation & Test in Europe Conference & Exhibition (DATE), 2022. p. 244.
KOROL, G. ; JORDAN, M. ; RUTZIG, M. B. ; BECK, A. C. S. . ConfAx: Exploiting Approximate Computing for Configurable FPGA CNN Acceleration at the Edge. In: IEEE International Symposium on Circuits and Systems (ISCAS), 2022, Austin. 2022 IEEE International Symposium on Circuits and Systems (ISCAS), 2022.
KNORST, TIAGO ; KOROL, GUILHERME ; JORDAN, MICHAEL GUILHERME ; VICENZI, JULIO COSTELLA ; LORENZON, ARTHUR ; RUTZIG, MATEUS BECK ; BECK, ANTONIO CARLOS SCHNEIDER . On the benefits of Collaborative Thread Throttling and HLS-Versioning in CPU-FPGA Environments. In: 2022 35th SBC/SBMicro/IEEE/ACM Symposium on Integrated Circuits and Systems Design (SBCCI), 2022, Porto Alegre. 2022 35th SBC/SBMicro/IEEE/ACM Symposium on Integrated Circuits and Systems Design (SBCCI), 2022. p. 1.
LIGNATI, BERNARDO NEUHAUS ; JORDAN, MICHAEL GUILHERME ; KOROL, GUILHERME ; RUTZIG, MATEUS BECK ; BECK, ANTONIO CARLOS SCHNEIDER . Exploiting HLS-Generated Multi-Version Kernels to Improve CPU-FPGA Cloud Systems. In: ASPDAC '21: 26th Asia and South Pacific Design Automation Conference, 2021, Tokyo Japan. Proceedings of the 26th Asia and South Pacific Design Automation Conference, 2021. p. 536.
JORDAN, MICHAEL GUILHERME ; KOROL, GUILHERME ; RUTZIG, MATEUS BECK ; BECK, ANTONIO CARLOS SCHNEIDER . MUTECO: A Framework for Collaborative Allocation in CPU-FPGA Multi-tenant Environments. In: 2021 34th SBC/SBMicro/IEEE/ACM Symposium on Integrated Circuits and Systems Design (SBCCI), 2021, Campinas. 2021 34th SBC/SBMicro/IEEE/ACM Symposium on Integrated Circuits and Systems Design (SBCCI), 2021. p. 1.
VICENZI, JULIO COSTELLA ; KNORST, TIAGO ; JORDAN, MICHAEL G. ; KOROL, GUILHERME ; BECK, ANTONIO CARLOS SCHNEIDER ; RUTZIG, MATEUS BECK . TRIPP: Transparent Resource Provisioning for Multi-Tenant CPU-GPU based Cloud Environments. In: 2021 XI Brazilian Symposium on Computing Systems Engineering (SBESC), 2021, Florianopolis. 2021 XI Brazilian Symposium on Computing Systems Engineering (SBESC), 2021. p. 1.
JORDAN, MICHAEL GUILHERME ; KOROL, GUILHERME ; RUTZIG, MATEUS BECK ; BECK, ANTONIO CARLOS SCHNEIDER . FAIR: Fully-Adaptive Framework for Improving Resource Provisioning in Collaborative CPU-FPGA Cloud Environments. In: 2021 IEEE 33rd International Symposium on Computer Architecture and High Performance Computing (SBACPAD), 2021, Belo Horizonte. 2021 IEEE 33rd International Symposium on Computer Architecture and High Performance Computing (SBAC-PAD), 2021. p. 147.
SILVA, RAUL ; KOROL, GUILHERME ; JORDAN, MICHAEL GUILHERME ; BRANDALERO, MARCELO ; HUBNER, MICHAEL ; PEREIRA, MONICA ; RUTZIG, MATEUS BECK ; BECK, ANTONIO CARLOS SCHNEIDER . A Management Technique for Concurrent Access to a Reconfigurable Accelerator. In: 2020 33rd Symposium on Integrated Circuits and Systems Design (SBCCI), 2020, Campinas. 2020 33rd Symposium on Integrated Circuits and Systems Design (SBCCI), 2020. p. 1.
KNORST, TIAGO ; VICENZI, JULIO ; JORDAN, MICHAEL GUILHERME ; DE ALMEIDA, JONATHAN HOMERCHER ; KOROL, GUILHERME ; BECK, ANTONIO CARLOS SCHNEIDER ; RUTZIG, MATEUS BECK . Unlocking the Full Potential of Heterogeneous Accelerators by Using a Hybrid Multi-Target Binary Translator. In: 2020 33rd Symposium on Integrated Circuits and Systems Design (SBCCI), 2020, Campinas. 2020 33rd Symposium on Integrated Circuits and Systems Design (SBCCI), 2020. p. 1.
ROCHA, HIAGO ; KOROL, GUILHERME ; JORDAN, MICHAEL ; KRAUSE, ARTHUR ; SILVEIRA, RONALDO ; VIEIRA, CAIO ; NAVAUX, PHILIPPE ; NAZAR, GABRIEL L. ; CARRO, LUIGI ; BECK, ANTONIO CARLOS SCHNEIDER . Firefly: An Open-source Rocket-based Intermittent Framework. In: 2020 33rd Symposium on Integrated Circuits and Systems Design (SBCCI), 2020, Campinas. 2020 33rd Symposium on Integrated Circuits and Systems Design (SBCCI), 2020. p. 1.
KOROL, GUILHERME ; JORDAN, MICHAEL GUILHERME ; BRANDALERO, MARCELO ; HUBNER, MICHAEL ; BECK RUTZIG, MATEUS ; SCHNEIDER BECK, ANTONIO CARLOS . MCEA: A Resource-Aware Multicore CGRA Architecture for the Edge. In: 2020 30th International Conference on FieldProgrammable Logic and Applications (FPL), 2020, Gothenburg. 2020 30th International Conference on Field-Programmable Logic and Applications (FPL), 2020. p. 33.
KOROL, GUILHERME ; JORDAN, MICHAEL ; BRANDALERO, MARCELO ; RUTZIG, MATEUS BECK ; BECK, ANTONIO CARLOS SCHNEIDER . Power-Aware Phase Oriented Reconfigurable Architecture. In: 2019 26th IEEE International Conference on Electronics, Circuits and Systems (ICECS), 2019, Genoa. 2019 26th IEEE International Conference on Electronics, Circuits and Systems (ICECS), 2019. p. 626.
KOROL, GUILHERME ; JORDAN, MICHAEL ; SILVA, RAUL SILVEIRA ; PEREIRA, MONICA MAGALHAES ; BRANDALERO, MARCELO ; RUTZIG, MATEUS BECK ; BECK, ANTONIO CARLOS SCHNEIDER . A Runtime Power-Aware Phase Predictor for CGRAs. In: 2019 International Conference on ReConFigurable Computing and FPGAs (ReConFig), 2019, Cancun. 2019 International Conference on ReConFigurable Computing and FPGAs (ReConFig), 2019. p. 1.
SCHWARZROCK, JANAINA ; JORDAN, MICHAEL GUILHERME ; KOROL, GUILHERME ; DE OLIVEIRA, CHARLES C. ; LORENZON, ARTHUR F. ; BECK, ANTONIO CARLOS S. . On the influence of Data Migration in Dynamic Thread Management of Parallel Applications. In: 2019 IX Brazilian Symposium on Computing Systems Engineering (SBESC), 2019, Natal. 2019 IX Brazilian Symposium on Computing Systems Engineering (SBESC), 2019. p. 1.
KOROL, GUILHERME ; MORAES, FERNANDO GEHM . A FPGA parameterizable multi-layer architecture for CNNs. In: Proceedings of the 32nd Symposium on Integrated Circuits and Systems Design, 2019, São Paulo. Proceedings of the 32nd Symposium on Integrated Circuits and Systems Design - SBCCI '19. New York: ACM Press, 2019. p. 1.
CATALDO, RODRIGO ; KOROL, GUILHERME ; FERNANDES, RAMON ; MATOS, DEBORA ; MARCON, CESAR . Architectural exploration of Last-Level Caches targeting homogeneous multicore systems. In: 2016 29th Symposium on Integrated Circuits and Systems Design (SBCCI), 2016, Belo Horizonte. 2016 29th Symposium on Integrated Circuits and Systems Design (SBCCI), 2016. p. 1.
CATALDO, RODRIGO ; KOROL, GUILHERME ; FERNANDES, RAMON ; SANCHEZ, GUSTAVO ; MATOS, DEBORA ; MARCON, CESAR . Evaluation of emerging TSV-enabled main memories on the PARSEC benchmark. In: 2016 IEEE International Conference on Electronics, Circuits and Systems (ICECS), 2016, Monte Carlo. 2016 IEEE International Conference on Electronics, Circuits and Systems (ICECS), 2016. p. 408.
STAKEM, P. H. ; KOROL, G. ; Augusto, G. . Lightweight Open Source Command and Control Center for CubeSats. In: Workshop on Spacecraft Flight Software, 2015, Laurel. Workshop on Spacecraft Flight Software FSW 2015, 2015.

Projetos de pesquisa

2022 - Atual

ADAPTT: Provendo Eficiência de Recursos na Classificação de Tráfego Através do Uso Sinergético e Adaptativo de FPGAs e CNNs, Descrição: Desenvolvimento do ADAPTT - An Adaptive Deep Learning FPGA APproach for Traffic ClassificaTion, tem o objetivo de aumentar a eficiência na execução de CNNs em aceleradores FPGAs SmartNIC para controle de tráfego em redes internet.. , Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (4) / Mestrado acadêmico: (5) / Doutorado: (6) . , Integrantes: Guilherme dos Santos Korol - Integrante / Mateus Beck Rutzig - Integrante / Antonio Carlos Schneider Beck - Coordenador., Financiador(es): Fundação de Amparo à Pesquisa do Estado de São Paulo - Auxílio financeiro.
2022 - Atual

AVIATE: Exploração Sinergética de CNNs e Aceleradores em FPGA para Inferência Adaptativa na Borda, Descrição: Este projeto propõe o Framework AVIATE - Adaptive serVing of Inferences At The Edge, com o objetivo de aumentar a eficiência (i.e., vazão, energia, uso de recursos, acurácia ou custo de implementação) na execução de CNNs em aceleradores FPGAs na borda.. , Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (6) / Mestrado acadêmico: (8) / Doutorado: (6) . , Integrantes: Guilherme dos Santos Korol - Integrante / Mateus Beck Rutzig - Integrante / Antonio Carlos Schneider Beck - Coordenador / Arthur F. Lorenzon - Integrante., Financiador(es): Fundação de Amparo à Pesquisa do Estado do Rio Grande do Sul - Auxílio financeiro.
2017 - 2019

TESTADOR PARA TRÁFEGO ETHERNET 40GbE, Descrição: O objetivo do presente Termo Aditivo é proporcionar a formação de recursos humanos e a pesquisa na área de testes de redes Ethernet 40 Gigabit e de sistemas digitais em FPGA. Dado que não existem soluções padronizadas para o teste de tais redes no contexto atual, é necessário empreender um conjunto de atividades de pesquisa original no assunto. Em acordo com esta situação, o projeto visa desenvolver hardware e software capaz de avaliar uma rede de comunicação de dados em alta velocidade através de um sistema digital desenvolvido em FPGA, motivado pelo crescimento da demanda do mercado por comunicações de banda-larga e a complexidade inerente de testar e gerenciar redes Ethernet.. Situação: Concluído; Natureza: Pesquisa.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (5) . , Integrantes: Guilherme dos Santos Korol - Integrante / MORAES, FERNANDO GEHM - Coordenador.

Prêmios

2022

Best Paper Nominee, Design, Automation and Test in Europe Conference (DATE).

2021

Best Paper Nominee, Brazilian Symposium on Computing Systems Engineering (SBESC).

2021

Best Paper Nominee, Symposium on Integrated Circuits and Systems Design (SBCCI).

2020

Best Poster, Young Fellow Program - Design Automation Conference (DAC).

2018

Primeiro da Turma, Engenharia de Computação, Pontifícia Universidade Católica do Rio Grande do Sul (PUCRS).

Histórico profissional

Experiência profissional

2017 - 2019

Pontifícia Universidade Católica do Rio Grande do Sul

Vínculo: Estágio, Enquadramento Funcional: Estagiário

Outras informações:
Desenvolvimento de um testador óptico de alta velocidade em FPGA; Codificação RTL em VHDL; Verificação em SystemC; Desenvolvimento de Software básico em C e Python;

2015 - 2017

Pontifícia Universidade Católica do Rio Grande do Sul

Vínculo: Bolsista, Enquadramento Funcional: Iniciação Científica

Outras informações:
GSE (Grupo de Sistemas Embarcados) Contribuição para o simulador GEM5 e configuração do kernel do Linux; Modelagem de área e consumo energético e avaliação de arquiteturas de memórias;

2015 - 2015

NASA/Capitol Technology University

Vínculo: Bolsista, Enquadramento Funcional: Bolsista Intercambista

Outras informações:
NASA's partnership program (Summer Internship): Projeto Lightweight Open Source Command and Control Center for CubeSats. Desenvolvimento e operação de sistemas para CubeSats: Core Flight System (NASA/GSFC) e COSMOS (Ball Aerospace); Nova funcionalidade criada para Core Flight System e publicada como open-source;

2012 - 2014

Rádio Gaúcha/Grupo RBS

Vínculo: Estágio, Enquadramento Funcional: Estagiário

Outras informações:
Colaboração em projeto, instalação e manutenção de estúdios em diferentes emissoras do grupo; Manutenção de equipamento de broadcast e suporte técnico a clientes internos; Participação junto à equipe de infraestrutura de redes;

2011 - 2011

Laboratórios Especializados em Eletroeletrônica

Vínculo: Estágio, Enquadramento Funcional: Estagiário

Outras informações:
Calibração de equipamentos eletrônicos.

2011 - 2011

MC Celulares

Vínculo: Estágio, Enquadramento Funcional: Estagiário

Outras informações:
Assistência técnica LG. Manutenção de celulares e laptops.

2020 - Atual

Universidade Federal do Rio Grande do Sul

Vínculo: Bolsista, Enquadramento Funcional: Bolsista CAPES de Doutorado., Regime: Dedicação exclusiva.

2019 - 2020

Universidade Federal do Rio Grande do Sul

Vínculo: Bolsista, Enquadramento Funcional: Bolsista CAPES de Mestrado., Regime: Dedicação exclusiva.