Francisco Heron de Carvalho Junior
Bacharel em Computação pela Universidade Federal do Ceará (1997), Mestre e Doutor em Ciência da Computação pela Universidade Federal de Pernambuco (2003). Atualmente é Professor Associado III da Universidade Federal do Ceará. Tem experiência na área de Ciência da Computação, com ênfase em Computação de Alto Desempenho e Linguagens de Programação, atuando principalmente nos seguintes temas: computação de alto desempenho, programação paralela, componentes de software, linguagens de programação.
Informações coletadas do Lattes em 28/07/2025
Acadêmico
Formação acadêmica
Doutorado em Ciências da Computação
2000 - 2003
Universidade Federal de Pernambuco
Título: Programação Paralela Eficiente e de Alto Nível sobre Arquiteturas Distribuídas
Rafael Dueire Lins. Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior, CAPES, Brasil. Palavras-chave: Programação Funcional; Programação Paralela; Redes de Computadores; Engenharia de Programas Paralelos; Redes de Petri.Grande área: Ciências Exatas e da TerraGrande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação / Especialidade: Engenharia de Software. Setores de atividade: Informática.
Mestrado em Ciências da Computação
1998 - 2000
Universidade Federal de Pernambuco
Título: Haskell, Uma Extensão Paralela para Haskell
, Ano de Obtenção: 2000.Rafael Dueire Lins.Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil. Palavras-chave: Programação Paralela; Linguagens Funcionais; Haskell; Engenharia de Programas Paralelos.Grande área: Ciências Exatas e da TerraGrande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação / Especialidade: Engenharia de Software. Setores de atividade: Informática.
Graduação em Bacharelado Em Computação
1994 - 1997
Universidade Federal do Ceará
Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil.
Curso técnico/profissionalizante em Formação de Programadores
1994 - 1994
Pós-doutorado
2022 - 2023
Pós-Doutorado. , Northeastern University, NORTHEASTERN, Estados Unidos. , Grande área: Ciências Exatas e da Terra, Grande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação / Especialidade: Processamento Paralelo.
Idiomas
Inglês
Compreende Razoavelmente, Fala Razoavelmente, Lê Bem, Escreve Bem.
Áreas de atuação
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação/Especialidade: Engenharia de Software.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação/Especialidade: Linguagens de Programação.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação/Especialidade: Processamento Paralelo e Distribuído.
Organização de eventos
de Carvalho Junior, Francisco Heron ; Barbosa, Luis Soares . Coordenação do Comitê de Programa do SBLP'2012 (XVI Simpósio Brasileiro de Linguagens de Programação). 2012. (Congresso).
CARVALHO JUNIOR, F. H. . 4th Workshop on Languages and Tools for Multithreaded, Parallel and Distributed Programming. 2010. (Congresso).
Carvalho, Francisco H. ; VALENTE, M. T. O. . XII Simpósio Brasileiro de Linguagens de Programação. 2008. (Congresso).
COSTA, A. C. R. ; Carvalho, Francisco H. ; ESPERANCA, C. ; XEXEO, G. ; RIBEIRO, D. ; BORGES, M. ; CAMPOS, M. L. . EXAME NACIONAL PARA INGRESSO NA PÓS-GRADUAÇÃO DE COMPUTAÇÃO (POSCOMP). 2008. (Outro).
Carvalho, Francisco H. ; TREVELIN, L. C. ; COSTA, A. C. R. . EXAME NACIONAL PARA INGRESSO NA PÓS-GRADUAÇÃO EM COMPUTAÇÃO (POSCOMP). 2007. (Concurso).
Carvalho, Francisco H. ; BOIS, A. R. . I Workshop on Languages and Tools for Parallel and Distributed Programming. 2007. (Congresso).
TREVELIN, L. C. ; BARANAUSKAS, M. C. C. ; Carvalho, Francisco H. . EXAME NACIONAL PARA INGRESSO NA PÓS-GRADUAÇÃO EM COMPUTAÇÃO (POSCOMP). 2006. (Outro).
Carvalho, Francisco H. ; LOSCIO, B. F. . I Rodada de Parcerias Pesquisadores - Empresas. 2004. (Outro).
de Carvalho Junior, Francisco Heron ; Barbosa, Luis Soares . Coordenação do Comitê de Programa do SBLP'2012 (XVI Simpósio Brasileiro de Linguagens de Programação). 2012. (Congresso).
Participação em eventos
.X Simpósio Brasileiro de Linguagens de Programação. 2006. (Simpósio).
Design and Implementation of an Environment for Component-Based Parallel Programming. 7th International Meeting on High Performance Computing for Computational Sciences. 2006. (Congresso).
.17th Brazilian Symposium on Computer Architectures and High Performance Computing (SBAC-PAD). 2005. (Simpósio).
.IX Simpósio Brasileiro de Linguagens de Programação (SBLP). 2005. (Simpósio).
A Categorical Characterization for the Compositional Feature of the # Programming Model.Workshop on Specification and Verification of Componente Based Systems (SAVCBS'2005). 2005. (Simpósio).
The # Model for Parallel Programming: From Processes To Components with Insignificant Performance Overheads.2005 WORKSHOP ON COMPONENT MODELS AND FRAMEWORKS IN HIGH PERFORMANCE COMPUTING. 2005. (Simpósio).
Using Aspects for Supporting Procedural Modules in Hash Programming. Euro-Par 2005. 2005. (Congresso).
.XVI Brazilian Symposium on Computer Architectures and High Performance Computing (SBAC-PAD). 2004. (Simpósio).
.VIII Simpósio Brasileiro de Linguagens de Programação (SBLP). 2004. (Simpósio).
Iberian Latin-American Congress on Computational Methods in Engineering. XXV IBERIAN LATIN AMERICAN CONGRESS IN COMPUTATIONAL METHODS IN ENGINEERING. 2004. (Congresso).
Haskell#: Parallel Programming Made Simple and Efficient.VII Simpósio Brasileiro de Linguagens de Programação (SBLP). 2003. (Simpósio).
On the Implementation of SPMD Applications using Haskell#.15th Symposium on Computer Architecture and High Performance Computing. 2003. (Simpósio).
.XIV Brazilian Symposium on Computer Architectures and High Performance Computing. 2002. (Simpósio).
Parallelizing MCP-Haskell For Evaluating Haskell# Parallel Programming Environment.13th Brazilian Symposium on Computer Architectures and High Performance Computing. 2001. (Simpósio).
.IV Simpósio Brasileiro de Linguagens de Programação (SBLP). 2000. (Simpósio).
An Action Semantics for STG.Third International Workshop on Action Semantics (AS 2000). 2000. (Seminário).
Haskell#, A Messaging Passing Interface to Haskell.Third Latin-American Conference on Functional Programming. 1999. (Simpósio).
Participação em bancas
LIFSCHITZ, S.;de Carvalho-Junior, Francisco Heron; MACHADO, J. C.. UTILIZAÇÃO DE METAHEURISTICAS PARA BALANCEAMENTO DE CARGA EM AMBIENTES MAPREDUCE. 2017. Dissertação (Mestrado em Mestrado em Ciência da Computação) - Universidade Federal do Ceará.
de Carvalho-Junior, Francisco Heron; ARAÚJO, T. P.; SILVA, J. L. C.. Desenvolvimento e Avaliação de Desempenho de Mecanismo de Reconhecimento Automático de Voz de um Sistema Tutor Inteligente. 2015. Dissertação (Mestrado em Mestrado Acadêmico em Ciência da Computação (MACC)) - Universidade Estadual do Ceará.
de Carvalho-Junior, Francisco Heron; FREITAS, G. A. A.. Avaliação de Desempenho de Virtualizações OpenVZ e KVM em Nuvens Computacionais usando Hadoop MapReduce. 2015. Dissertação (Mestrado em Mestrado em Engenharia Elétrica e de Computação) - Universidade Federal do Ceará.
de Carvalho-Junior, Francisco Heron; RAMALHO, F. S.; FARIAS, A. C.. Uma Abordagem para Construção das Etapas de Análise de um Compilador. 2014. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Campina Grande.
ANDRADE, R. M. C.; ROCHA, L. S.; MENDONÇA, N. C.; SOUZA, J. N.;de Carvalho Junior, Francisco Heron. CatchML - Uma linguagem de domínio específico para modelagem do tratamento de exceção sensível ao contexto. 2013. Dissertação (Mestrado em Mestrado em Ciência da Computação) - Universidade Federal do Ceará.
de Carvalho-Junior, Francisco Heron; MACIEL, P. R. M.;LIMA, Ricardo Massa Ferreira. Um framework estratégico para tomada de decisão em ambiente orientado a serviços com multicritério e multivisão. 2012. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.
CARVALHO JUNIOR, F. H.; SOARES, S. C. B.;LIMA, Ricardo Massa Ferreira. Scheduling Parallel Jobs for Multiphysics Simulations. 2010. Dissertação (Mestrado em Engenharia da Computação) - Universidade de Pernambuco.
Mendonça, N. C.;Carvalho, Francisco H.; Souza, W. L.. AESPmob - Modelo Autônomo e Evolutivo para Provisão de Serviços Essenciais em Redes Móveis. 2009. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal do Ceará.
ANDRADE, R. M. C.; WERNER, C. M. L.;Carvalho, Francisco H.; MACHADO, J. C.. AdaptiveRME e AspectCompose: Um Middleware Adaptativo e um Processo de Composição Orientado a Aspectos para o Desenvolvimento de Software Móvel e Ubíquo. 2007. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal do Ceará.
Carvalho, Francisco H.LINS, Rafael Dueire; ROCHA JUNIOR, Waldemar Cardoso da. Um Algoritmo para Gerenciamento Consistente de Páginas Web. 2004. Dissertação (Mestrado em Engenharia Eletrônica e Sistemas) - Universidade Federal de Pernambuco.
Carvalho, Francisco H.LINS, Rafael Dueire; ROCHA JUNIOR, Waldemar Cardoso da. Proposta de um Modelo de Segurança para VPNs na Interligação de Redes Corporativas. 2004. Dissertação (Mestrado em Engenharia Eletrônica e Sistemas) - Universidade Federal de Pernambuco.
SONG, S. W.;de Carvalho-Junior, Francisco Heron; Santos, A. L. M.; de Lima Filho, F. J. C.; Teixeira, L. M.;LINS, Rafael Dueire. Gerenciamento Dinâmico de Memória Baseado em Regiões com Contagem de Referências Cíclicas. 2019. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Pernambuco.
Valente, J. A.; Lima, J. V.; Castro Filho, J. A.;de Carvalho-Junior, Francisco Heron; Carvalho, W. V.; ANDRADE, R. M. C.. UFC Inventor: Um Ambiente para Modelagem e Geração de Aplicações para Aulas de Campo Ubíquas. 2016. Tese (Doutorado em Programa de Pós-Graduação em Ciência da Computaçã) - Universidade Federal do Ceará.
MARTHA, L. F. C. R.; PEREIRA, A. M. B.;de Carvalho-Junior, Francisco Heron; VIDAL, C. A.; CAVALCANTE NETO, J. V. C.. Geração em Paralelo de Malhas Tetraédricas com Fraturas por Decomposição Espacial Binária. 2015. Tese (Doutorado em Programa de Pós-Graduação em Ciência da Computaçã) - Universidade Federal do Ceará.
de Carvalho-Junior, Francisco Heron; SAMPAIO, A. C. A.; GHEYI, R.; Santos, A. L. M.; SOARES, S. C. B.. Contract Modularity in Design By Contract Languages. 2014. Tese (Doutorado em Programa de Pós-Graduação em Ciência da Computação) - Universidade Federal de Pernambuco.
ANDRADE, R. M. C.; GARCIA, A. F.; WERNER, C. M. L.;de Carvalho Junior, Francisco Heron; MACEDO, J. A. F.. CAEHV: Um Método para Verificação de Modelos do Tratamento de Exceção Sensível ao Contexto em Sistemas Ubíquos. 2013. Tese (Doutorado em Programa de Pós-Graduação em Ciência da Computaçã) - Universidade Federal do Ceará.
Saraiva, J.; de Lima Filho, F. J. C.; BORBA, P. H. M.;de Carvalho Junior, Francisco Heron; da Rocha Junior, V. C.;LINS, Rafael Dueire. ooErlang, Uma Extensão de Erlang Orientada a Objetos. 2013. Tese (Doutorado em Programa de Pós-Graduação em Engenharia Elétrica) - Universidade Federal de Pernambuco.
LINS, Rafael Dueire; ROCHA JUNIOR, Waldemar Cardoso da; WILLMERSDORF, R.; Saraiva, J.;CARVALHO JUNIOR, F. H.. Algoritmos para Contagem de Referências Cíclicas em Sistemas Multiprocessados. 2011. Tese (Doutorado em Engenharia Elétrica) - Universidade Federal de Pernambuco.
FERNANDES, M. M.; CARDOSO, J. M. P.; DINIZ, P. N. C.;CARVALHO JUNIOR, F. H.. LALP: uma linguagem para exploração do paralelismo de loops em computação reconfiguráve. 2010.
SONG, S. W.;Carvalho, Francisco H.; MARTINS FILHO, J. F.. Aspectos de Desempenho da Computação Paralela em Clusters e Grids para o Processamento de Imagens. 2008. Tese (Doutorado em Engenharia Elétrica) - Universidade Federal de Pernambuco.
de Carvalho-Junior, Francisco Heron; Teixeira, L. M.;LIMA, Ricardo Massa FerreiraLINS, Rafael Dueire. TRADUÇÃO EM ALTO NÍVEL DE OBJETOS JAVA PARA PROCESSOS EM ERLANG. 2016. Exame de qualificação (Doutorando em Pós-Graduação em Ciência da Computação) - Universidade Federal de Pernambuco.
de Carvalho-Junior, Francisco Heron; DE ROSE, C. A. F.; FERNANDES, L. G. L.. Pattern-Oriented Parallel Programming: Towards a New Way to Design Algorithms in High Performance Architectures. 2014. Exame de qualificação (Doutorando em Ciência da Computação) - Pontifícia Universidade Católica do Rio Grande do Sul.
BARRETO, R. S.;de Carvalho Junior, Francisco Heron; CRISTO, M. A. P.. MOGNO: Um Modelo Computacional para Análise da Dinâmica Florestal. 2013. Exame de qualificação (Doutorando em Programa de Pós-Graduação em Informática) - Universidade Federal do Amazonas.
CARVALHO JUNIOR, F. H.; ANDRADE, R. M. C.; VIDAL, V. M. P.; WERNER, C. M. L.. Um mecanismo de verificação e uma abordagem para LPSs móveis e sensíveis ao contexto. 2011. Exame de qualificação (Doutorando em Ciências da Computação) - Universidade Federal do Ceará.
CARVALHO JUNIOR, F. H.; Saraiva, J.; ROCHA JUNIOR, Waldemar Cardoso da. Algoritmos para Contagem de Referências Cíclicas em Sistemas Multiprocessados. 2010. Exame de qualificação (Doutorando em Engenharia Elétrica) - Universidade Federal de Pernambuco.
de Carvalho-Junior, Francisco Heron; Silva, R. C.; Silva, J. O. C.; SOUZA, M. F.. MÉTODOS COMPUTACIONAIS PARA A SOLUÇÃO DO PROBLEMA DE ALOCAÇÃO DE FLUXO. 2016. Exame de qualificação (Mestrando em Pós-Gradução em Modelagem e Métodos Quantitativos) - Universidade Federal do Ceará.
Carvalho, Francisco H.; CRUZ, Maria Lencastre Menezes e; LIMA NETO, Fernando Buarque. Análise do Custo de Comunicação de Programas Paralelos sobre Redes de Computatores. 2004. Trabalho de Conclusão de Curso (Graduação em Engenharia de Computação) - Universidade de Pernambuco.
Carvalho, Francisco H.. Seleção para Provimento do Cargo de Professor Substituto da Universidade do Vale do Acaraú (UVA). 2006. Universidade Estadual Vale do Acaraú.
Carvalho, Francisco H.; TEIXEIRA, M. A. M.; OLIVEIRA, A. C. M.. Provimento do Cargo de Professor Assistente do Departamento de Informática da Universidade Federal do Maranhão. 2006. Universidade Federal do Maranhão.
Carvalho, Francisco H.; RIOS, Riverson. Seleção para o cargo de professor efetivo da Universidade do Vale do Acaraú na área de Compiladores. 2005. Universidade Estadual Vale do Acaraú.
de Carvalho Junior, Francisco Heron. Comitê de Programa do SBLP'2013 (XVII Simpósio Brasileiro de Linguagens de Programação). 2013. Sociedade Brasileira de Computação - Porto Alegre.
CARVALHO JUNIOR, F. H.. Comitê de Programa do XV Simpósio Brasileiro de Linguagens de Programação. 2011. Sociedade Brasileira de Computação.
de Carvalho-Junior, Francisco Heron. Comitê de Programa do 5th International Workshop on Foundations and Techniques for Open Source Software Certification. 2011. Universidad de la Replublica.
CARVALHO JUNIOR, F. H.. Program Committee of DE-ACM-SAC 2011 (Documento Engineering - Technical track of the 26th Annual ACM Symposium on Applied Computing). 2011. Association for Computer Machinery.
CARVALHO JUNIOR, F. H.. Program Committee of CBHPC 2010 (I Workshop on Component Based High Performance Computing). 2010. Universidade Federal do Ceará.
CARVALHO JUNIOR, F. H.. Comitê de Programa do XIV Simpósio Brasileiro de Linguagens de Programação. 2010.
CARVALHO JUNIOR, F. H.. Program Committee of ITS 2010 (International Telecommunication Symposium). 2010. IEEE Communications Society.
CARVALHO JUNIOR, F. H.. Program Committee of DE-ACM-SAC 2010 (Documento Engineering - Technical track of the 25th Annual ACM Symposium on Applied Computing). 2010. ACM Special Interest Group on Applied Computing.
Carvalho, Francisco H.. Program Committee of CBHPC 2009 (II Workshop on Component Based High Performance Computing). 2009.
CARVALHO JUNIOR, F. H.. Comitê de Programa do XIII Simpósio Brasileiro de Linguagens de Programação. 2009.
Carvalho, Francisco H.. Program Committee of CBHPC 2008 (I Workshop on Component Based High Performance Computing). 2008.
CARVALHO JUNIOR, F. H.. Comitê de Programa do XII Simpósio Brasileiro de Linguagens de Programação. 2008.
Carvalho, Francisco H.. Comitê de Programa do XI Simpósio Brasileiro de Linguagens de Programação. 2007. Universidade Federal do Rio Grande do Norte.
Carvalho, Francisco H.. Comitê de Programa do XXII Simpósio Brasileiro de Telecomunicações. 2007. Universidade Federal de Pernambuco.
Carvalho, Francisco H.. Program Committee of the HPC-GECO/CompFrame 2007. 2007.
Carvalho, Francisco H.. Comitê de Programa do X Simpósio Brasileiro de Linguagens de Programação (SBLP). 2006.
Carvalho, Francisco H.. Comitê de Programa do IX Simpósilo Brasileiro de Linguagens de Programação (SBLP). 2005. Sociedade Brasileira de Computação.
Carvalho, Francisco H.; FERREIRA, Marcelo de Andrade; CARVALHO, Marcus Joaquim Maciel de; CABRAL, Maria das Mercês Cavalcanti; SANTOS, Maria de Lourdes Florêncio dos; STAMFORD, Newton Pereira; LEAL, Nilma Cintra; MICHEREFF, Sami Jorge; LEAL, Suely Maria Ribeiro; SOBRAL, Ana Paula Veras; VILELA, Eudice Correia; BARZA, Eugênia Cristina Nilsen R; FARIAS, Gil de Aquino; ANDRADE, Laise Holanda Cavalcanti; WILLADINO, Lilia Gomes; CARVALHO JUNIOR, Luiz Bezerra de; STRAGEVITCH, Luiz. Comissão julgadora do da 8ª Jornada FACEPE de Iniciação Científica. 2004. Fundação de Amparo à Ciência e Tecnologia do Estado de Pernambuco.
Carvalho, Francisco H.. Comitê de Programa do VIII Simpósio Brasileiro de Linguagens de Programação. 2004. Sociedade Brasileira de Computação.
Carvalho, Francisco H.. Comitê de julgamento de artigos do 2002 ACM Symposium on Applied Computing, Special Track on Coordination Models. Languages and Applications. 2002. Association For Computer Machinery.
Orientou
Impacto de técnicas de quantização em aprendizado descentralizado (federado e dividido); Início: 2023; Dissertação (Mestrado em Mestrado em Ciência da Computação) - Universidade Federal do Ceará, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; (Orientador);
Um Mecanismo de Proveniência para uma Nuvem de Serviços de Computação de Alto Desempenho Orientada a Componentes; 2018; Dissertação (Mestrado em Ciências da Computação) - Universidade Federal do Ceará, ; Orientador: Francisco Heron de Carvalho Junior;
Abstrações Linguísticas para Programação de Propósito Geral sobre Aceleradores Computacionais Baseados em GPU; 2013; Dissertação (Mestrado em Ciências da Computação) - Universidade Federal do Ceará, Pró-Reitoria de Pesquisa e Pós-Graduação da Universidade Federal do Ceará; Orientador: Francisco Heron de Carvalho Junior;
Uma Linguagem de Programação Paralela Orientada a Objetos para Arquiteturas de Memória Distribuída; 2012; Dissertação (Mestrado em Ciências da Computação) - Universidade Federal do Ceará, Fundação Cearense de Apoio ao Desenvolvimento Científico e Tecnológico; Orientador: Francisco Heron de Carvalho Junior;
Contratos Formais para Derivação e Verificação de Componentes Paralelos; 2012; Dissertação (Mestrado em Ciências da Computação) - Universidade Federal do Ceará, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Francisco Heron de Carvalho Junior;
Coordenação e Reconfiguração Dinâmica de Componentes em Plataformas de Computação Paralela; 2012; Dissertação (Mestrado em Ciências da Computação) - Universidade Federal do Ceará, ; Orientador: Francisco Heron de Carvalho Junior;
Avaliação de Desempenho de uma Plataforma de Componentes Paralelos; 2011; Dissertação (Mestrado em Ciências da Computação) - Universidade Federal do Ceará, Fundação Cearense de Apoio ao Desenvolvimento Científico e Tecnológico; Orientador: Francisco Heron de Carvalho Junior;
Integração de Bibliotecas Científicas a uma Plataforma de Componentes Paralelos; 2010; Dissertação (Mestrado em Ciências da Computação) - Universidade Federal do Ceará, Fundação Cearense de Apoio ao Desenvolvimento Científico e Tecnológico; Orientador: Francisco Heron de Carvalho Junior;
Infra-estrutura de Componentes Paralelos para Computação de Alto Desempenho; 2008; Dissertação (Mestrado em Mestrado em Ciência da Computação) - Universidade Federal do Ceará, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Francisco Heron de Carvalho Junior;
A Abstração de Contratos Contextuais para Alocação de Recursos de Sistemas de Computação Paralela Orientados a Componentes em Nuvens; 2019; Tese (Doutorado em Ciências da Computação) - Universidade Federal do Ceará, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Francisco Heron de Carvalho Junior;
Um Arcabouço baseado em Componentes para Computação Paralela de Larga Escala sobre Grafos; 2017; Tese (Doutorado em Ciências da Computação) - Universidade Federal do Ceará, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Francisco Heron de Carvalho Junior;
Certificação de Componentes em uma Plataforma de Nuvens Computacionais para Serviços de Computação de Alto Desempenho; 2017; Tese (Doutorado em Programa de Pós-Graduação em Ciência da Computaçã) - Universidade Federal do Ceará, ; Orientador: Francisco Heron de Carvalho Junior;
GPU-Based Backtracking Strategies for Solving Permutation Combinatorial Problems; 2017; Tese (Doutorado em Programa de Pós-Graduação em Ciência da Computaçã) - Universidade Federal do Ceará, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Francisco Heron de Carvalho Junior;
Reconfiguração Elástica de Componentes Paralelos sobre Nuvens de Serviços de Computação de Alto Desempenho; 2017; Tese (Doutorado em Ciências da Computação) - Universidade Federal do Ceará, ; Orientador: Francisco Heron de Carvalho Junior;
Um Arcabouço para a Construção de Aplicações Baseadas em Componentes sobre uma Plataforma de Nuvem Computacional para Serviços de Computação de Alto Desempenho; 2016; Tese (Doutorado em Ciências da Computação) - Universidade Federal do Ceará, ; Orientador: Francisco Heron de Carvalho Junior;
Programação Paralela para Arquiteturas de Processamento de Múltiplos Núcleos; 2009; Trabalho de Conclusão de Curso; (Graduação em Bacharelado em Ciência da Computação) - Universidade Estadual do Ceará; Orientador: Francisco Heron de Carvalho Junior;
Avaliação de Desempenho de Programas Paralelos Usando Redes de Petri Estocásticas; 2006; Trabalho de Conclusão de Curso; (Graduação em Engenharia de Computação) - Universidade de Pernambuco; Orientador: Francisco Heron de Carvalho Junior;
Análise do Custo de Comunicação de Programas Paralelos Sobre Redes de Computadores; 2004; 68 f; Trabalho de Conclusão de Curso; (Graduação em Engenharia de Computação) - Universidade de Pernambuco, Universidade de Pernambuco; Orientador: Francisco Heron de Carvalho Junior;
Arcabouços de Componentes Paralelos para Aplicações de Redes Neurais Profundas (DNNs) com Requisitos de Computação de Alto Desempenho - Ano II; 2022; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal do Ceará, Pró-Reitoria de Pesquisa e Pós-Graduação da Universidade Federal do Ceará; Orientador: Francisco Heron de Carvalho Junior;
Arcabouços de Componentes Paralelos para Aplicações de Redes Neurais Profundas (DNNs) com Requisitos de Computação de Alto Desempenho; 2021; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal do Ceará, Pró-Reitoria de Pesquisa e Pós-Graduação da Universidade Federal do Ceará; Orientador: Francisco Heron de Carvalho Junior;
Programação em Unidades de Processamento Gráfico; 2013; Iniciação Científica; (Graduando em Computação) - Universidade Federal do Ceará, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Francisco Heron de Carvalho Junior;
Avaliação de Desempenho de Máquinas Virtuais de Execução (JVM x CLI); 2011; Iniciação Científica; (Graduando em Bacharelado Em Computação) - Universidade Federal do Ceará, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Francisco Heron de Carvalho Junior;
Interface Web ara uma Plataforma de Componentes Paralelos: Experiências para Implementação de uma Nuvem de Componentes para Computação de Alto Dsempenho; 2011; Iniciação Científica; (Graduando em Bacharelado Em Computação) - Universidade Federal do Ceará, Pró-Reitoria de Pesquisa e Pós-Graduação da Universidade Federal do Ceará; Orientador: Francisco Heron de Carvalho Junior;
Comparação entre Máquinas Virtuais Java e CLI em Algoritmos de Computação Numérica Intensiva; 2010; Iniciação Científica; (Graduando em Bacharelado Em Computação) - Universidade Federal do Ceará, Pró-Reitoria de Pesquisa e Pós-Graduação da Universidade Federal do Ceará; Orientador: Francisco Heron de Carvalho Junior;
Esqueletos de Programação em Programação Paralela Orientada a Componentes; 2009; Iniciação Científica; (Graduando em Bacharelado Em Computação) - Universidade Federal do Ceará, Fundação Cearense de Apoio ao Desenvolvimento Científico e Tecnológico; Orientador: Francisco Heron de Carvalho Junior;
Espécies de Componentes na Plataforma HPE; 2009; Iniciação Científica; (Graduando em Bacharelado Em Computação) - Universidade Federal do Ceará, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Francisco Heron de Carvalho Junior;
Especificação Formal de Programas Paralelos; 2008; Iniciação Científica; (Graduando em Bacharelado Em Computação) - Universidade Federal do Ceará, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Francisco Heron de Carvalho Junior;
Programação Paralela Baseada em Componentes; 2008; Iniciação Científica; (Graduando em Bacharelado Em Computação) - Universidade Federal do Ceará, Fundação Cearense de Apoio ao Desenvolvimento Científico e Tecnológico; Orientador: Francisco Heron de Carvalho Junior;
Desenvolvimento Baseado em Componentes para Aplicações de Ciências Computacionais sobre Arquiteturas de Computação de Alto Desempenho: Aspectos Teóricos e Implementação de Artefatos; 2007; Iniciação Científica; (Graduando em Bacharelado Em Computação) - Universidade Federal do Ceará, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Francisco Heron de Carvalho Junior;
Implementação de um Ambiente de Programação Paralela Baseado no Modelo # de Componentes; 2006; Iniciação Científica; (Graduando em Bacharelado Em Computação) - Universidade Federal do Ceará; Orientador: Francisco Heron de Carvalho Junior;
Uso de Simuladores de Rede para Predição e Avaliação de Desempemho de Programas Paralelos sobre Redes de Computadores; 2004; 0 f; Iniciação Científica; (Graduando em Engenharia de Computação) - Universidade de Pernambuco, Universidade de Pernambuco; Orientador: Francisco Heron de Carvalho Junior;
Avaliação de Desempenho de Haskell usando NAS Parallel Benchmarks; 2003; 0 f; Iniciação Científica; (Graduando em Engenharia de Computação) - Universidade de Pernambuco, Fundação de Amparo à Ciência e Tecnologia do Estado de Pernambuco; Orientador: Francisco Heron de Carvalho Junior;
Avaliação de Desempenho de Programas Haskell usando NAS Parallel Benchmarks; 2003; 0 f; Iniciação Científica; (Graduando em Engenharia de Computação) - Universidade de Pernambuco, Escola Politécnica de Pernambuco; Orientador: Francisco Heron de Carvalho Junior;
Produções bibliográficas
-
de Carvalho Junior, Francisco Heron ; Al-Alam, Wagner ; Dantas, A. B. O. . Contextual Contracts for Component-Oriented Resource Abstraction in a Cloud of HPC Services. CONCURRENCY AND COMPUTATION-PRACTICE & EXPERIENCE , v. 33, p. e6225, 2021.
-
BRUNO DE OLIVEIRA DANTAS, ALLBERSON ; HERON DE CARVALHO JUNIOR, FRANCISCO ; Barbosa, Luis Soares . A component-based framework for certification of components in a cloud of HPC services. SCIENCE OF COMPUTER PROGRAMMING , v. 191, p. 102379, 2020.
-
PERICINI, MATHEUS ; LEITE, LUCAS ; DE CARVALHO-JUNIOR, FRANCISCO ; MACHADO, JAVAM ; REZENDE, CENEZ . MAPSkew: Metaheuristic Approaches for Partitioning Skew in MapReduce. Algorithms , v. 12, p. 5, 2019.
-
DE CARVALHO SILVA, JEFFERSON ; DE OLIVEIRA DANTAS, ALLBERSON BRUNO ; de Carvalho Junior, Francisco Heron . A Scientific Workflow Management System for orchestration of parallel components in a cloud of large-scale parallel processing services. SCIENCE OF COMPUTER PROGRAMMING , v. 173, p. 95-127, 2019.
-
Carneiro, Tiago ; Gmys, Jam ; de Carvalho-Junior, Francisco Heron ; Melab, B. ; TUYTTENS, D. . GPU-Accelerated Backtracking Using CUDA Dynamic Parallelism. CONCURRENCY AND COMPUTATION-PRACTICE & EXPERIENCE , v. 30, p. e4374, 2018.
-
de Carvalho Junior, Francisco Heron ; REZENDE, CENEZ ARAÚJO . Performance evaluation of virtual execution environments for intensive computing on usual representations of multidimensional arrays. Science of Computer Programming (Print) , v. 132, p. 29-49, 2016.
-
de Carvalho Junior, Francisco Heron ; REZENDE, CENEZ ARAÚJO ; DE CARVALHO SILVA, JEFFERSON ; GUIMARÃES AL-ALAM, WAGNER ; UCHOA DE ALENCAR, JOÃO MARCELO . Contextual abstraction in a type system for component-based high performance computing platforms. Science of Computer Programming (Print) , v. 132, p. 96-128, 2016.
-
de Carvalho-Junior, Francisco Heron ; REZENDE, C. A. . A case study on expressiveness and performance of component-oriented parallel programming. Journal of Parallel and Distributed Computing (Print) , v. 73, p. 557-569, 2013.
-
PINHO, E. G. ; Carvalho-Junior, Francisco Heron de . An object-oriented parallel programming language for distributed-memory parallel computing platforms. Science of Computer Programming (Print) , p. 65-90, 2013.
-
Carvalho, Francisco H. ; LINS, Rafael Dueire . Compositional Specification of Parallel Components Using Circus. Electronic Notes in Theoretical Computer Science , v. 260, p. 47-72, 2010.
-
Carvalho, Francisco H. ; LINS, Rafael Dueire . An Institutional Theory for #-Components. Electronic Notes in Theoretical Computer Science , v. 195, p. 113-132, 2008.
-
MATTOS, G. O. ; FORMIGA, A. A. ; LINS, Rafael Dueire ; Carvalho, Francisco H. ; MARTINS, F. M. J. . Comparative Aspects between the Cluster and Grid Implementations of BigBatch. Journal of Universal Computer Science , v. 14, p. 3031-3050, 2008.
-
Carvalho, Francisco H. ; LINS, Rafael Dueire ; CORRÊA, Ricardo Cordeiro ; ARAÚJO, Gisele Azevedo . Towards an Architecture for Component-Oriented Parallel Programming. Concurrency and Computation. Practice & Experience , v. 19, p. 697-719, 2007.
-
LINS, Rafael Dueire ; Carvalho, Francisco H. ; LINS, Z. D. . Cyclic Reference Counting with Permanent Objects. Journal of Universal Computer Science (Print) , v. 13, p. 830-838, 2007.
-
Carvalho, Francisco H. ; LINS, Rafael Dueire . A Categorical Characterization for the Compositional Features of the # Component Model. Software Engineering Notes , New York, NY, USA, v. 31, n.2, p. 12, 2006.
-
Carvalho, Francisco H. ; LINS, Rafael Dueire . Separation of Concerns for Improving Practice of Parallel Programming. Information (Yamaguchi) , Japan, v. 8, n.5, p. 621-638, 2005.
-
Carvalho, Francisco H. ; LINS, Rafael Dueire . Haskell#: Parallel Programming Made Simple and Efficient. Journal of Universal Computer Science , Alemanha, v. 9, n.8, p. 776-794, 2003.
-
Carvalho, Francisco H. ; MOURA, H. P. ; LINS, Rafael Dueire ; LIMA, Ricardo Massa Ferreira . An Action Semantics for STG. Brics Notes Series , Aarhus, Dinamarca, v. 00, p. 98-117, 2000.
-
de Carvalho Junior, Francisco Heron ; Barbosa, Luis Soares . Programming Languages - 16th Brazilian Symposium, SBLP 2012, Natal, Brazil, September 23-28, 2012. Proceedings. 1. ed. Berlim: Springer, 2012. v. 1. 165p .
-
VALENTE, M. T. O. (Org.) ; Mosses, P. D. (Org.) ; Carvalho, Francisco H. (Org.) . XII Simpósio Brasileiro de Linguagens de Programação. Porto Alegre: Sociedade Brasileira Computação, 2008. v. 1. 220p .
-
CARVALHO JUNIOR, FRANCISCO H. DE ; ALENCAR, JOÃO MARCELO UCHÔA DE ; SALES, CLARO HENRIQUE SILVA . Cloud-based parallel computing across multiple clusters in Julia. In: Simpósio Brasileiro de Linguagens de Programação, 2024, Brasil. Anais do XXVIII Simpósio Brasileiro de Linguagens de Programação (SBLP 2024), 2024. p. 44.
-
Carvalho-Junior, Francisco Heron de ; Carneiro, Tiago . Towards multicluster computations with Julia. In: XXV Simpósio em Sistemas Computacionais de Alto Desempenho, 2024, São Carlos. XXV Simpósio em Sistemas Computacionais de Alto Desempenho, 2024.
-
de Carvalho Junior, Francisco Heron ; Carneiro, Tiago . A Component Model for Multilevel Parallel Programming. In: SBLP 2023: XXVII Brazilian Symposium on Programming Languages, 2023, Campo Grande. Proceedings of the XXVII Brazilian Symposium on Programming Languages, 2023. p. 25.
-
CARVALHO JUNIOR, FRANCISCO H. DE ; DANTAS, ALLBERSON B. DE OLIVEIRA ; MENDES, JÚLIO H. ; Carneiro, Tiago ; SALES, CLARO H. S. ; SALES, PEDRO A. F. DE . Structured platform-aware programming. In: Simpósio em Sistemas Computacionais de Alto Desempenho, 2023, Brasil. Anais do XXIV Simpósio em Sistemas Computacionais de Alto Desempenho (WSCAD 2023), 2023. p. 301.
-
CARVALHO JUNIOR, FRANCISCO HERON DE ; DANTAS, ALLBERSON BRUNO DE OLIVEIRA ; SALES, CLARO HENRIQUE SILVA . Swirls: A Platform for Enabling Multicluster and Multicloud Execution of Parallel Programs. In: Simpósio em Sistemas Computacionais de Alto Desempenho, 2021, Brasil. Anais do XXII Simpósio em Sistemas Computacionais de Alto Desempenho (WSCAD 2021), 2021. p. 168.
-
ALENCAR, J. M. U. ; DE CARVALHO-JUNIOR, FRANCISCO . On the Elasticity of Parallel Components in a Cloud of High Performance Computing Services. In: XX Simpósio em Sistemas Computacionais de Alto Desempenho (WSCAD'2019), 2019, Campo Grande. Proceedings of the 2019 Symposium on High Performance Computing Systems (WSCAD'2019), 2019.
-
ALAM, WAGNER AL ; JUNIOR, FRANCISCO CARVALHO . Contextual Contracts for Component-Based Resource Abstraction in a Cloud of HPC Services. In: Simpósio em Sistemas Computacionais de Alto Desempenho, 2019, Brasil. Anais do XX Simpósio em Sistemas Computacionais de Alto Desempenho (SSCAD 2019), 2019. p. 216.
-
CARNEIRO, T. ; HERON DE CARVALHO JUNIOR, FRANCISCO ; Melab, B. ; TUYTTENS, D. . Dynamic Configuration of CUDA Runtime Variables for CDP-based Divide-and-Conquer Algorithms. In: 13th International Meeting on High Performance Computing for Computational Science (VECPAR'2018), 2018, São Pedro. Proceedings of the 13th International Meeting on High Performance Computing for Computational Science (VECPAR'2018), 2018.
-
ARAUJO DE REZENDE, CENEZ ; de Carvalho Junior, Francisco Heron . MapReduce with Components for Processing Big Graphs. In: 2018 Symposium on High Performance Computing Systems (WSCAD), 2018, São Paulo. 2018 Symposium on High Performance Computing Systems (WSCAD), 2018. p. 108-115.
-
BRUNO DE OLIVEIRA DANTAS, ALLBERSON ; HERON DE CARVALHO JUNIOR, FRANCISCO ; SOARES BARBOSA, LUÍS . A Framework for Certification of Large-scale Component-based Parallel Computing Systems in a Cloud Computing Platform for HPC Services. In: 7th International Conference on Cloud Computing and Services Science, 2017, Porto. Proceedings of the 7th International Conference on Cloud Computing and Services Science, 2017. p. 229-240.
-
Dantas, A. B. O. ; de Carvalho-Junior, Francisco Heron ; Barbosa, Luis Soares . Certification of Workflows in a Component-Based Cloud of High Performance Computing Services. In: Formal Aspects of Component Software (FACS'2017), 2017, Braga. Formal Aspects of Component Software. Berlim: Springer, 2017. v. 10487. p. 198-215.
-
SILVA, J. C. ; Carvalho-Junior, Francisco Heron de . A Platform of Scientific Workflows for Orchestration of Parallel Components in a Cloud of High Performance Computing Applications. In: Simpósio Brasileiro de Linguagens de Programação, 2016, Maringá. Programming Languages - Lecture Notes in Computer Science. Genebra: Springer, 2016. v. 9889. p. 156-170.
-
Carneiro, Tiago ; Gmys, J. ; Melab, B. ; CARVALHO JUNIOR, F. H. ; TUYTTENS, D. . A GPU-Based Backtraking Algorithm for Permutation Combinatorial Problem. In: 16th International Conference on Algorithms and Architectures for Parallel Processing (ICA3PP), 2016, Granada, Espanha. Lecture Notes in Computer Science (Algorithms and Architectures for Parallel Processing), 2016. v. 10048. p. 310-324.
-
PINHEIRO, A. B. ; de Carvalho-Junior, Francisco Heron ; ARRUDA, N. G. P. B. ; Carneiro, Tiago . Fusion: Abstractions for Multicore/Manycore Heterogenous Parallel Programming using GPUs. In: Simpósio Brasileiro de Linguagens de Programação, 2014, Maceió. Programming Languages: 18th Brazilian Symposium, SBLP 2014, Maceio, Brazil, October 2-3, 2014. Proceedings.. Berlim: Springer, 2014. v. 8771. p. 109-123.
-
CARNEIRO, T. ; ARRUDA, N. G. P. B. ; PINHEIRO, A. B. ; de Carvalho-Junior, Francisco Heron . Um Levantamento na Literatura sobre a Resolução de Problemas de Otimização Combinatória através do Uso de Aceleradores Gráficos. In: XXXV Ibero-Latin American Congress on Computational Methods, 2014, Fortaleza. Proceedings of the XXXV Ibero-Latin American Congress on Computational Methods, 2014.
-
de Carvalho Junior, Francisco Heron ; REZENDE, C. A. ; SILVA, J. C. ; MAGALHAES, F. J. L. ; JUACABA NETO, R. C. . On the Performance of Multidimensional Array Representations in Programming Languages Based on Virtual Execution Machines. In: XVII Simpósio Brasileiro de Linguagens de Programação, 2013, Brasília. Lecture Notes in Computer Science - Proceedings of the XVII Brazilian Symposium on Programming Languages. Berlim: Springer, 2013. v. 8129. p. 31-45.
-
de Carvalho Junior, Francisco Heron ; Rezende, Cenez Araujo ; SILVA, J. C. ; Al-Alam, Wagner . Contextual Abstraction in a Type System for Component-Based High Performance Computing Platforms. In: XVII Simpósio Brasileiro de Linguagens de Programação, 2013, Brasília. Lecture Notes in Computer Science - Proceedings of the XVII Brazilian Symposium on Programming Languages. Berlim: Springer Berlin Heidelberg, 2013. v. 8129. p. 90-104.
-
de Carvalho Junior, Francisco Heron ; Marcilon, T. B. . Derivation and Verification of Parallel Components for the Needs of an HPC Cloud. In: XVI Simpósio Brasileiro de Métodos Formais (SBMF'2013), 2013, Brasília. Lecture Notes in Computer Science - Proceedings of the XVI Simpósio Brasileiro de Métodos Formais (SBMF'2013). Berlim: Springer, 2013. v. 8195. p. 51-66.
-
SILVA, P. H. L. ; ARAÚJO, Gisele Azevedo ; CARVALHO JUNIOR, F. H. ; CORRÊA, Ricardo Cordeiro . Connection Mechanisms of CCA Components for Parallel Applications. In: 13th Symposium on Computer Systems (WSCAD-SSC'2012), 2012, Petrópolis. Proceedings of the 13th Symposium on Computer Systems (WSCAD-SSC'2012). NY: IEEE, 2012. p. 210-217.
-
de Carvalho Junior, Francisco Heron ; REZENDE, C. A. . Component-Based Refactoring of Parallel Numerical Simulation Programs: A Case Study on Component-Based Parallel Programming. In: 23rd International Symposium on Computer Architecture and High Performance Computing (SBAC-PAD'2011), 2011, Vitória. Proceedings of the 23rd International Symposium on Computer Architecture and High Performance Computing (SBAC-PAD'2011). New York: IEEE, 2011. p. 199-206.
-
PINHO, E. G. ; CARVALHO JUNIOR, F. H. . A Language for Object-Oriented Parallel Programming Targeted at Cluster Computing Architectures. In: XIV Simpósio Brasileiro de Linguagens de Programação, 2010, Salvador. Conferência Brasileira de Software : Teoria e Prática. Porto Alegre: Sociedade Brasileira de Computação, 2010. v. 3. p. 97-110.
-
Carvalho-Junior, Francisco Heron de ; Correa, Ricardo Cordeiro . The design of a CCA framework with distribution, parallelism, and recursive composition. In: 2010 11th IEEE/ACM International Conference on Grid Computing (GRID), 2010, Brussels. 2010 11th IEEE/ACM International Conference on Grid Computing.
-
Carvalho, Francisco H. ; LINS, Rafael Dueire . Compositional Specification of Parallel Programs Using Circus. In: Formal Aspects of Component Software, 2008, Málaga. Proceedings of Formal Aspects of Component Software (Technical Report ITI-08-07). Málaga: Departmento of Computer Science / University of Málaga, 2008. p. 139-153.
-
LINS, Rafael Dueire ; Carvalho, Francisco H. . Cyclic Reference Couting with Permanent Objects. In: XI Simpósio Brasileiro de Linguagens de Programação, 2007, Natal. Anais do XI Simpósio Brasileiro de Linguagens de Programação. Natal: UFRN, 2007. p. 127-134.
-
Carvalho, Francisco H. ; CORRÊA, Ricardo Cordeiro ; LINS, Rafael Dueire ; ARAÚJO, Gisele Azevedo ; SILVA, J. C. . High-Level Service Connectors for Component-Based High Performance Computing. In: 19th International Symposium on Computer Architecture and High Performance Computing, 2007, Gramado. 19th International Symposium on Computer Architecture and High Performance Computing, 2007.
-
Carvalho, Francisco H. ; CORRÊA, Ricardo Cordeiro ; LINS, Rafael Dueire ; SILVA, J. C. ; ARAÚJO, Gisele Azevedo . On the Design of Abstract Binding Connectors for High Performance Computing Component Models. In: Joint Workshop on HPC Grid Programming Environments , Components, and Frameworks in High-Performance and Scientific Computing (HPC-GECO/Compframe'2007), 2007, Montreal. Joint Workshop on HPC Grid Programming Environments, Components, and Frameworks in High-Performance and Scientific Computing (HPC-GECO/Compframe'2007). NY: ACM Press, 2007.
-
Carvalho, Francisco H. ; LINS, Rafael Dueire ; CORRÊA, Ricardo Cordeiro ; ARAÚJO, Gisele Azevedo ; SANTIAGO, Chanderliê da Frota . Design and Implementation of an Environment for Component-Based Parallel Programming. In: 7th International Meeting on High Performance Computing for Computational Sciences, 2006, Rio de Janeiro. Proceedings of VECPAR'2006. Rio de Janeiro: IMPA, 2006. p. 54-67.
-
Carvalho, Francisco H. ; LINS, Rafael Dueire ; MARTINS, A. T. C. . An Institutional Theory for #-Components. In: 2006 Brazilian Symposium on Formal Methods, 2006, Natal. Proceedings of the 2006 Brazilian Symposium on Formal Methods. Porto Alegre: SBC / Instituto de Informática da UFRGS, 2006. p. 137-152.
-
Carvalho, Francisco H. ; LINS, Rafael Dueire . A Component Model for High Level and Efficient Parallel Programming on Distributed Architectures. In: IADIS International Conference on Applied Computing, 2005, Algarve, Portugal. IADIS International Conference on Applied Computing, 2005. v. 2. p. 173-178.
-
Carvalho, Francisco H. ; LINS, Rafael Dueire . Separation of Concerns for Reconciling Modularity, Abstraction and Efficiency in Distributed Parallel Programming. In: ACM Symposium on Applied Computing, Special Track on Separation of Concerns, 2005, Novo México. ACM Symposium on Applied Computing. New York: ACM Press, 2005. p. 1367-1375.
-
Carvalho, Francisco H. ; LINS, Rafael Dueire . The # Model for Parallel Programming: From Processes To Components with Insignificant Performance Overheads. In: 2005 WORKSHOP ON COMPONENT MODELS AND FRAMEWORKS IN HIGH PERFORMANCE COMPUTING, 2005, Atlanta. Proceedings of 2005 WORKSHOP ON COMPONENT MODELS AND FRAMEWORKS IN HIGH PERFORMANCE COMPUTING, 2005.
-
Carvalho, Francisco H. ; LINS, Rafael Dueire . Using Aspects for Supporting Procedural Modules in # Programming. In: Euro-Par 2005, 2005, Lisboa. Lecture Notes in Computer Science. Berlim: Springer-Verlag, 2005. v. 3648. p. 370-380.
-
Carvalho, Francisco H. ; LINS, Rafael Dueire . A Categorical Characterization for the Compositional Feature of the # Programming Model. In: Workshop on Specification and Verification of Componente Based Systems (SAVCBS'2005), 2005, Lisboa. Proceedings of the 2005 Workshop on Specification and Verification of Componente Based Systems (SAVCBS'2005), 2005.
-
QUENTAL, Nivia Cruz ; Carvalho, Francisco H. ; LIMA, Ricardo Massa Ferreira . Caracterização de Desempenho de Programas SPMD Utilizando Modelos Probabilísticos. In: VI Workshop em Sistemas Computacionais de Alto Desempenho (WSCAD'2005), 2005, Rio de Janeiro. Anais do VI Workshop em Sistemas Computacionais de Alto Desempenho (WSCAD'2005). Rio de Janeiro: IEEE Press, 2005. v. 1. p. 9-16.
-
Carvalho, Francisco H. ; LINS, Rafael Dueire ; QUENTAL, Nivia Cruz ; LINS, Fernando Antonio Aires ; COSTA, Marcelo Alves . O Modelo #: Uma Alternativa de Alto Nível e Eficiente à Programação Paralela Distribuída. In: XXV IBERIAN LATIN AMERICAN CONGRESS IN COMPUTATIONAL METHODS IN ENGINEERING, 2004, Recife. Proceedings of XXV IBERIAN LATIN AMERICAN CONGRESS IN COMPUTATIONAL METHODS IN ENGINEERING, 2004. p. 301-301.
-
Carvalho, Francisco H. ; LINS, Rafael Dueire . Topological Skeletons in Haskell#. In: International Distributed and Parallel Symposium, 2003, Nice, França. Proceedinds of the 2003 IEEE International Distributed and Parallel Symposium, 2003. p. 1-8.
-
Carvalho, Francisco H. ; LINS, Rafael Dueire . On the Implementation of SPMD Applications using Haskell#. In: 15th Symposium on Computer Architecture and High Performance Computing, 2003, São Paulo, Brasil. 15th Symposium on Computer Architecture and High Performance Computing. New York: IEEE, 2003. p. 55-63.
-
Carvalho, Francisco H. ; LINS, Rafael Dueire . Haskell#: Parallel Programming Made Simple and Efficient. In: VII Simpósio Brasileiro de Linguagens de Programação (SBLP), 2003, Ouro Preto. VII Simpósio Brasileiro de Linguagens de Programação. Belo Horizonte: Imprensa Universitária, UFMG, 2003. p. 92-106.
-
Carvalho, Francisco H. ; LIMA, Ricardo Massa Ferreira ; LINS, Rafael Dueire . Coordinating Functional Processes with Haskell#. In: ACM Symposium on Applied Computing, Special Track on Coordination Languages, Models, and Applications, 2002, Madrid, Espanha. Proceedings of 2002 ACM Symposium on Applied Computing. New York, NY, USA: ACM Press, 2002. p. 393-400.
-
Carvalho, Francisco H. ; LINS, Rafael Dueire ; LIMA, Ricardo Massa Ferreira . Translating Haskell# Programs into Petri Nets. In: 5th International Meeting on High Performance Computing for Computational Science (VECPAR'2002), 2002, Porto, Portugal. Lecture Notes in Computer Science. Berlim, Alemanha: Springer Verlag, 2002. v. 2565. p. 635-649.
-
Carvalho, Francisco H. ; LINS, Rafael Dueire ; LIMA, Ricardo Massa Ferreira . Parallelizing MCP-Haskell For Evaluating Haskell# Parallel Programming Environment. In: 13th Brazilian Symposium on Computer Architectures and High Performance Computing, 2001, Pirenópolis, GO, Brazil. Anais do 13º Simpósio Brasileiro de Arquitetura de Computadores e Processamento de Alto Desempenho. Brasília: UNB, 2001. p. 195-205.
-
LIMA, Ricardo Massa Ferreira ; Carvalho, Francisco H. ; LINS, Rafael Dueire . Haskell#, A Messaging Passing Interface to Haskell. In: Third Latin-American Conference on Functional Programming, 1999, Recife - PE. Third Latin-American Conference on Functional Programming, 1999.
-
CARVALHO JUNIOR, FRANCISCO HERON DE . The expression problem in platform-aware programming. In: Simpósio Brasileiro de Linguagens de Programação, 2024, Brasil. Anais do XXVIII Simpósio Brasileiro de Linguagens de Programação (SBLP 2024), 2024. p. 94.
-
MAGALHAES, F. J. L. ; CARVALHO JUNIOR, F. H. . Comparação entre Máquinas Virtuais Java e CLI em Algoritmos de Computação Numérica Intensiva. In: Encontro Regional Ceará-Maranhão-Piauí, 2011, Teresina. Anais do Encontro Regional Ceará-Maranhão-Piauí, 2011.
-
ARAÚJO, Gisele Azevedo ; CORRÊA, Ricardo Cordeiro ; Carvalho, Francisco H. . Implementing Endogenous and Exogenous Connectors on the CCA Model. In: Workshop on Component Based High Performance Computing (CBHPC), 2009, Portland. Proceedings of the 2009 Workshop on Component Based High Performance Computing, 2009.
-
de Carvalho-Junior, Francisco Heron . Platform-aware programming in Julia. In: JuliaCon'2022, 2022, Boston. JuliaCon'2022, 2022.
-
Carvalho, Francisco H. ; RIBEIRO, J. W. . Análise Comparativa entre Metodologias Numérica e Analítico-Numéricas para Solução Computacional de EDP's. In: XX Congresso Nacional de Matemática Aplicada e Computacional, 1997, Gramado - RS. XX Congresso Nacional de Matemática Aplicada e Computacional, 1997. p. 112-113.
-
Carvalho, Francisco H. ; RIBEIRO, J. W. ; FONSECA, L. A. . Tratamento Analítico-Numérico de Equações Diferenciais Parabólicas. In: XIX Congresso Nacional de Matemática Aplicada e Computacional, 1996, Goiânia. XIX Congresso Nacional de Matemática Aplicada e Computacional, 1996. p. 361-362.
-
Carvalho, Francisco H. . Modelo para Migração para Software Livre de Aplicativos Legados. Governo do Estado do Ceará, 2008 (Relatório Técnico).
Outras produções
CARVALHO JUNIOR, F. H. ; SILVA, J. C. . HPE - Hash Programming Environment. 2010.
PINHO, E. G. ; CARVALHO JUNIOR, F. H. . Compilador PObC++. 2010.
Carvalho, Francisco H. . Programação Paralela com MPI e OpenMP. 2007. (Curso de curta duração ministrado/Outra).
Carvalho, Francisco H. . Computação de Alto Desempenho em Plataforma Windows. 2007. (Curso de curta duração ministrado/Outra).
Projetos de pesquisa
-
2011 - 2014
Nuvem Computacional Baseada em Componentes para Aplicações de Computação de Alto Desempenho, Descrição: CNPq 486021/2011-4 (Apoio a Projetos de Pesquisa / Universal 14/2011 - Faixa A - até R$20.000,00) Este projeto está inserido no contexto da proposta de novas linguagens e plataformas de Computação de Alto Desempenho voltadas à construção de software de interesse das ciências computacionais e engenharias, e capazes de explorar o desempenho de plataformas de computação paralela, bem como permitir a integração e coordenação desses softwares, os quais representam contribuições de grupos de pesquisa que desejam colaborar entre si na solução de grandes desafios científicos e de engenharia. O projeto de pesquisa propõe a especificação do mecanismo de implementação de uma nuvem computacional de caráter aberto para composição de aplicações que demandam o poder computacional de plataformas de computação paralela, respondendo as questões existentes para sua viabilização prática. Propõe-se aplicar a tecnologia de componentes de software baseados na experiência dos pesquisadores envolvidos com o modelo de componentes Hash e a plataforma de componentes HPE (Hash Programming Environment).. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (2) / Mestrado acadêmico: (5) / Doutorado: (4) . , Integrantes: Francisco Heron de Carvalho Junior - Coordenador / Gisele Azevedo Araújo - Integrante / Jefferson de Carvalho Silva - Integrante / Eduardo Gurgel Pinho - Integrante / CENEZ ARAÚJO REZENDE - Integrante / Wagner Guimarães Al-Alam - Integrante / Lucas Pinheiro de Queiroz - Integrante / Thiago Braga Marcilon - Integrante / Juliano Efson Norberto Sales - Integrante / João Marcelo Uchôa de Alencar - Integrante / Anderson Boettge Pinheiro - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro., Número de produções C, T & A: 6
-
2009 - 2011
Programação Paralela Baseada em Componentes para Aplicações de Computação de Alto Desempenho, Descrição: Há mais de duas décadas, a demanda por novas linguagens e ambientes de programação que ofereçam maior produtividade no desenvolvimento de aplicações emergentes de computação de alto desempenho e que sejam capazes de explorar o desempenho potencial de plataformas de computação paralela contemporâneas, tem sido relatado como um problema importante a ser investigado pelos pesquisadores na área de computação. Os interessados por soluções a esse problema são notadamente provenientes das áreas de ciências computacionais e engenharias, de onde aplicações intensivas em computação geralmente surgem, porém com requisitos cada vez maiores de acoplamento de contribuições multidisciplinares sobre infraestruturas computacionais geograficamente dispersas, sendo os principais responsáveis pela alavancagem da pesquisa e implementação de plataformas de grades computacionais. A tecnologia de componentes tem sido considerada uma abordagem promissora e tem sido abordada por importantes grupos de pesquisa na Europa (consórcio CoreGrid), e EUA (fórum CCA). Nesse contexto, o grupo de Computação de Alto Desempenho (CAD) do Mestrado e Doutorado em Ciência da Computação da Universidade Federal do Ceará tem oferecido contribuições nessa área, com os trabalhos relacionados ao modelo # (hash) de componentes e o framework computacional Forró, possuindo soluções ainda não implementadas e validadas para importantes problemas ainda em aberto que tem desafiado os pesquisadores que hoje trabalham com plataformas de componentes baseadas nos modelos CCA (Common Component Architecture), Fractal e GCM (Grid Component Model), voltados a aplicações de CAD. O presente projeto visa cobrir essa lacuna, consolidando as contribuições desse grupo emergente, propondo a implementação de um sistema de programação e plataforma de componentes para ciências computacionais e engenharias sobre grades computacionais, baseado na integração do Forró, framework computacional de propósito geral voltado a impla. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (2) / Mestrado acadêmico: (6) / Doutorado: (1) . , Integrantes: Francisco Heron de Carvalho Junior - Coordenador., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.
-
2006 - 2008
Processamento de Imagens Distribuído em Grades (PIAD) - PROSUL CNPq - Edital 040/2005, Descrição: Processamento Distribuído em Grades Computacionais, em colaboração com colegas de instituições da América Latina.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (0) / Especialização: (0) / Mestrado acadêmico: (0) / Mestrado profissional: (0) / Doutorado: (0) . , Integrantes: Francisco Heron de Carvalho Junior - Integrante / Rafael Dueire Lins - Coordenador., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Cooperação.
-
2006 - 2008
Programação Baseada em Componentes para Aplicações em Ciências Computacionais sobre Arquiteturas Paralelas e Distribuídas, Descrição: O recentes desenvolvimento das ciências computacionais tem sido fortemente influenciado pela capacidade de dispôr de meios de processamento de alto desempenho sobre arquiteturas paralelas, envolvendo arquiteturas, algoritmos e artefatos de programação. Relacionado a este último itemm, este projeto tem por objetivo o suporte mínimo às atividades de pesquisa do grupo proponente na busca de soluções baseadas em componentes para construção de programas paralelos voltados às ciências computacionais. Nos últimos anos, este grupo tem proposto o modelo # (hash) de componentes, o qual tem motivado várias publicações em veículos de boa aceitação.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (3) / Especialização: (0) / Mestrado acadêmico: (1) / Mestrado profissional: (0) / Doutorado: (1) . , Integrantes: Francisco Heron de Carvalho Junior - Coordenador., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro., Número de produções C, T & A: 8
Histórico profissional
Endereço profissional
-
Universidade Federal do Ceará, Centro de Ciências, Departamento de Computação. , Campus Universitário do Pici, Departamento de Computação, Bloco 910, Cidade Universitária, 60455-900 - Fortaleza, CE - Brasil, Telefone: (85) 33669847, Fax: (85) 33669837, URL da Homepage:
Experiência profissional
2005 - Atual
Universidade Federal do CearáVínculo: Servidor Público, Enquadramento Funcional: Professor Associado III, Carga horária: 40, Regime: Dedicação exclusiva.
2005 - 2005
Universidade Federal do CearáVínculo: Professor Visitante, Enquadramento Funcional: Professor Visitante, Carga horária: 40, Regime: Dedicação exclusiva.
Atividades
-
01/2006
Ensino, Ciências da Computação, Nível: Pós-Graduação,Disciplinas ministradas, Programação Concorrente, Computação de Alto Desempenho, Tópicos Especiais em Programação Concorrente, Distribuída e Paralela
-
10/2005
Ensino, Bacharelado Em Computação, Nível: Graduação,Disciplinas ministradas, Computação de Alto Desempenho, Construção de Compiladores, Linguagens de Programação, Programação Concorrente
-
02/2005
Pesquisa e desenvolvimento, Centro de Ciências, Departamento de Computação.,Linhas de pesquisa
-
08/2007 - 07/2015
Direção e administração, Centro de Ciências, Departamento de Computação.,Cargo ou função, Vice-Coordenador da Pós-Graduação em Ciência da Computação (MDCC).
-
02/2005 - 09/2005
Ensino, Bacharelado Em Computação, Nível: Graduação,Disciplinas ministradas, Fundamentos de Programação, Teoria da Computação
2004 - 2005
Instituto TitanVínculo: Outro, Enquadramento Funcional: , Carga horária: 40, Regime: Dedicação exclusiva.
2002 - 2004
Universidade de PernambucoVínculo: Servidor Público, Enquadramento Funcional: ProfessorAuxiliar I - C1 N1, Carga horária: 40
2001 - 2002
Universidade de PernambucoVínculo: Colaborador, Enquadramento Funcional: Professor Serviço Prestrado Assistente C1 N1, Carga horária: 40
Atividades
-
01/2003 - 07/2004
Direção e administração, Escola Politécnica de Pernambuco, Departamento de Sistemas Computacionais.,Cargo ou função, Coordenador de Curso.
-
01/2002 - 07/2004
Ensino, Engenharia de Computação, Nível: Graduação,Disciplinas ministradas, Teoria das Categorias, Linguagens de Programação 2, Concorrência
-
01/2002 - 02/2003
Ensino, Engenharia de Computação, Nível: Graduação,Disciplinas ministradas, Métodos Computacionais 2
-
08/2001 - 12/2001
Ensino, Engenharia de Computação, Nível: Graduação,Disciplinas ministradas, Métodos Computacionais 2, Introdução a Computação
2000 - 2004
Universidade Católica de PernambucoVínculo: Celetista, Enquadramento Funcional: Professor Assistente I, Carga horária: 12
Atividades
-
08/2000 - 07/2004
Ensino, Bacharelado Em Ciências da Computação, Nível: Graduação,Disciplinas ministradas, Linguagens Formais
1999 - 2001
Associação Pernambucana de Ensino Superior de OlindaVínculo: Servidor público ou celetista, Enquadramento Funcional: Professor titular, Carga horária: 8
Atividades
-
08/1999 - 02/2001
Ensino, Tecnologia Em Processamento de Dados, Nível: Graduação,Disciplinas ministradas, Banco de Dados I, Banco de Dados II
1998 - 1998
Alfa InformaticaVínculo: Prestador de Serviço, Enquadramento Funcional: Prestador de Serviço, Carga horária: 40
Outras informações:
Validação e Verificação do Sistema CrediAMIGO (microcrédito) do BNB (Banco do Nordeste do Brasil)
Atividades
-
01/1998 - 02/1998
Serviços técnicos especializados , Bnb Banco do Nordeste do Brasil.,Serviço realizado, Avaliação e Validação do sistema CrediAMIGO.
1995 - 1996
Fujita Tecnologia Comércio e ImportaçãoVínculo: Estagiário, Enquadramento Funcional: Estagiário, Carga horária: 20
Outras informações:
Projeto de Implementações de Aplicações
* Controle de Estoque
* Gerenciamento de Compras
* Empenhos de Produção
* Teste da bateria do SmartGET
* Controle de Qualidade de Cabos
Criando um monitoramento
Nossos robôs irão buscar nos nossos bancos de dados todos os processos de Francisco Heron de Carvalho Junior e sempre que o nome aparecer em publicações dos Diários Oficiais, avisaremos por e-mail e pelo painel do usuário
Criando um monitoramento
Nossos robôs irão buscar nos nossos bancos de dados todas as movimentações desse processo e sempre que o processo aparecer em publicações dos Diários Oficiais e nos Tribunais, avisaremos por e-mail e pelo painel do usuário
Confirma a exclusão?