João Bispo

According to our database, João Bispo authored at least 64 papers between 2006 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2024

A C Subset for Ergonomic Source-to-Source Analyses and Transformations.

João N. Matos, João Bispo, Luís Miguel Sousa

Proceedings of the 16th Workshop on Rapid Simulation and Performance Evaluation for Design, 2024

Using Source-to-Source to Target RISC-V Custom Extensions: UVE Case-Study.

Miguel Henriques, João Bispo, Nuno Paulino

Proceedings of the 16th Workshop on Rapid Simulation and Performance Evaluation for Design, 2024

Foundations for a Rust-Like Borrow Checker for C.

Tiago Silva, João Bispo, Tiago Carvalho

Proceedings of the 25th ACM SIGPLAN/SIGBED International Conference on Languages, 2024

A Flexible-Granularity Task Graph Representation and Its Generation from C Applications (WIP).

Tiago Santos, João Bispo, João M. P. Cardoso

Proceedings of the 25th ACM SIGPLAN/SIGBED International Conference on Languages, 2024

A DSL and MLIR Dialect for Streaming and Vectorisation.

Manuel Cerqueira da Silva, Luís Miguel Sousa, Nuno Paulino, João Bispo

Proceedings of the Applied Reconfigurable Computing. Architectures, Tools, and Applications, 2024

2023

E-APK: Energy pattern detection in decompiled android applications.

Nelson Gregório, João Bispo, João Paulo Fernandes, Sérgio Queiroz de Medeiros

J. Comput. Lang., August, 2023

A DSL-based runtime adaptivity framework for Java.

Tiago Carvalho, João Bispo, Pedro Pinto, João M. P. Cardoso

SoftwareX, July, 2023

Challenges and Opportunities in C/C++ Source-To-Source Compilation (Invited Paper).

João Bispo, Nuno Paulino, Luís Miguel Sousa

Proceedings of the 14th Workshop on Parallel Programming and Run-Time Management Techniques for Many-Core Architectures and 12th Workshop on Design Tools and Architectures for Multicore Embedded Computing Platforms, 2023

Enhancing Object Detection in Maritime Environments Using Metadata.

Diogo Samuel Fernandes, João Bispo, Luís Conde Bento, Monica Figueiredo

Proceedings of the Progress in Pattern Recognition, Image Analysis, Computer Vision, and Applications, 2023

Retargeting Applications for Heterogeneous Systems with the Tribble Source-to-Source Framework.

Luís Miguel Sousa, João Bispo, Nuno Paulino

Proceedings of the 32nd International Conference on Parallel Architectures and Compilation Techniques, 2023

A CPU-FPGA Holistic Source-To-Source Compilation Approach for Partitioning and Optimizing C/C++ Applications.

Tiago Santos, João Bispo, João M. P. Cardoso

Proceedings of the 32nd International Conference on Parallel Architectures and Compilation Techniques, 2023

2022

Pegasus: Performance Engineering for Software Applications Targeting HPC Systems.

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

IEEE Trans. Software Eng., 2022

2021

An Efficient Monte Carlo-Based Probabilistic Time-Dependent Routing Calculation Targeting a Server-Side Car Navigation System.

Emanuele Vitali, Davide Gadioli, Gianluca Palermo, Martin Golasowski, João Bispo, Pedro Pinto, Jan Martinovic, Katerina Slaninová, João M. P. Cardoso, Cristina Silvano

IEEE Trans. Emerg. Top. Comput., 2021

Formal verification of Matrix based MATLAB models using interactive theorem proving.

Ayesha Gauhar, Adnan Rashid, Osman Hasan, João Bispo, João M. P. Cardoso

PeerJ Comput. Sci., 2021

A Binary Translation Framework for Automated Hardware Generation.

Nuno Paulino, João Bispo, João Canas Ferreira, João M. P. Cardoso

IEEE Micro, 2021

A Flexible HLS Hoeffding Tree Implementation for Runtime Learning on FPGA.

Luís Miguel Sousa, Nuno Miguel Cardanha Paulino, João Canas Ferreira, João Bispo

CoRR, 2021

Building Beyond HLS: Graph Analysis and Others.

Pedro Filipe Silva, João Bispo, Nuno Miguel Cardanha Paulino

CoRR, 2021

Multi-language static code analysis on the LARA framework.

Gil Teixeira, João Bispo, Filipe F. Correia

Proceedings of the SOAP@PLDI 2021: Proceedings of the 10th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis, 2021

FPGAs as General-Purpose Accelerators for Non-Experts via HLS: The Graph Analysis Example.

Pedro Filipe Silva, João Bispo, Nuno Paulino

Proceedings of the International Conference on Field-Programmable Technology, 2021

On the Performance Effect of Loop Trace Window Size on Scheduling for Configurable Coarse Grain Loop Accelerators.

Tiago Santos, Nuno Paulino, João Bispo, João M. P. Cardoso, João Canas Ferreira

Proceedings of the International Conference on Field-Programmable Technology, 2021

2020

