???global.info.a_carregar???
Pedro Miguel dos Santos Pinto. Concluiu o(a) Mestrado em Mestrado Integrado em Engenharia Informática e Computação em 2012 pelo(a) Universidade do Porto Faculdade de Engenharia. Publicou 1 artigos em revistas especializadas. Participa e/ou participou como Bolseiro de Investigação em 4 projeto(s). Atua na(s) área(s) de Ciências da Engenharia e Tecnologias com ênfase em Engenharia Eletrotécnica, Eletrónica e Informática e Ciências Exatas com ênfase em Ciências da Computação e da Informação com ênfase em Ciências da Computação. Nas suas atividades profissionais interagiu com 33 colaborador(es) em coautorias de trabalhos científicos. No seu currículo Ciência Vitae os termos mais frequentes na contextualização da produção científica, tecnológica e artístico-cultural são: Computer Science and Engineering - Computer Science; .
Ler resumo completo ↓
Identificação

Identificação pessoal

Nome completo
Pedro Miguel dos Santos Pinto

Nomes de citação

  • Pinto, Pedro

Identificadores de autor

Ciência ID
331E-B652-F320
ORCID iD
0000-0002-3673-9494

Domínios de atuação

  • Ciências da Engenharia e Tecnologias - Engenharia Eletrotécnica, Eletrónica e Informática
  • Ciências Exatas - Ciências da Computação e da Informação - Ciências da Computação

Idiomas

Idioma Conversação Leitura Escrita Compreensão Peer-review
Inglês Utilizador proficiente (C1) Utilizador independente (B1) Utilizador independente (B1) Utilizador proficiente (C1)
Formação
Grau Classificação
2024/07/15
Concluído
 Programa Doutoral em Engenharia Informática (Doutoramento)
Universidade do Porto Faculdade de Engenharia, Portugal
2012
Concluído
 Mestrado Integrado em Engenharia Informática e Computação (Mestrado)
Universidade do Porto Faculdade de Engenharia, Portugal
"Suggesting Loop Unrolling Using a Heuristic-guided Approach" (TESE/DISSERTAÇÃO)
 15
Percurso profissional

Outros

Categoria Profissional
Instituição de acolhimento 		Empregador
2015/09/01 - 2018/10/31 Investigador, projeto ANTAREX. Atividades: Desenvolvimento de compilador para melhorar eficiência energética e/ou tempo de execução de uma aplicação. Integração de DSL para especificar estratégias de Universidade do Porto Faculdade de Engenharia, Portugal
2015/03/23 - 2015/06/23 Investigador, projeto RL8. Atividades: Desenvolvimento de novas técnicas de transformação de código C para C no compilador Cetus. Integração com o compilador MANET e suporte para controlo usando LARA Universidade do Porto Faculdade de Engenharia, Portugal
2013/02/01 - 2014/02/01 Investigador, projeto AutoSeer. Atividades: Desenvolvimento de uma ferramenta de inserção de código de monitorização em programas C e integração com a linguagem LARA e o seu interpretador. Criação de Universidade do Porto Faculdade de Engenharia, Portugal
2012/09/01 - 2012/12/01 Investigador, projeto REFLECT. Atividades: Participação no desenvolvimento de um compilador de MATLAB para C, o MATISSE. Teste e avaliação da ferramenta desenvolvida. Integração com outras ferramenta Universidade do Porto Faculdade de Engenharia, Portugal
Projetos

Bolsa

Designação Financiadores
2015/09/01 - 2018/10/31 AutoTuning and Adaptivity appRoach for Energy efficient eXascale HPC systems
info:eu-repo/grantAgreement/EC/H2020/671623/EU
Bolseiro de Investigação
Fundação para a Ciência e a Tecnologia
Concluído
2015/03/23 - 2015/06/23 BESTCASE-RL8-REALTIME: Languages and tools for critical real time systems
NORTE-01-0124-FEDER-000062
Bolseiro de Investigação
Concluído
2013/02/01 - 2014/02/01 AutoSeer: Automated Test Oracles for Software Error Detection
info:eu-repo/grantAgreement/FCT/COMPETE/116796/PT
Bolseiro de Investigação
Fundação para a Ciência e a Tecnologia
2012/09/01 - 2012/12/01 Rendering FPGAs to Multi-Core Embedded Computing
info:eu-repo/grantAgreement/EC/FP7/248976/EU
Bolseiro de Investigação
European Commission
Produções

