Francisco Heron de Carvalho Junior

50 papers A 1C 6Misc 1Journal 19Unranked 22
YearRankTypeTitle / Venue / Authors
2025 — conf
Performance Analysis of Quantization in Federated Split Learning.
BRACIS (2)
Claro Henrique Silva Sales, Francisco Heron de Carvalho Junior, Allberson Bruno de Oliveira Dantas
2025 — conf
Structured platform-aware programming for Rust.
SBLP
Francisco Heron de Carvalho Junior, José Mykael Alves Nogueira, João Marcelo Uchôa de Alencar
2024 — conf
Cloud-based parallel computing across multiple clusters in Julia.
SBLP
Francisco Heron de Carvalho Junior, João Marcelo Uchôa de Alencar, Claro Henrique Silva Sales
2024 — conf
The expression problem in platform-aware programming.
SBLP
Francisco Heron de Carvalho Junior
2023 — conf
A Component Model for Multilevel Parallel Programming.
SBLP
Francisco Heron de Carvalho Junior, Tiago Carneiro
2021 J jnl
Contextual contracts for component-oriented resource abstraction in a cloud of high performance computing services.
Concurr. Comput. Pract. Exp.
Francisco Heron de Carvalho Junior, Wagner Guimarães Al-Alam, Allberson Bruno de Oliveira Dantas
2020 J jnl
A component-based framework for certification of components in a cloud of HPC services.
Sci. Comput. Program.
Allberson Bruno de Oliveira Dantas, Francisco Heron de Carvalho Junior, Luís Soares Barbosa
2019 J jnl
A Scientific Workflow Management System for orchestration of parallel components in a cloud of large-scale parallel processing services.
Sci. Comput. Program.
Jefferson de Carvalho Silva, Allberson Bruno de Oliveira Dantas, Francisco Heron de Carvalho Junior
2019 J jnl
MAPSkew: Metaheuristic Approaches for Partitioning Skew in MapReduce.
Algorithms
Matheus H. M. Pericini, Lucas Goncalves de Moura Leite, Francisco Heron de Carvalho Junior, Javam C. Machado, Cenez Araújo Rezende
2018 — conf
Dynamic Configuration of CUDA Runtime Variables for CDP-Based Divide-and-Conquer Algorithms.
VECPAR
Tiago Carneiro, Jan Gmys, Nouredine Melab, Francisco Heron de Carvalho Junior, Pedro Pedrosa Rebouças Filho, Daniel Tuyttens
2018 J jnl
GPU-accelerated backtracking using CUDA Dynamic Parallelism.
Concurr. Comput. Pract. Exp.
Tiago Carneiro Pessoa, Jan Gmys, Francisco Heron de Carvalho Junior, Nouredine Melab, Daniel Tuyttens
2018 — conf
MapReduce with Components for Processing Big Graphs.
WSCAD
Cenez Araújo de Rezende, Francisco Heron de Carvalho Junior
2017 C conf
A Framework for Certification of Large-scale Component-based Parallel Computing Systems in a Cloud Computing Platform for HPC Services.
CLOSER
Allberson Bruno de Oliveira Dantas, Francisco Heron de Carvalho Junior, Luís Soares Barbosa
2017 — conf
Certification of Workflows in a Component-Based Cloud of High Performance Computing Services.
FACS
Allberson Bruno de Oliveira Dantas, Francisco Heron de Carvalho Junior, Luís Soares Barbosa
2016 C conf
A GPU-Based Backtracking Algorithm for Permutation Combinatorial Problems.
ICA3PP
Tiago Carneiro Pessoa, Jan Gmys, Nouredine Melab, Francisco Heron de Carvalho Junior, Daniel Tuyttens
2016 — conf
A Platform of Scientific Workflows for Orchestration of Parallel Components in a Cloud of High Performance Computing Applications.
SBLP
Jefferson de Carvalho Silva, Francisco Heron de Carvalho Junior
2016 J jnl
Contextual abstraction in a type system for component-based high performance computing platforms.
Sci. Comput. Program.
Francisco Heron de Carvalho Junior, Cenez Araújo Rezende, Jefferson de Carvalho Silva, Wagner Guimarães Al-Alam, João Marcelo U. de Alencar
2016 J jnl
Performance evaluation of virtual execution environments for intensive computing on usual representations of multidimensional arrays.
Sci. Comput. Program.
Francisco Heron de Carvalho Junior, Cenez Araújo Rezende
2014 J jnl
An object-oriented parallel programming language for distributed-memory parallel computing platforms.
Sci. Comput. Program.
Eduardo Gurgel Pinho, Francisco Heron de Carvalho Junior
2014 — conf
Fusion: Abstractions for Multicore/Manycore Heterogenous Parallel Programming Using GPUs.
SBLP
Anderson Boettge Pinheiro, Francisco Heron de Carvalho Junior, Neemias Gabriel Pena Batista Arruda, Tiago Carneiro
2014 J jnl
Selected and extended papers of the Brazilian Symposium on Programming Languages 2012.
Sci. Comput. Program.
Francisco Heron de Carvalho Junior, Luís Soares Barbosa
2013 J jnl
A case study on expressiveness and performance of component-oriented parallel programming.
J. Parallel Distributed Comput.
Francisco Heron de Carvalho Junior, Cenez Araújo Rezende
2013 — conf
Contextual Abstraction in a Type System for Component-Based High Performance Computing Platforms.
SBLP
Francisco Heron de Carvalho Junior, Cenez Araújo Rezende, Jefferson de Carvalho Silva, Wagner Guimarães Al-Alam
2013 — conf
Derivation and Verification of Parallel Components for the Needs of an HPC Cloud.
SBMF
Thiago Braga Marcilon, Francisco Heron de Carvalho Junior
2013 — conf
On the Performance of Multidimensional Array Representations in Programming Languages Based on Virtual Execution Machines.
SBLP
Francisco Heron de Carvalho Junior, Cenez Araújo Rezende, Jefferson de Carvalho Silva, Francisco José Lins Magalhães, Renato Caminha Juaçaba-Neto
2012 — conf
Connection Mechanisms of CCA Components for Parallel Applications.
WSCAD-SSC
Paulo Henrique Lopes Silva, Gisele Azevedo de Araújo Freitas, Francisco Heron de Carvalho Junior, Ricardo C. Corrêa
2012 J jnl
Coordination Level Modeling and Analysis of Parallel Programs using Petri Nets
CoRR
Francisco Heron de Carvalho Junior, Rafael Dueire Lins
2012 J jnl
Haskell_#: Coordinating Functional Processes
CoRR
Francisco Heron de Carvalho Junior, Rafael Dueire Lins
2012 — ed.
Programming Languages - 16th Brazilian Symposium, SBLP 2012, Natal, Brazil, September 23-28, 2012. Proceedings
SBLP
Francisco Heron de Carvalho Junior, Luís Soares Barbosa
2011 C conf
Component-Based Refactoring of Parallel Numerical Simulation Programs: A Case Study on Component-Based Parallel Programming.
SBAC-PAD
Francisco Heron de Carvalho Junior, Cenez Araújo Rezende
2010 — conf
The design of a CCA framework with distribution, parallelism, and recursive composition.
GRID
Francisco Heron de Carvalho Junior, Ricardo Cordeiro Corrêa
2009 J jnl
A Type System for Parallel Components
CoRR
Francisco Heron de Carvalho Junior, Rafael Dueire Lins
2008 — conf
A Comparison of Cluster and Grid Configurations Executing Image Processing Tasks in a Local Network.
ICN
Giorgia de Oliveira Mattos, Rafael Dueire Lins, Andrei de Araújo Formiga, Francisco Heron de Carvalho Junior
2008 J jnl
Comparative Aspects between the Cluster and Grid Implementations of BigBatch.
J. Univers. Comput. Sci.
Giorgia de Oliveira Mattos, Andrei de Araújo Formiga, Rafael Dueire Lins, Francisco Heron de Carvalho Junior, Fernando Mário Junqueira Martins
2008 — conf
Compositional Specification of Parallel Components Using Circus.
FACS
Francisco Heron de Carvalho Junior, Rafael Dueire Lins
2008 J jnl
SBLP 2008: XII Brazilian Symposium on Programming.
J. Univers. Comput. Sci.
Marco Túlio Valente, Peter D. Mosses, Francisco Heron de Carvalho Junior
2007 J jnl
Cyclic Reference Counting with Permanent Objects.
J. Univers. Comput. Sci.
Rafael Dueire Lins, Francisco Heron de Carvalho Junior, Zanoni Dueire Lins
2007 C conf
High-Level Service Connectors for Component-Based High Performance Computing.
SBAC-PAD
Francisco Heron de Carvalho Junior, Ricardo Cordeiro Corrêa, Gisele Azevedo Araújo, Jefferson de Carvalho Silva, Rafael Dueire Lins
2007 J jnl
Towards an architecture for component-oriented parallel programming.
Concurr. Comput. Pract. Exp.
Francisco Heron de Carvalho Junior, Rafael Dueire Lins, Ricardo Cordeiro Corrêa, Gisele Azevedo Araújo
2006 J jnl
A categorical characterization for the compositional features of the # component model.
ACM SIGSOFT Softw. Eng. Notes
Francisco Heron de Carvalho Junior, Rafael Dueire Lins
2006 — conf
An Institutional Theory for #-Components.
SBMF
Francisco Heron de Carvalho Junior, Rafael Dueire Lins
2006 — conf
Design and Implementation of an Environment for Component-Based Parallel Programming.
VECPAR
Francisco Heron de Carvalho Junior, Rafael Dueire Lins, Ricardo Cordeiro Corrêa, Gisele Azevedo Araújo, Chanderlie Freire de Santiago
2005 — conf
A categorical characterization for the compositional features of the # component model.
SAVCBS@ESEC/FSE
Francisco Heron de Carvalho Junior, Rafael Dueire Lins
2005 C conf
A component model for high level and efficient parallel programming on distributed architectures.
IADIS AC
Francisco Heron de Carvalho Junior, Rafael Dueire Lins
2005 Misc conf
The # model: separation of concerns for reconciling modularity, abstraction and efficiency in distributed parallel programming.
SAC
Francisco Heron de Carvalho Junior, Rafael Dueire Lins
2005 — conf
Using Aspects for Supporting Procedural Modules in # Programming.
Euro-Par
Francisco Heron de Carvalho Junior, Rafael Dueire Lins
2003 J jnl
Haskell#: Parallel Programming Made Simple and Efficient.
J. Univers. Comput. Sci.
Francisco Heron de Carvalho Junior, Rafael Dueire Lins
2003 C conf
On the Implementation of SPMD Applications Using Haskell.
SBAC-PAD
Francisco Heron de Carvalho Junior, Rafael Dueire Lins, Nívia Cruz Quental
2003 A conf
Topological Skeletons in Haskell.
IPDPS
Francisco Heron de Carvalho Junior, Rafael Dueire Lins
2002 — conf
Translating Haskell
VECPAR
Francisco Heron de Carvalho Junior, Rafael Dueire Lins, Ricardo Massa Ferreira Lima