Regular expression matching for reconfigurable packet inspection. - João Bispo; Ioannis Sourdis; João M. P. Cardoso; Stamatis Vassiliadis (FPT, 2006)

Synthesis of Regular Expressions Targeting FPGAs: Current Status and Open Issues. - João Bispo; Ioannis Sourdis; João M. P. Cardoso; Stamatis Vassiliadis (ARC, 2007)

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 001 (FCCM, 2008)

Retargeting, Evaluating, and Generating Reconfigurable Array-Based Architectures. - Carlos Morra; João M. P. Cardoso; João Bispo; Jürgen Becker 001 (SASP, 2008)

Regular Expression Matching in Reconfigurable Hardware. - Ioannis Sourdis; João Bispo; João M. P. Cardoso; Stamatis Vassiliadis (J. Signal Process. Syst., 2008)

A model for emotional contagion based on the emotional contagion scale. - João Bispo; Ana Paiva 001 (ACII, 2009)

On Identifying Segments of Traces for Dynamic Compilation. - João Bispo; João M. P. Cardoso (FPL, 2010)

On identifying and optimizing instruction sequences for dynamic compilation. - João Bispo; João M. P. Cardoso (FPT, 2010)

Techniques for Dynamically Mapping Computations to Coprocessors. - João Bispo; João M. P. Cardoso (ReConFig, 2011)

From Instruction Traces to Specialized Reconfigurable Arrays. - João Bispo; Nuno Miguel Cardanha Paulino; João M. P. Cardoso; João Canas Ferreira (ReConFig, 2011)

Hardware pipelining of runtime-detected loops. - João Bispo; João M. P. Cardoso; José Monteiro 001 (SBCCI, 2012)

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 (KDIR/KMIS, 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 (IC3K, 2013)

The MATISSE MATLAB compiler. - João Bispo; Pedro Pinto 002; Ricardo Nobre; Tiago Carvalho 001; João M. P. Cardoso; Pedro C. Diniz (INDIN, 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)

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)

Multi-Target C Code Generation from MATLAB. - João Bispo; Luís Reis 001; João M. P. Cardoso (ARRAY@PLDI, 2014)

Transparent acceleration of program execution using reconfigurable hardware. - Nuno Miguel Cardanha Paulino; João Canas Ferreira; João Bispo; João M. P. Cardoso (DATE, 2015)

Techniques for efficient MATLAB-to-C compilation. - João Bispo; Luís Reis 001; João M. P. Cardoso (ARRAY@PLDI, 2015)