Source-to-source compilation targeting OpenMP-based automatic parallelization of C applications.

Hamid Arabnejad, João Bispo, João M. P. Cardoso, Jorge G. Barbosa

J. Supercomput., 2020

Clava: C/C++ source-to-source compilation using LARA.

João Bispo, João M. P. Cardoso

SoftwareX, 2020

Compilation of MATLAB computations to CPU/GPU via C/OpenCL generation.

Luís Reis, João Bispo, João M. P. Cardoso

Concurr. Comput. Pract. Exp., 2020

Overviewing the liveness of refactoring for energy efficiency.

Emanuel Moreira, Filipe F. Correia, João Bispo

Proceedings of the Programming'20: 4th International Conference on the Art, 2020

Executing ARMv8 Loop Traces on Reconfigurable Accelerator via Binary Translation Framework.

Nuno Paulino, João Canas Ferreira, João Bispo, João M. P. Cardoso

Proceedings of the 30th International Conference on Field-Programmable Logic and Applications, 2020

2019

Nonio - modular automatic compiler phase selection and ordering specialization framework for modern compilers.

Ricardo Nobre, João Bispo, Tiago Carvalho, João M. P. Cardoso

SoftwareX, 2019

A framework for automatic and parameterizable memoization.

Loïc Besnard, Pedro Pinto, Imane Lasri, João Bispo, Erven Rohou, João M. P. Cardoso

SoftwareX, 2019

The ANTAREX domain specific language for high performance computing.

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, Emanuele Vitali

Microprocess. Microsystems, 2019

The ANTAREX Domain Specific Language for High Performance Computing.

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

CoRR, 2019

Supporting the Scale-Up of High Performance Application to Pre-Exascale Systems: The ANTAREX Approach.

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

Proceedings of the 27th Euromicro International Conference on Parallel, 2019

2018

Aspect composition for multiple target languages using LARA.

Pedro Pinto, Tiago Carvalho, João Bispo, Miguel António Ramalho, João M. P. Cardoso

Comput. Lang. Syst. Struct., 2018

An OpenMP Based Parallelization Compiler for C Applications.

Hamid Arabnejad, João Bispo, Jorge G. Barbosa, João M. P. Cardoso

Proceedings of the IEEE International Conference on Parallel & Distributed Processing with Applications, 2018

Aspect-Driven Mixed-Precision Tuning Targeting GPUs.

Ricardo Nobre, Luís Reis, João Bispo, Tiago Carvalho, João M. P. Cardoso, Stefano Cherubin, Giovanni Agosta

Proceedings of the 9th Workshop on Parallel Programming and RunTime Management Techniques for Manycore Architectures and 7th Workshop on Design Tools and Architectures for Multicore Embedded Computing Platforms, 2018

AutoPar-Clava: An Automatic Parallelization source-to-source tool for C code applications.

Hamid Arabnejad, João Bispo, Jorge G. Barbosa, João M. P. Cardoso

Proceedings of the 9th Workshop on Parallel Programming and RunTime Management Techniques for Manycore Architectures and 7th Workshop on Design Tools and Architectures for Multicore Embedded Computing Platforms, 2018

ANTAREX: A DSL-Based Approach to Adaptively Optimizing and Enforcing Extra-Functional Properties in High Performance Computing.

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

Proceedings of the 21st Euromicro Conference on Digital System Design, 2018

Autotuning and adaptivity in energy efficient HPC systems: the ANTAREX toolbox.

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

Proceedings of the 15th ACM International Conference on Computing Frontiers, 2018

2017

A MATLAB subset to C compiler targeting embedded systems.

João Bispo, João M. P. Cardoso

Softw. Pract. Exp., 2017

The ANTAREX tool flow for monitoring and autotuning energy efficient HPC systems.

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á

Proceedings of the 2017 International Conference on Embedded Computer Systems: Architectures, 2017

LARA as a language-independent aspect-oriented programming approach.

Pedro Pinto, Tiago Carvalho, João Bispo, João M. P. Cardoso

Proceedings of the Symposium on Applied Computing, 2017

Compiler Techniques for Efficient MATLAB to OpenCL Code Generation.

Luís Reis, João Bispo, João M. P. Cardoso

Proceedings of the 5th International Workshop on OpenCL, 2017

Expressing and Applying C++ Code Transformations for the HDF5 API Through a DSL.

Martin Golasowski, João Bispo, Jan Martinovic, Katerina Slaninová, João M. P. Cardoso

Proceedings of the Computer Information Systems and Industrial Management, 2017

2016

SSA-based MATLAB-to-C compilation and optimization.

Luís Reis, João Bispo, João M. P. Cardoso

Proceedings of the 3rd ACM SIGPLAN International Workshop on Libraries, 2016

Autotuning and adaptivity approach for energy efficient Exascale HPC systems: The ANTAREX approach.

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á

Proceedings of the 2016 Design, Automation & Test in Europe Conference & Exhibition, 2016

The ANTAREX approach to autotuning and adaptivity for energy efficient HPC systems.

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

