Pedro Pinto

21 papers A 2C 4Misc 1Journal 8Unranked 5
YearRankTypeTitle / Venue / Authors
2024 — —
Source-to-source Programmable Performance Engineering For High-Performance Computing
Pedro Pinto
2023 J jnl
A DSL-based runtime adaptivity framework for Java.
SoftwareX
Tiago Carvalho, João Bispo, Pedro Pinto, João M. P. Cardoso
2022 J jnl
Pegasus: Performance Engineering for Software Applications Targeting HPC Systems.
IEEE Trans. Software Eng.
Pedro Pinto, João Bispo, João M. P. Cardoso, Jorge G. Barbosa, Davide Gadioli, Gianluca Palermo, Jan Martinovic, Martin Golasowski, Katerina Slaninová, Radim Cmar, Cristina Silvano
2021 — conf
A methodology and framework for software memoization of functions.
CF
Pedro Pinto, João M. P. Cardoso
2021 J jnl
An Efficient Monte Carlo-Based Probabilistic Time-Dependent Routing Calculation Targeting a Server-Side Car Navigation System.
IEEE Trans. Emerg. Top. Comput.
Emanuele Vitali, Davide Gadioli, Gianluca Palermo, Martin Golasowski, João Bispo, Pedro Pinto, Jan Martinovic, Katerina Slaninová, João M. P. Cardoso, Cristina Silvano
2019 J jnl
A framework for automatic and parameterizable memoization.
SoftwareX
Loïc Besnard, Pedro Pinto, Imane Lasri, João Bispo, Erven Rohou, João M. P. Cardoso
2019 J jnl
An Efficient Monte Carlo-based Probabilistic Time-Dependent Routing Calculation Targeting a Server-Side Car Navigation System.
CoRR
Emanuele Vitali, Davide Gadioli, Gianluca Palermo, Martin Golasowski, João Bispo, Pedro Pinto, Jan Martinovic, Katerina Slaninová, João M. P. Cardoso, Cristina Silvano
2019 C conf
Supporting the Scale-Up of High Performance Application to Pre-Exascale Systems: The ANTAREX Approach.
PDP
Cristina Silvano, Giovanni Agosta, Andrea Bartolini, Andrea Rosario Beccari, Luca Benini, Loïc Besnard, João Bispo, Radim Cmar, João M. P. Cardoso, Carlo Cavazzoni, Daniele Cesarini, Stefano Cherubin, Federico Ficarelli, Davide Gadioli, Martin Golasowski, Imane Lasri, Antonio Libri, Candida Manelfi, Jan Martinovic, Gianluca Palermo, Pedro Pinto, Erven Rohou, Nico Sanna, Katerina Slaninová, Emanuele Vitali
2019 J jnl
The ANTAREX Domain Specific Language for High Performance Computing.
CoRR
Cristina Silvano, Giovanni Agosta, Andrea Bartolini, Andrea Rosario Beccari, Luca Benini, Loïc Besnard, João Bispo, Radim Cmar, João M. P. Cardoso, Carlo Cavazzoni, Daniele Cesarini, Stefano Cherubin, Federico Ficarelli, Davide Gadioli, Martin Golasowski, Antonio Libri, Jan Martinovic, Gianluca Palermo, Pedro Pinto, Erven Rohou, Katerina Slaninová, Emanuele Vitali
2018 C conf
ANTAREX: A DSL-Based Approach to Adaptively Optimizing and Enforcing Extra-Functional Properties in High Performance Computing.
DSD
Cristina Silvano, Giovanni Agosta, Andrea Bartolini, Andrea Rosario Beccari, Luca Benini, Loïc Besnard, João Bispo, Radim Cmar, João M. P. Cardoso, Carlo Cavazzoni, Stefano Cherubin, Davide Gadioli, Martin Golasowski, Imane Lasri, Jan Martinovic, Gianluca Palermo, Pedro Pinto, Erven Rohou, Nico Sanna, Katerina Slaninová, Emanuele Vitali
2018 J jnl
Aspect composition for multiple target languages using LARA.
Comput. Lang. Syst. Struct.
Pedro Pinto, Tiago Carvalho, João Bispo, Miguel António Ramalho, João M. P. Cardoso
2018 — conf
Autotuning and adaptivity in energy efficient HPC systems: the ANTAREX toolbox.
CF
Cristina Silvano, Gianluca Palermo, Giovanni Agosta, Amir H. Ashouri, Davide Gadioli, Stefano Cherubin, Emanuele Vitali, Luca Benini, Andrea Bartolini, Daniele Cesarini, João M. P. Cardoso, João Bispo, Pedro Pinto, Ricardo Nobre, Erven Rohou, Loïc Besnard, Imane Lasri, Nico Sanna, Carlo Cavazzoni, Radim Cmar, Jan Martinovic, Katerina Slaninová, Martin Golasowski, Andrea Rosario Beccari, Candida Manelfi
2018 A conf
SOCRATES - A seamless online compiler and system runtime autotuning framework for energy-aware applications.
DATE
Davide Gadioli, Ricardo Nobre, Pedro Pinto, Emanuele Vitali, Amir H. Ashouri, Gianluca Palermo, João M. P. Cardoso, Cristina Silvano
2017 Misc conf
LARA as a language-independent aspect-oriented programming approach.
SAC
Pedro Pinto, Tiago Carvalho, João Bispo, João M. P. Cardoso
2017 — conf
The ANTAREX tool flow for monitoring and autotuning energy efficient HPC systems.
SAMOS
Cristina Silvano, Giovanni Agosta, Jorge G. Barbosa, Andrea Bartolini, Andrea Rosario Beccari, Luca Benini, João Bispo, João M. P. Cardoso, Carlo Cavazzoni, Stefano Cherubin, Radim Cmar, Davide Gadioli, Candida Manelfi, Jan Martinovic, Ricardo Nobre, Gianluca Palermo, Martin Palkovic, Pedro Pinto, Erven Rohou, Nico Sanna, Katerina Slaninová
2016 A conf
Autotuning and adaptivity approach for energy efficient Exascale HPC systems: The ANTAREX approach.
DATE
Cristina Silvano, Giovanni Agosta, Andrea Bartolini, Andrea Rosario Beccari, Luca Benini, João Bispo, Radim Cmar, João M. P. Cardoso, Carlo Cavazzoni, Jan Martinovic, Gianluca Palermo, Martin Palkovic, Pedro Pinto, Erven Rohou, Nico Sanna, Katerina Slaninová
2016 — conf
The ANTAREX approach to autotuning and adaptivity for energy efficient HPC systems.
Conf. Computing Frontiers
Cristina Silvano, Giovanni Agosta, Stefano Cherubin, Davide Gadioli, Gianluca Palermo, Andrea Bartolini, Luca Benini, Jan Martinovic, Martin Palkovic, Katerina Slaninová, João Bispo, João M. P. Cardoso, Rui Abreu, Pedro Pinto, Carlo Cavazzoni, Nico Sanna, Andrea Rosario Beccari, Radim Cmar, Erven Rohou
2015 J jnl
Fault Detection in C Programs using Monitoring of Range Values: Preliminary Results.
CoRR
Pedro Pinto, Rui Abreu, João M. P. Cardoso
2015 C conf
Programming Strategies for Contextual Runtime Specialization.
SCOPES
Tiago Carvalho, Pedro Pinto, João M. P. Cardoso
2014 — conf
On Expressing Strategies for Directive-Driven Multicore Programing Models.
PARMA-DITAM@HiPEAC
Ricardo Nobre, Pedro Pinto, Tiago Carvalho, João M. P. Cardoso, Pedro C. Diniz
2013 C conf
The MATISSE MATLAB compiler.
INDIN
João Bispo, Pedro Pinto, Ricardo Nobre, Tiago Carvalho, João M. P. Cardoso, Pedro C. Diniz