C and OpenCL generation from MATLAB. - João Bispo; Luís Reis 001; João M. P. Cardoso (SAC, 2015)

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; et al. (Conf. Computing Frontiers, 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; et al. (DATE, 2016)

SSA-based MATLAB-to-C compilation and optimization. - Luís Reis 001; João Bispo; João M. P. Cardoso (ARRAY@PLDI, 2016)

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 (CISIM, 2017)

Compiler Techniques for Efficient MATLAB to OpenCL Code Generation. - Luís Reis 001; João Bispo; João M. P. Cardoso (IWOCL, 2017)

LARA as a language-independent aspect-oriented programming approach. - Pedro Pinto 002; Tiago Carvalho 001; João Bispo; João M. P. Cardoso (SAC, 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; et al. (SAMOS, 2017)

A MATLAB subset to C compiler targeting embedded systems. - João Bispo; João M. P. Cardoso (Softw. Pract. Exp., 2017)

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; et al. (CF, 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; et al. (DSD, 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 (PARMA-DITAM@HiPEAC, 2018)

Aspect-Driven Mixed-Precision Tuning Targeting GPUs. - Ricardo Nobre; Luís Reis 001; João Bispo; Tiago Carvalho 001; João M. P. Cardoso; Stefano Cherubin; Giovanni Agosta (PARMA-DITAM@HiPEAC, 2018)

An OpenMP Based Parallelization Compiler for C Applications. - Hamid Arabnejad; João Bispo; Jorge G. Barbosa; João M. P. Cardoso (ISPA/IUCC/BDCloud/SocialCom/SustainCom, 2018)

Aspect composition for multiple target languages using LARA. - Pedro Pinto 002; Tiago Carvalho 001; João Bispo; Miguel António Ramalho; João M. P. Cardoso (Comput. Lang. Syst. Struct., 2018)

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; et al. (PDP, 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; et al. (CoRR, 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; et al. (Microprocess. Microsystems, 2019)

A framework for automatic and parameterizable memoization. - Loïc Besnard; Pedro Pinto 002; Imane Lasri; João Bispo; Erven Rohou; João M. P. Cardoso (SoftwareX, 2019)

Nonio - modular automatic compiler phase selection and ordering specialization framework for modern compilers. - Ricardo Nobre; João Bispo; Tiago Carvalho 001; João M. P. Cardoso (SoftwareX, 2019)

Executing ARMv8 Loop Traces on Reconfigurable Accelerator via Binary Translation Framework. - Nuno Paulino 001; João Canas Ferreira; João Bispo; João M. P. Cardoso (FPL, 2020)

Overviewing the liveness of refactoring for energy efficiency. - Emanuel Moreira; Filipe F. Correia; João Bispo (Programming, 2020)

Compilation of MATLAB computations to CPU/GPU via C/OpenCL generation. - Luís Reis 001; João Bispo; João M. P. Cardoso (Concurr. Comput. Pract. Exp., 2020)

Clava: C/C++ source-to-source compilation using LARA. - João Bispo; João M. P. Cardoso (SoftwareX, 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)

On the Performance Effect of Loop Trace Window Size on Scheduling for Configurable Coarse Grain Loop Accelerators. - Tiago Santos; Nuno Paulino 001; João Bispo; João M. P. Cardoso; João Canas Ferreira (FPT, 2021)

FPGAs as General-Purpose Accelerators for Non-Experts via HLS: The Graph Analysis Example. - Pedro Filipe Silva; João Bispo; Nuno Paulino 001 (FPT, 2021)

Multi-language static code analysis on the LARA framework. - Gil Teixeira; João Bispo; Filipe F. Correia (SOAP@PLDI, 2021)

Building Beyond HLS: Graph Analysis and Others. - Pedro Filipe Silva; João Bispo; Nuno Miguel Cardanha Paulino (CoRR, 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)

A Binary Translation Framework for Automated Hardware Generation. - Nuno Paulino 001; João Bispo; João Canas Ferreira; João M. P. Cardoso (IEEE Micro, 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)

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 002; Jan Martinovic; Katerina Slaninová; João M. P. Cardoso; Cristina Silvano (IEEE Trans. Emerg. Top. Comput., 2021)

Pegasus: Performance Engineering for Software Applications Targeting HPC Systems. - Pedro Pinto 002; 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)

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 (PACT, 2023)

Retargeting Applications for Heterogeneous Systems with the Tribble Source-to-Source Framework. - Luís Miguel Sousa; João Bispo; Nuno Paulino 001 (PACT, 2023)

Enhancing Object Detection in Maritime Environments Using Metadata. - Diogo Samuel Fernandes; João Bispo; Luís Conde Bento; Monica Figueiredo (CIARP, 2023)

Challenges and Opportunities in C/C++ Source-To-Source Compilation (Invited Paper). - João Bispo; Nuno Paulino 001; Luís Miguel Sousa (PARMA-DITAM, 2023)

A DSL-based runtime adaptivity framework for Java. - Tiago Carvalho 001; João Bispo; Pedro Pinto 002; João M. P. Cardoso (SoftwareX, 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., 2023)

A DSL and MLIR Dialect for Streaming and Vectorisation. - Manuel Cerqueira da Silva; Luís Miguel Sousa; Nuno Paulino 001; João Bispo (ARC, 2024)

A Flexible-Granularity Task Graph Representation and Its Generation from C Applications (WIP). - Tiago Santos; João Bispo; João M. P. Cardoso (LCTES, 2024)

Foundations for a Rust-Like Borrow Checker for C. - Tiago Silva; João Bispo; Tiago Carvalho 001 (LCTES, 2024)

Using Source-to-Source to Target RISC-V Custom Extensions: UVE Case-Study. - Miguel Henriques; João Bispo; Nuno Paulino 001 (RAPIDO@HiPEAC, 2024)

A C Subset for Ergonomic Source-to-Source Analyses and Transformations. - João N. Matos; João Bispo; Luís Miguel Sousa (RAPIDO@HiPEAC, 2024)

Ph.D. Project: Holistic Partitioning and Optimization of CPU-FPGA Applications Through Source-to-Source Compilation. - Tiago Santos; João Bispo; João M. P. Cardoso (FCCM, 2025)

On Improving the HLS Compatibility of Large C/C++ Code Regions. - Tiago Santos; João Bispo; João M. P. Cardoso; James C. Hoe (FCCM, 2025)

SIMD Acceleration of Matrix-Vector Operations on RISC-V for Variable Precision Neural Networks. - Gonzalo Salinas; Guilherme Sequeira; Alfonso Rodríguez 002; João Bispo; Nuno Paulino 001 (IPDPS (Workshops), 2025)

TranspileJS, an Intelligent Framework for Transpiling JavaScript to WebAssembly. - José Pedro Ferreira; João Bispo; Susana Lima (SLE, 2025)

Detecting Resource Leaks on Android with Alpakka. - Gustavo Santos; João Bispo; Alexandra Mendes (SLE, 2025)

Multi-Language Detection of Design Pattern Instances. - Hugo Andrade; João Bispo; Filipe F. Correia (CoRR, 2025)