Proceedings of the ACM International Conference on Computing Frontiers, CF'16, 2016

2015

C and OpenCL generation from MATLAB.

João Bispo, Luís Reis, João M. P. Cardoso

Proceedings of the 30th Annual ACM Symposium on Applied Computing, 2015

Techniques for efficient MATLAB-to-C compilation.

João Bispo, Luís Reis, João M. P. Cardoso

Proceedings of the 2nd ACM SIGPLAN International Workshop on Libraries, 2015

Transparent acceleration of program execution using reconfigurable hardware.

Nuno Miguel Cardanha Paulino, João Canas Ferreira, João Bispo, João M. P. Cardoso

Proceedings of the 2015 Design, Automation & Test in Europe Conference & Exhibition, 2015

2014

Multi-Target C Code Generation from MATLAB.

João Bispo, Luís Reis, João M. P. Cardoso

Proceedings of the ARRAY'14: Proceedings of the 2014 ACM SIGPLAN International Workshop on Libraries, 2014

2013

Transparent Trace-Based Binary Acceleration for Reconfigurable HW/SW Systems.

João Bispo, Nuno Miguel Cardanha Paulino, João M. P. Cardoso, João Canas Ferreira

IEEE Trans. Ind. Informatics, 2013

Transparent Runtime Migration of Loop-Based Traces of Processor Instructions to Reconfigurable Processing Units.

João Bispo, Nuno Miguel Cardanha Paulino, João M. P. Cardoso, João Canas Ferreira

Int. J. Reconfigurable Comput., 2013

The MATISSE MATLAB compiler.

João Bispo, Pedro Pinto, Ricardo Nobre, Tiago Carvalho, João M. P. Cardoso, Pedro C. Diniz

Proceedings of the 11th IEEE International Conference on Industrial Informatics, 2013

A Risk Diagnosing Methodology Web-Based Platform for Micro, Small and Medium Businesses: Remarks and Enhancements.

Luís Pereira, Alexandra B. Tenera, João Bispo, João Wemans

Proceedings of the Knowledge Discovery, Knowledge Engineering and Knowledge Management, 2013

A Risk Diagnosing Methodology Web-based Tool for SME's and Start-up Enterprises.

Luís Pereira, Alexandra B. Tenera, João Bispo, João Wemans

Proceedings of the KDIR/KMIS 2013 - Proceedings of the International Conference on Knowledge Discovery and Information Retrieval and the International Conference on Knowledge Management and Information Sharing, Vilamoura, Algarve, Portugal, 19, 2013

2012

Hardware pipelining of runtime-detected loops.

João Bispo, João M. P. Cardoso, José Monteiro

Proceedings of the 25th Symposium on Integrated Circuits and Systems Design, 2012

2011

From Instruction Traces to Specialized Reconfigurable Arrays.

João Bispo, Nuno Miguel Cardanha Paulino, João M. P. Cardoso, João Canas Ferreira

Proceedings of the 2011 International Conference on Reconfigurable Computing and FPGAs, 2011

Techniques for Dynamically Mapping Computations to Coprocessors.

João Bispo, João M. P. Cardoso

Proceedings of the 2011 International Conference on Reconfigurable Computing and FPGAs, 2011

2010

On identifying and optimizing instruction sequences for dynamic compilation.

João Bispo, João M. P. Cardoso

Proceedings of the International Conference on Field-Programmable Technology, 2010

On Identifying Segments of Traces for Dynamic Compilation.

João Bispo, João M. P. Cardoso

Proceedings of the International Conference on Field Programmable Logic and Applications, 2010

2009

A model for emotional contagion based on the emotional contagion scale.

João Bispo, Ana Paiva

Proceedings of the Affective Computing and Intelligent Interaction, 2009

2008

Regular Expression Matching in Reconfigurable Hardware.

Ioannis Sourdis, João Bispo, João M. P. Cardoso, Stamatis Vassiliadis

J. Signal Process. Syst., 2008

Retargeting, Evaluating, and Generating Reconfigurable Array-Based Architectures.

Carlos Morra, João M. P. Cardoso, João Bispo, Jürgen Becker

Proceedings of the IEEE Symposium on Application Specific Processors, 2008

Combining Rewriting-Logic, Architecture Generation, and Simulation to Exploit Coarse-Grained Reconfigurable Architectures.

Carlos Morra, João Bispo, João M. P. Cardoso, Jürgen Becker

Proceedings of the 16th IEEE International Symposium on Field-Programmable Custom Computing Machines, 2008

2007

Synthesis of Regular Expressions Targeting FPGAs: Current Status and Open Issues.

João Bispo, Ioannis Sourdis, João M. P. Cardoso, Stamatis Vassiliadis

Proceedings of the Reconfigurable Computing: Architectures, 2007

2006

Regular expression matching for reconfigurable packet inspection.

João Bispo, Ioannis Sourdis, João M. P. Cardoso, Stamatis Vassiliadis

Proceedings of the 2006 IEEE International Conference on Field Programmable Technology, 2006