João Carlos Viegas Martins Bispo


AuthID: R-000-6X6

Confirmed Publications: 79



1
TITLE: Detecting Resource Leaks on Android with Alpakka
AUTHORS: Santos, Gustavo; Bispo, Joao ; Mendes, Alexandra ;
PUBLISHED: 2025, SOURCE: 18th International Conference on Software Language Engineering-SLE-Annual in PROCEEDINGS OF SLE 2025 18TH ACM SIGPLAN INTERNATIONAL CONFERENCE ON SOFTWARE LANGUAGE ENGINEERING, SLE 2025
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID | DBLP
2
TITLE: METFORD - Mutation tEsTing Framework fOR anDroid  Full Text
AUTHORS: VINCENZI, AURI M. R. ; Kuroishi, Pedro H.; Bispo, Joao ; da Veiga, Ana R. C.; da Mata, David R. C.; Azevedo, Francisco B.; Paiva, Ana C. R. ;
PUBLISHED: 2025, SOURCE: JOURNAL OF SYSTEMS AND SOFTWARE, VOLUME: 222
INDEXED IN: Scopus WOS DBLP CrossRef: 1
IN MY: ORCID | CIÊNCIAVITAE
3
TITLE: Multilanguage Detection of Design Pattern Instances  Full Text
AUTHORS: Andrade, Hugo; Bispo, Joao ; Correia, Filipe F. ;
PUBLISHED: 2025, SOURCE: JOURNAL OF SOFTWARE-EVOLUTION AND PROCESS, VOLUME: 37, ISSUE: 2
INDEXED IN: Scopus WOS DBLP CrossRef Unpaywall
IN MY: ORCID | DBLP | CIÊNCIAVITAE
4
TITLE: On improving the HLS compatibility of large C/C plus plus code regions
AUTHORS: Santos, Tiago; Bispo, Joao ; Cardoso, Joao M. P. ; Hoe, James C.;
PUBLISHED: 2025, SOURCE: 33rd International Symposium on Field Programmable Custom Computing Machines-FCCM-Annual in 2025 IEEE 33RD ANNUAL INTERNATIONAL SYMPOSIUM ON FIELD-PROGRAMMABLE CUSTOM COMPUTING MACHINES, FCCM
INDEXED IN: Scopus WOS DBLP CrossRef: 1
IN MY: ORCID | DBLP
5
TITLE: Ph.D. Project: Holistic Partitioning and Optimization of CPU-FPGA Applications Through Source-to-Source Compilation
AUTHORS: Santos, Tiago; Bispo, Joao ; Cardoso, Joao M. P. ;
PUBLISHED: 2025, SOURCE: 33rd International Symposium on Field Programmable Custom Computing Machines-FCCM-Annual in 2025 IEEE 33RD ANNUAL INTERNATIONAL SYMPOSIUM ON FIELD-PROGRAMMABLE CUSTOM COMPUTING MACHINES, FCCM
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID | DBLP
6
TITLE: SIMD Acceleration of Matrix-Vector Operations on RISC-V for Variable Precision Neural Networks
AUTHORS: Salinas, Gonzalo; Sequeira, Guilherme; Rodriguez, Alfonso; Bispo, Joao ; Paulino, Nuno ;
PUBLISHED: 2025, SOURCE: 2025 International Parallel and Distributed Processing Symposium Workshops-IPDPSW-Annual in 2025 IEEE INTERNATIONAL PARALLEL AND DISTRIBUTED PROCESSING SYMPOSIUM WORKSHOPS, IPDPSW
INDEXED IN: WOS DBLP CrossRef
IN MY: ORCID
7
TITLE: TranspileJS, an Intelligent Framework for Transpiling JavaScript to WebAssembly
AUTHORS: Ferreira, Jose Pedro; Bispo, Joao ; Lima, Susana;
PUBLISHED: 2025, SOURCE: 18th International Conference on Software Language Engineering-SLE-Annual in PROCEEDINGS OF SLE 2025 18TH ACM SIGPLAN INTERNATIONAL CONFERENCE ON SOFTWARE LANGUAGE ENGINEERING, SLE 2025
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID | DBLP
8
9
TITLE: A C Subset for Ergonomic Source-to-Source Analyses and Transformations
AUTHORS: Matos, Joao N.; Bispo, Joao ; Sousa, Luis Miguel;
PUBLISHED: 2024, SOURCE: Rapido Workshop on Rapid Simulation and Performance Evaluation - Methods and Tools (Rapido) / HiPEAC Conference in PROCEEDINGS OF THE RAPIDO 2024 WORKSHOP, HIPEAC 2024
INDEXED IN: Scopus WOS DBLP CrossRef: 1
IN MY: ORCID | DBLP | CIÊNCIAVITAE
10
TITLE: A DSL and MLIR Dialect for Streaming and Vectorisation
AUTHORS: da Silva, Manuel Cerqueira; Sousa, Luis ; Paulino, Nuno ; Bispo, Joao ;
PUBLISHED: 2024, SOURCE: 20th International Symposium on Applied Reconfigurable Computing (ARC) in APPLIED RECONFIGURABLE COMPUTING. ARCHITECTURES, TOOLS, AND APPLICATIONS, ARC 2024, VOLUME: 14553
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID | DBLP | CIÊNCIAVITAE
Page 1 of 8. Total results: 79.

footer slogan

Useful Links

Get Help

© 2025 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service