Publicações

Artigo em conferência
  1. Pinto, P.; Cardoso, J.M.P.. "A methodology and framework for software memoization of functions". 2021.
    10.1145/3457388.3458668
  2. Silvano, C.; Agosta, G.; Bartolini, A.; Beccari, A.R.; Benini, L.; Besnard, L.; Bispo, J.; et al. "Supporting the Scale-Up of High Performance Application to Pre-Exascale Systems: The ANTAREX Approach". 2019.
    10.1109/EMPDP.2019.8671584
  3. Gadioli, D.; Nobre, R.; Pinto, P.; Vitali, E.; Ashouri, A.H.; Palermo, G.; Cardoso, J.; Silvano, C.. "SOCRATES - A seamless online compiler and system runtime autotuning framework for energy-aware applications". 2018.
    10.23919/DATE.2018.8342183
  4. Silvano, C.; Agosta, G.; Bartolini, A.; Beccari, A.R.; Benini, L.; Besnard, L.; Bispo, J.; et al. "ANTAREX: A DSL-Based approach to adaptively optimizing and enforcing extra-functional properties in high performance computing". 2018.
    10.1109/DSD.2018.00105
  5. Silvano, C.; Agosta, G.; Barbosa, J.; Bartolini, A.; Beccari, A.R.; Benini, L.; Bispo, J.; et al. "The ANTAREX tool flow for monitoring and autotuning energy efficient HPC systems". 2018.
    10.1109/SAMOS.2017.8344645
  6. Silvano, C.; Palermo, G.; Agosta, G.; Ashouri, A.H.; Gadioli, D.; Cherubin, S.; Vitali, E.; et al. "Autotuning and adaptivity in energy efficient HPC systems: The ANTAREX toolbox (invited paper)". 2018.
    10.1145/3203217.3205338
  7. Pinto, P.; Carvalho, T.; Bispo, J.; Cardoso, J.M.P.. "LARA as a language-independent aspect-oriented programming approach". 2017.
    10.1145/3019612.3019749
  8. Silvano, C.; Agosta, G.; Bartolini, A.; Beccari, A.R.; Benini, L.; Bispo, J.; Cmar, R.; et al. "Autotuning and adaptivity approach for energy efficient Exascale HPC systems: The ANTAREX approach". 2016.
  9. Silvano, C.; Agosta, G.; Cherubin, S.; Gadioli, D.; Palermo, G.; Bartolini, A.; Benini, L.; et al. "The ANTAREX approach to autotuning and adaptivity for energy efficient HPC Systems". 2016.
    10.1145/2903150.2903470
  10. Carvalho, T.; Pinto, P.; Cardoso, J.M.P.. "Programming strategies for contextual runtime specialization". 2015.
    10.1145/2764967.2764973
  11. Nobre, R.; Pinto, P.; Carvalho, T.; Cardoso, J.M.P.; Diniz, P.C.. "On expressing strategies for directive-driven multicore programing models". 2014.
    10.1145/2556863.2556870
  12. Bispo, J.; Pinto, P.; Nobre, R.; Carvalho, T.; Cardoso, J.M.P.; Diniz, P.C.. "The MATISSE MATLAB compiler: A MATrix(MATLAB)-aware compiler InfraStructure for embedded computing SystEms". 2013.
    10.1109/INDIN.2013.6622952
