default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJoão Bispo
Person information
SPARQL queries 
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[c45]Manuel Cerqueira da Silva, Luís Miguel Sousa
, Nuno Paulino, João Bispo:
A DSL and MLIR Dialect for Streaming and Vectorisation. ARC 2024: 181-190- [c44]Tiago Silva, João Bispo, Tiago Carvalho:
Foundations for a Rust-Like Borrow Checker for C. LCTES 2024: 155-165 - [c43]Tiago Santos, João Bispo, João M. P. Cardoso:
A Flexible-Granularity Task Graph Representation and Its Generation from C Applications (WIP). LCTES 2024: 178-182 - [c42]João N. Matos, João Bispo, Luís Miguel Sousa:
A C Subset for Ergonomic Source-to-Source Analyses and Transformations. RAPIDO@HiPEAC 2024: 1-8 - [c41]Miguel Henriques, João Bispo, Nuno Paulino:
Using Source-to-Source to Target RISC-V Custom Extensions: UVE Case-Study. RAPIDO@HiPEAC 2024: 42-50 - [e4]João Bispo, Sotirios Xydis, Serena Curzel, Luís Miguel Sousa:
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, January 18, 2024, Munich, Germany. OASIcs 116, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2024, ISBN 978-3-95977-307-2 [contents] - 2023
- [j17]Tiago Carvalho, João Bispo, Pedro Pinto, João M. P. Cardoso:
A DSL-based runtime adaptivity framework for Java. SoftwareX 23: 101496 (2023) - [j16]Nelson Gregório, João Bispo, João Paulo Fernandes, Sérgio Queiroz de Medeiros:
E-APK: Energy pattern detection in decompiled android applications. J. Comput. Lang. 76: 101220 (2023) - [c40]Tiago Santos, João Bispo, João M. P. Cardoso:
A CPU-FPGA Holistic Source-To-Source Compilation Approach for Partitioning and Optimizing C/C++ Applications. PACT 2023: 320-322 - [c39]Luís Miguel Sousa, João Bispo, Nuno Paulino:
Retargeting Applications for Heterogeneous Systems with the Tribble Source-to-Source Framework. PACT 2023: 329-331 - [c38]Diogo Samuel Fernandes, João Bispo, Luís Conde Bento, Monica Figueiredo:
Enhancing Object Detection in Maritime Environments Using Metadata. CIARP 2023: 76-89 - [c37]João Bispo, Nuno Paulino, Luís Miguel Sousa:
Challenges and Opportunities in C/C++ Source-To-Source Compilation (Invited Paper). PARMA-DITAM 2023: 2:1-2:15 - [e3]João Bispo, Henri-Pierre Charles, Stefano Cherubin, Giuseppe Massari:
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, January 17, 2023, Toulouse, France. OASIcs 107, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2023, ISBN 978-3-95977-269-3 [contents] - 2022
- [j15]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:
Pegasus: Performance Engineering for Software Applications Targeting HPC Systems. IEEE Trans. Software Eng. 48(3): 732-754 (2022) - [c36]Nelson Gregório, João Paulo Fernandes, João Bispo, Sérgio Medeiros:
E-APK: Energy Pattern Detection in Decompiled Android Applications. SBLP 2022: 50-58 - [e2]Francesca Palumbo, João Bispo, Stefano Cherubin:
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, June 22, 2022, Budapest, Hungary. OASIcs 100, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2022, ISBN 978-3-95977-231-0 [contents] - 2021
- [j14]Nuno Paulino, João Bispo, João Canas Ferreira, João M. P. Cardoso:
A Binary Translation Framework for Automated Hardware Generation. IEEE Micro 41(4): 15-23 (2021) - [j13]Ayesha Gauhar, Adnan Rashid, Osman Hasan, João Bispo, João M. P. Cardoso:
Formal verification of Matrix based MATLAB models using interactive theorem proving. PeerJ Comput. Sci. 7: e440 (2021) - [j12]Emanuele Vitali, Davide Gadioli, Gianluca Palermo, Martin Golasowski, João Bispo, Pedro Pinto, Jan Martinovic, Katerina Slaninová, João M. P. Cardoso, Cristina Silvano:
An Efficient Monte Carlo-Based Probabilistic Time-Dependent Routing Calculation Targeting a Server-Side Car Navigation System. IEEE Trans. Emerg. Top. Comput. 9(2): 1006-1019 (2021) - [c35]Tiago Santos, Nuno Paulino, João Bispo, João M. P. Cardoso, João Canas Ferreira:
On the Performance Effect of Loop Trace Window Size on Scheduling for Configurable Coarse Grain Loop Accelerators. FPT 2021: 1-4 - [c34]Pedro Filipe Silva, João Bispo, Nuno Paulino:
FPGAs as General-Purpose Accelerators for Non-Experts via HLS: The Graph Analysis Example. FPT 2021: 1-4 - [c33]Gil Teixeira, João Bispo, Filipe F. Correia:
Multi-language static code analysis on the LARA framework. SOAP@PLDI 2021: 31-36 - [e1]João Bispo, Stefano Cherubin, José Flich:
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, January 19, 2021, Budapest, Hungary. OASIcs 88, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2021, ISBN 978-3-95977-181-8 [contents] - [i4]Pedro Filipe Silva, João Bispo, Nuno Miguel Cardanha Paulino:
Building Beyond HLS: Graph Analysis and Others. CoRR abs/2104.02676 (2021) - [i3]Luís Miguel Sousa, Nuno Miguel Cardanha Paulino, João Canas Ferreira, João Bispo:
A Flexible HLS Hoeffding Tree Implementation for Runtime Learning on FPGA. CoRR abs/2112.01875 (2021) - 2020
- [j11]Luís Reis, João Bispo, João M. P. Cardoso:
Compilation of MATLAB computations to CPU/GPU via C/OpenCL generation. Concurr. Comput. Pract. Exp. 32(22) (2020) - [j10]João Bispo, João M. P. Cardoso:
Clava: C/C++ source-to-source compilation using LARA. SoftwareX 12: 100565 (2020) - [j9]Hamid Arabnejad, João Bispo, João M. P. Cardoso, Jorge G. Barbosa:
Source-to-source compilation targeting OpenMP-based automatic parallelization of C applications. J. Supercomput. 76(9): 6753-6785 (2020) - [c32]Nuno Paulino, João Canas Ferreira, João Bispo, João M. P. Cardoso:
Executing ARMv8 Loop Traces on Reconfigurable Accelerator via Binary Translation Framework. FPL 2020: 367 - [c31]Emanuel Moreira, Filipe F. Correia, João Bispo:
Overviewing the liveness of refactoring for energy efficiency. Programming 2020: 211-212
2010 – 2019
- 2019
- [j8]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:
The ANTAREX domain specific language for high performance computing. Microprocess. Microsystems 68: 58-73 (2019) - [j7]Ricardo Nobre, João Bispo, Tiago Carvalho, João M. P. Cardoso:
Nonio - modular automatic compiler phase selection and ordering specialization framework for modern compilers. SoftwareX 10: 100238 (2019) - [j6]Loïc Besnard, Pedro Pinto, Imane Lasri, João Bispo, Erven Rohou, João M. P. Cardoso:
A framework for automatic and parameterizable memoization. SoftwareX 10: 100322 (2019) - [c30]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:
Supporting the Scale-Up of High Performance Application to Pre-Exascale Systems: The ANTAREX Approach. PDP 2019: 116-123 - [i2]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:
The ANTAREX Domain Specific Language for High Performance Computing. CoRR abs/1901.06175 (2019) - [i1]Emanuele Vitali, Davide Gadioli, Gianluca Palermo, Martin Golasowski, João Bispo, Pedro Pinto, Jan Martinovic, Katerina Slaninová, João M. P. Cardoso, Cristina Silvano:
An Efficient Monte Carlo-based Probabilistic Time-Dependent Routing Calculation Targeting a Server-Side Car Navigation System. CoRR abs/1901.06210 (2019) - 2018
- [j5]Pedro Pinto, Tiago Carvalho, João Bispo, Miguel António Ramalho, João M. P. Cardoso:
Aspect composition for multiple target languages using LARA. Comput. Lang. Syst. Struct. 53: 1-26 (2018) - [c29]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:
Autotuning and adaptivity in energy efficient HPC systems: the ANTAREX toolbox. CF 2018: 270-275 - [c28]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:
ANTAREX: A DSL-Based Approach to Adaptively Optimizing and Enforcing Extra-Functional Properties in High Performance Computing. DSD 2018: 600-607 - [c27]Hamid Arabnejad, João Bispo, Jorge G. Barbosa, João M. P. Cardoso:
AutoPar-Clava: An Automatic Parallelization source-to-source tool for C code applications. PARMA-DITAM@HiPEAC 2018: 13-19 - [c26]Ricardo Nobre, Luís Reis, João Bispo, Tiago Carvalho, João M. P. Cardoso, Stefano Cherubin, Giovanni Agosta:
Aspect-Driven Mixed-Precision Tuning Targeting GPUs. PARMA-DITAM@HiPEAC 2018: 26-31 - [c25]Hamid Arabnejad, João Bispo, Jorge G. Barbosa, João M. P. Cardoso:
An OpenMP Based Parallelization Compiler for C Applications. ISPA/IUCC/BDCloud/SocialCom/SustainCom 2018: 915-923 - 2017
- [j4]João Bispo, João M. P. Cardoso:
A MATLAB subset to C compiler targeting embedded systems. Softw. Pract. Exp. 47(2): 249-272 (2017) - [c24]Martin Golasowski, João Bispo, Jan Martinovic, Katerina Slaninová, João M. P. Cardoso:
Expressing and Applying C++ Code Transformations for the HDF5 API Through a DSL. CISIM 2017: 303-314 - [c23]Luís Reis, João Bispo, João M. P. Cardoso:
Compiler Techniques for Efficient MATLAB to OpenCL Code Generation. IWOCL 2017: 29:1-29:2 - [c22]Pedro Pinto, Tiago Carvalho, João Bispo, João M. P. Cardoso:
LARA as a language-independent aspect-oriented programming approach. SAC 2017: 1623-1630 - [c21]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á:
The ANTAREX tool flow for monitoring and autotuning energy efficient HPC systems. SAMOS 2017: 308-316 - 2016
- [c20]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:
The ANTAREX approach to autotuning and adaptivity for energy efficient HPC systems. Conf. Computing Frontiers 2016: 288-293 - [c19]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á:
Autotuning and adaptivity approach for energy efficient Exascale HPC systems: The ANTAREX approach. DATE 2016: 708-713 - [c18]Luís Reis, João Bispo, João M. P. Cardoso:
SSA-based MATLAB-to-C compilation and optimization. ARRAY@PLDI 2016: 55-62 - 2015
- [c17]Nuno Miguel Cardanha Paulino, João Canas Ferreira, João Bispo, João M. P. Cardoso:
Transparent acceleration of program execution using reconfigurable hardware. DATE 2015: 1066-1071 - [c16]João Bispo, Luís Reis, João M. P. Cardoso:
Techniques for efficient MATLAB-to-C compilation. ARRAY@PLDI 2015: 7-12 - [c15]João Bispo, Luís Reis, João M. P. Cardoso:
C and OpenCL generation from MATLAB. SAC 2015: 1315-1320 - 2014
- [c14]João Bispo, Luís Reis, João M. P. Cardoso:
Multi-Target C Code Generation from MATLAB. ARRAY@PLDI 2014: 95-100 - 2013
- [j3]João Bispo, Nuno Miguel Cardanha Paulino, João M. P. Cardoso, João Canas Ferreira:
Transparent Runtime Migration of Loop-Based Traces of Processor Instructions to Reconfigurable Processing Units. Int. J. Reconfigurable Comput. 2013: 340316:1-340316:20 (2013) - [j2]João Bispo, Nuno Miguel Cardanha Paulino, João M. P. Cardoso, João Canas Ferreira:
Transparent Trace-Based Binary Acceleration for Reconfigurable HW/SW Systems. IEEE Trans. Ind. Informatics 9(3): 1625-1634 (2013) - [c13]Luís Pereira, Alexandra B. Tenera, João Bispo, João Wemans:
A Risk Diagnosing Methodology Web-based Tool for SME's and Start-up Enterprises. KDIR/KMIS 2013: 308-317 - [c12]Luís Pereira, Alexandra B. Tenera, João Bispo, João Wemans:
A Risk Diagnosing Methodology Web-Based Platform for Micro, Small and Medium Businesses: Remarks and Enhancements. IC3K 2013: 340-356 - [c11]João Bispo, Pedro Pinto, Ricardo Nobre, Tiago Carvalho, João M. P. Cardoso, Pedro C. Diniz:
The MATISSE MATLAB compiler. INDIN 2013: 602-608 - 2012
- [c10]João Bispo, João M. P. Cardoso, José Monteiro:
Hardware pipelining of runtime-detected loops. SBCCI 2012: 1-6 - 2011
- [c9]João Bispo, Nuno Miguel Cardanha Paulino, João M. P. Cardoso, João Canas Ferreira:
From Instruction Traces to Specialized Reconfigurable Arrays. ReConFig 2011: 386-391 - [c8]João Bispo, João M. P. Cardoso:
Techniques for Dynamically Mapping Computations to Coprocessors. ReConFig 2011: 505-508 - 2010
- [c7]João Bispo, João M. P. Cardoso:
On Identifying Segments of Traces for Dynamic Compilation. FPL 2010: 263-266 - [c6]João Bispo, João M. P. Cardoso:
On identifying and optimizing instruction sequences for dynamic compilation. FPT 2010: 437-440
2000 – 2009
- 2009
- [c5]João Bispo, Ana Paiva:
A model for emotional contagion based on the emotional contagion scale. ACII 2009: 1-6 - 2008
- [j1]Ioannis Sourdis, João Bispo, João M. P. Cardoso, Stamatis Vassiliadis:
Regular Expression Matching in Reconfigurable Hardware. J. Signal Process. Syst. 51(1): 99-121 (2008) - [c4]Carlos Morra, João Bispo, João M. P. Cardoso, Jürgen Becker:
Combining Rewriting-Logic, Architecture Generation, and Simulation to Exploit Coarse-Grained Reconfigurable Architectures. FCCM 2008: 320-321 - [c3]Carlos Morra, João M. P. Cardoso, João Bispo, Jürgen Becker:
Retargeting, Evaluating, and Generating Reconfigurable Array-Based Architectures. SASP 2008: 34-41 - 2007
- [c2]João Bispo, Ioannis Sourdis, João M. P. Cardoso, Stamatis Vassiliadis:
Synthesis of Regular Expressions Targeting FPGAs: Current Status and Open Issues. ARC 2007: 179-190 - 2006
- [c1]João Bispo, Ioannis Sourdis, João M. P. Cardoso, Stamatis Vassiliadis:
Regular expression matching for reconfigurable packet inspection. FPT 2006: 119-126
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-01-21 00:15 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
