???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; .
Read full resume ↓
Identification

Personal identification

Full name
Pedro Miguel dos Santos Pinto

Citation names

  • Pinto, Pedro

Author identifiers

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

Knowledge fields

  • Engineering and Technology - Electrotechnical Engineering, Electronics and Informatics
  • Exact Sciences - Computer and Information Sciences - Computer Sciences

Languages

Language Speaking Reading Writing Listening Peer-review
English Advanced (C1) Intermediate (B1) Intermediate (B1) Advanced (C1)
Education
Degree Classification
2024/07/15
Concluded
 Programa Doutoral em Engenharia Informática (Doutoramento)
Universidade do Porto Faculdade de Engenharia, Portugal
2012
Concluded
 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" (THESIS/DISSERTATION)
 15
Affiliation

Others

Category
Host institution 		Employer
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
Projects

Grant

Designation Funders
2015/09/01 - 2018/10/31 AutoTuning and Adaptivity appRoach for Energy efficient eXascale HPC systems
info:eu-repo/grantAgreement/EC/H2020/671623/EU
Research Fellow
Fundação para a Ciência e a Tecnologia
Concluded
2015/03/23 - 2015/06/23 BESTCASE-RL8-REALTIME: Languages and tools for critical real time systems
NORTE-01-0124-FEDER-000062
Research Fellow
Concluded
2013/02/01 - 2014/02/01 AutoSeer: Automated Test Oracles for Software Error Detection
info:eu-repo/grantAgreement/FCT/COMPETE/116796/PT
Research Fellow
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
Research Fellow
European Commission
Outputs

Publications

Conference paper
  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
Journal article
  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

Other

Other output
  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
Activities

Oral presentation

Presentation title Event name
Host (Event location)
2017/05/19 Demo: High-Performance Computing Approaches for Monitoring, Exploring, Optimizing and Autotuning HPCAFE-2017
(Spain)
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)
(Germany)
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)
(Germany)