Artigo em revista
  1. Carvalho, T.; Bispo, J.; Pinto, P.; Cardoso, J.M.P.. "A DSL-based runtime adaptivity framework for Java". SoftwareX 23 (2023): http://www.scopus.com/inward/record.url?eid=2-s2.0-85170240905&partnerID=MN8TOARS.
    10.1016/j.softx.2023.101496
  2. Pinto, P.; Bispo, J.; Cardoso, J.M.P.; Barbosa, J.G.; Gadioli, D.; Palermo, G.; Martinovic, J.; et al. "Pegasus: Performance Engineering for Software Applications Targeting HPC Systems". IEEE Transactions on Software Engineering 48 3 (2022): 732-754. http://www.scopus.com/inward/record.url?eid=2-s2.0-85086722258&partnerID=MN8TOARS.
    10.1109/TSE.2020.3001257
  3. Vitali, E.; Gadioli, D.; Palermo, G.; Golasowski, M.; Bispo, J.; Pinto, P.; Martinovic, J.; et al. "An efficient monte carlo-based probabilistic time-dependent routing calculation targeting a server-side car navigation system". IEEE Transactions on Emerging Topics in Computing 9 2 (2021): 1006-1019. http://www.scopus.com/inward/record.url?eid=2-s2.0-85069896045&partnerID=MN8TOARS.
    10.1109/TETC.2019.2919801
  4. Besnard, L.; Pinto, P.; Lasri, I.; Bispo, J.; Rohou, E.; Cardoso, J.M.P.. "A framework for automatic and parameterizable memoization". SoftwareX 10 (2019): http://www.scopus.com/inward/record.url?eid=2-s2.0-85071867322&partnerID=MN8TOARS.
    10.1016/j.softx.2019.100322
  5. Silvano, C.; Agosta, G.; Bartolini, A.; Beccari, A.R.; Benini, L.; Besnard, L.; Bispo, J.; et al. "The ANTAREX domain specific language for high performance computing". Microprocessors and Microsystems 68 (2019): 58-73. http://www.scopus.com/inward/record.url?eid=2-s2.0-85065774246&partnerID=MN8TOARS.
    10.1016/j.micpro.2019.05.005
  6. Pinto, P.; Carvalho, T.; Bispo, J.; Ramalho, M.A.; Cardoso, J.M.P.. "Aspect composition for multiple target languages using LARA". Computer Languages, Systems and Structures 53 (2018): 1-26. http://www.scopus.com/inward/record.url?eid=2-s2.0-85043242734&partnerID=MN8TOARS.
    10.1016/j.cl.2017.12.003

Outros

Outra produção
  1. An efficient monte carlo-based probabilistic time-dependent routing calculation targeting a server-side car navigation system. 2019. Vitali, E.; Gadioli, D.; Palermo, G.; Golasowski, M.; Bispo, J.; Pinto, P.; Martinovic, J.; et al. http://www.scopus.com/inward/record.url?eid=2-s2.0-85170320603&partnerID=MN8TOARS.
    10.48550/arxiv.1901.06210
  2. The ANTAREX domain specific language for high performance computing. 2019. Silvano, C.; Agosta, G.; Bartolini, A.; Beccari, A.R.; Benini, L.; Besnard, L.; Bispo, J.; et al. http://www.scopus.com/inward/record.url?eid=2-s2.0-85170737681&partnerID=MN8TOARS.
    10.48550/arxiv.1901.06175
Atividades

Apresentação oral de trabalho

Título da apresentação Nome do evento
Anfitrião (Local do evento)
2017/05/19 Demo: High-Performance Computing Approaches for Monitoring, Exploring, Optimizing and Autotuning HPCAFE-2017
(Espanha)
2013/09 Poster: LARA-based Strategies for Source-to-Source Transformations Targeting Multicore Architectures Workshop on Research Projects Focusing on High Performance Computing (HPCW’2013), 23rd International Conference on Field Programmable Logic and Applications (FPL'13)
(Portugal)
2013/01 Poster: Rendering Field Programmable Gate Arrays (FPGAs) to Multi-Core Embedded Computing 2nd Workshop on Design Tools and Architectures for Multi-Core Embedded Computing Platforms (DITAM’2013), 8th International Conference on High-Performance and Embedded Architectures and Compilers (HiPEAC)
(Alemanha)
2013/01 Poster: MATISSE: A MATrix(MATLAB)-aware compiler InfraStructure for embedded computing SystEms 8th International Conference on High-Performance and Embedded Architectures and Compilers (HiPEAC) (poster session)
(Alemanha)