João Bispo - RankMe

78 papers A 2B 9C 5Misc 5Journal 22Unranked 31

Year	Rank	Type	Title / Venue / Authors
2025	—	`conf`	Acceleration of C/C++ Kernels and ONNX Models on CGRAs with MLIR-Based Compilation. DCIS Juan Gallego, José Pedro Ferreira, Luís Alves, Daniel Vázquez, João Bispo, Alfonso Rodríguez, Nuno Paulino, Andrés Otero
2025	B	`conf`	Detecting Resource Leaks on Android with Alpakka. SLE Gustavo Santos, João Bispo, Alexandra Mendes
2025	—	`conf`	HLS to FPGAs: Extending Software Regions Via Transformations and Offloading Functions to the CPU. MCSoC Tiago Santos, João Bispo, João M. P. Cardoso, James C. Hoe
2025	J	`jnl`	Multi-Language Detection of Design Pattern Instances. CoRR Hugo Andrade, João Bispo, Filipe F. Correia
2025	Misc	`conf`	On Improving the HLS Compatibility of Large C/C++ Code Regions. FCCM Tiago Santos, João Bispo, João M. P. Cardoso, James C. Hoe
2025	Misc	`conf`	Ph.D. Project: Holistic Partitioning and Optimization of CPU-FPGA Applications Through Source-to-Source Compilation. FCCM Tiago Santos, João Bispo, João M. P. Cardoso
2025	—	`conf`	SIMD Acceleration of Matrix-Vector Operations on RISC-V for Variable Precision Neural Networks. IPDPS (Workshops) Gonzalo Salinas, Guilherme Sequeira, Alfonso Rodríguez, João Bispo, Nuno Paulino
2025	B	`conf`	TranspileJS, an Intelligent Framework for Transpiling JavaScript to WebAssembly. SLE José Pedro Ferreira, João Bispo, Susana Lima
2024	—	`ed.`	15th Workshop on Parallel Programming and Run-Time Management Techniques for Many-Core Architectures and 13th Workshop on Design Tools and Architectures for Multicore Embedded Computing Platforms, PARMA-DITAM 2024, Munich, Germany, January 18, 2024 PARMA-DITAM João Bispo, Sotirios Xydis, Serena Curzel, Luís Miguel Sousa
2024	—	`conf`	A C Subset for Ergonomic Source-to-Source Analyses and Transformations. RAPIDO@HiPEAC João N. Matos, João Bispo, Luís Miguel Sousa
2024	—	`conf`	A DSL and MLIR Dialect for Streaming and Vectorisation. ARC Manuel Cerqueira da Silva, Luís Miguel Sousa, Nuno Paulino, João Bispo
2024	B	`conf`	A Flexible-Granularity Task Graph Representation and Its Generation from C Applications (WIP). LCTES Tiago Santos, João Bispo, João M. P. Cardoso
2024	B	`conf`	Foundations for a Rust-Like Borrow Checker for C. LCTES Tiago Silva, João Bispo, Tiago Carvalho
2024	—	`conf`	Using Source-to-Source to Target RISC-V Custom Extensions: UVE Case-Study. RAPIDO@HiPEAC Miguel Henriques, João Bispo, Nuno Paulino
2023	—	`ed.`	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, PARMA-DITAM 2023, Toulouse, France, January 17, 2023 PARMA-DITAM João Bispo, Henri-Pierre Charles, Stefano Cherubin, Giuseppe Massari
2023	B	`conf`	A CPU-FPGA Holistic Source-To-Source Compilation Approach for Partitioning and Optimizing C/C++ Applications. PACT Tiago Santos, João Bispo, João M. P. Cardoso
2023	J	`jnl`	A DSL-based runtime adaptivity framework for Java. SoftwareX Tiago Carvalho, João Bispo, Pedro Pinto, João M. P. Cardoso
2023	—	`conf`	Challenges and Opportunities in C/C++ Source-To-Source Compilation (Invited Paper). PARMA-DITAM João Bispo, Nuno Paulino, Luís Miguel Sousa
2023	J	`jnl`	E-APK: Energy pattern detection in decompiled android applications. J. Comput. Lang. Nelson Gregório, João Bispo, João Paulo Fernandes, Sérgio Queiroz de Medeiros
2023	C	`conf`	Enhancing Object Detection in Maritime Environments Using Metadata. CIARP Diogo Samuel Fernandes, João Bispo, Luís Conde Bento, Monica Figueiredo
2023	B	`conf`	Retargeting Applications for Heterogeneous Systems with the Tribble Source-to-Source Framework. PACT Luís Miguel Sousa, João Bispo, Nuno Paulino
2022	—	`ed.`	13th Workshop on Parallel Programming and Run-Time Management Techniques for Many-Core Architectures and 11th Workshop on Design Tools and Architectures for Multicore Embedded Computing Platforms, PARMA-DITAM 2022, Budapest, Hungary, June 22, 2022 PARMA-DITAM Francesca Palumbo, João Bispo, Stefano Cherubin
2022	—	`conf`	E-APK: Energy Pattern Detection in Decompiled Android Applications. SBLP Nelson Gregório, João Paulo Fernandes, João Bispo, Sérgio Medeiros
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	—	`ed.`	12th Workshop on Parallel Programming and Run-Time Management Techniques for Many-core Architectures and 10th Workshop on Design Tools and Architectures for Multicore Embedded Computing Platforms, PARMA-DITAM 2021, Budapest, Hungary, January 19, 2021 PARMA-DITAM@HiPEAC João Bispo, Stefano Cherubin, José Flich
2021	J	`jnl`	A Binary Translation Framework for Automated Hardware Generation. IEEE Micro Nuno Paulino, João Bispo, João Canas Ferreira, João M. P. Cardoso
2021	J	`jnl`	A Flexible HLS Hoeffding Tree Implementation for Runtime Learning on FPGA. CoRR Luís Miguel Sousa, Nuno Miguel Cardanha Paulino, João Canas Ferreira, João Bispo
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
2021	J	`jnl`	Building Beyond HLS: Graph Analysis and Others. CoRR Pedro Filipe Silva, João Bispo, Nuno Miguel Cardanha Paulino
2021	—	`conf`	FPGAs as General-Purpose Accelerators for Non-Experts via HLS: The Graph Analysis Example. FPT Pedro Filipe Silva, João Bispo, Nuno Paulino
2021	J	`jnl`	Formal verification of Matrix based MATLAB models using interactive theorem proving. PeerJ Comput. Sci. Ayesha Gauhar, Adnan Rashid, Osman Hasan, João Bispo, João M. P. Cardoso
2021	—	`conf`	Multi-language static code analysis on the LARA framework. SOAP@PLDI Gil Teixeira, João Bispo, Filipe F. Correia
2021	—	`conf`	On the Performance Effect of Loop Trace Window Size on Scheduling for Configurable Coarse Grain Loop Accelerators. FPT Tiago Santos, Nuno Paulino, João Bispo, João M. P. Cardoso, João Canas Ferreira
2020	J	`jnl`	Clava: C/C++ source-to-source compilation using LARA. SoftwareX João Bispo, João M. P. Cardoso
2020	J	`jnl`	Compilation of MATLAB computations to CPU/GPU via C/OpenCL generation. Concurr. Comput. Pract. Exp. Luís Reis, João Bispo, João M. P. Cardoso
2020	B	`conf`	Executing ARMv8 Loop Traces on Reconfigurable Accelerator via Binary Translation Framework. FPL Nuno Paulino, João Canas Ferreira, João Bispo, João M. P. Cardoso
2020	—	`conf`	Overviewing the liveness of refactoring for energy efficiency. Programming Emanuel Moreira, Filipe F. Correia, João Bispo
2020	J	`jnl`	Source-to-source compilation targeting OpenMP-based automatic parallelization of C applications. J. Supercomput. Hamid Arabnejad, João Bispo, João M. P. Cardoso, Jorge G. Barbosa
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	J	`jnl`	Nonio - modular automatic compiler phase selection and ordering specialization framework for modern compilers. SoftwareX Ricardo Nobre, João Bispo, Tiago Carvalho, João M. P. Cardoso
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
2019	J	`jnl`	The ANTAREX domain specific language for high performance computing. Microprocess. Microsystems 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
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	—	`conf`	An OpenMP Based Parallelization Compiler for C Applications. ISPA/IUCC/BDCloud/SocialCom/SustainCom Hamid Arabnejad, João Bispo, Jorge G. Barbosa, João M. P. Cardoso
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`	Aspect-Driven Mixed-Precision Tuning Targeting GPUs. PARMA-DITAM@HiPEAC Ricardo Nobre, Luís Reis, João Bispo, Tiago Carvalho, João M. P. Cardoso, Stefano Cherubin, Giovanni Agosta
2018	—	`conf`	AutoPar-Clava: An Automatic Parallelization source-to-source tool for C code applications. PARMA-DITAM@HiPEAC Hamid Arabnejad, João Bispo, Jorge G. Barbosa, 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
2017	J	`jnl`	A MATLAB subset to C compiler targeting embedded systems. Softw. Pract. Exp. João Bispo, João M. P. Cardoso
2017	—	`conf`	Compiler Techniques for Efficient MATLAB to OpenCL Code Generation. IWOCL Luís Reis, João Bispo, João M. P. Cardoso
2017	—	`conf`	Expressing and Applying C++ Code Transformations for the HDF5 API Through a DSL. CISIM Martin Golasowski, João Bispo, Jan Martinovic, Katerina Slaninová, João M. P. Cardoso
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`	SSA-based MATLAB-to-C compilation and optimization. ARRAY@PLDI Luís Reis, João Bispo, João M. P. Cardoso
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	Misc	`conf`	C and OpenCL generation from MATLAB. SAC João Bispo, Luís Reis, João M. P. Cardoso
2015	—	`conf`	Techniques for efficient MATLAB-to-C compilation. ARRAY@PLDI João Bispo, Luís Reis, João M. P. Cardoso
2015	A	`conf`	Transparent acceleration of program execution using reconfigurable hardware. DATE Nuno Miguel Cardanha Paulino, João Canas Ferreira, João Bispo, João M. P. Cardoso
2014	—	`conf`	Multi-Target C Code Generation from MATLAB. ARRAY@PLDI João Bispo, Luís Reis, João M. P. Cardoso
2013	C	`conf`	A Risk Diagnosing Methodology Web-Based Platform for Micro, Small and Medium Businesses: Remarks and Enhancements. IC3K Luís Pereira, Alexandra B. Tenera, João Bispo, João Wemans
2013	—	`conf`	A Risk Diagnosing Methodology Web-based Tool for SME's and Start-up Enterprises. KDIR/KMIS Luís Pereira, Alexandra B. Tenera, João Bispo, João Wemans
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
2013	J	`jnl`	Transparent Runtime Migration of Loop-Based Traces of Processor Instructions to Reconfigurable Processing Units. Int. J. Reconfigurable Comput. João Bispo, Nuno Miguel Cardanha Paulino, João M. P. Cardoso, João Canas Ferreira
2013	J	`jnl`	Transparent Trace-Based Binary Acceleration for Reconfigurable HW/SW Systems. IEEE Trans. Ind. Informatics João Bispo, Nuno Miguel Cardanha Paulino, João M. P. Cardoso, João Canas Ferreira
2012	—	`conf`	Hardware pipelining of runtime-detected loops. SBCCI João Bispo, João M. P. Cardoso, José Monteiro
2011	—	`conf`	From Instruction Traces to Specialized Reconfigurable Arrays. ReConFig João Bispo, Nuno Miguel Cardanha Paulino, João M. P. Cardoso, João Canas Ferreira
2011	—	`conf`	Techniques for Dynamically Mapping Computations to Coprocessors. ReConFig João Bispo, João M. P. Cardoso
2010	B	`conf`	On Identifying Segments of Traces for Dynamic Compilation. FPL João Bispo, João M. P. Cardoso
2010	—	`conf`	On identifying and optimizing instruction sequences for dynamic compilation. FPT João Bispo, João M. P. Cardoso
2009	B	`conf`	A model for emotional contagion based on the emotional contagion scale. ACII João Bispo, Ana Paiva
2008	Misc	`conf`	Combining Rewriting-Logic, Architecture Generation, and Simulation to Exploit Coarse-Grained Reconfigurable Architectures. FCCM Carlos Morra, João Bispo, João M. P. Cardoso, Jürgen Becker
2008	J	`jnl`	Regular Expression Matching in Reconfigurable Hardware. J. Signal Process. Syst. Ioannis Sourdis, João Bispo, João M. P. Cardoso, Stamatis Vassiliadis
2008	—	`conf`	Retargeting, Evaluating, and Generating Reconfigurable Array-Based Architectures. SASP Carlos Morra, João M. P. Cardoso, João Bispo, Jürgen Becker
2007	—	`conf`	Synthesis of Regular Expressions Targeting FPGAs: Current Status and Open Issues. ARC João Bispo, Ioannis Sourdis, João M. P. Cardoso, Stamatis Vassiliadis
2006	—	`conf`	Regular expression matching for reconfigurable packet inspection. FPT João Bispo, Ioannis Sourdis, João M. P. Cardoso, Stamatis Vassiliadis