| 2017 | CLOSER | A Framework for Certification of Large-scale Component-based Parallel Computing Systems in a Cloud Computing Platform for HPC Services. | Allberson Bruno de Oliveira Dantas, Francisco Heron de Carvalho Junior, Lus Soares Barbosa |
| 2016 | ICA3PP | A GPU-Based Backtracking Algorithm for Permutation Combinatorial Problems. | Tiago Carneiro Pessoa, Jan Gmys, Nouredine Melab, Francisco Heron de Carvalho Junior, Daniel Tuyttens |
| 2011 | SBAC-PAD | Component-Based Refactoring of Parallel Numerical Simulation Programs: A Case Study on Component-Based Parallel Programming. | Francisco Heron de Carvalho Junior, Cenez Arajo Rezende |
| 2007 | SBAC-PAD | High-Level Service Connectors for Component-Based High Performance Computing. | Francisco Heron de Carvalho Junior, Ricardo Cordeiro Corra, Gisele Azevedo Arajo, Jefferson de Carvalho Silva, Rafael Dueire Lins |
| 2005 | EuroPar | Using Aspects for Supporting Procedural Modules in # Programming. | Francisco Heron de Carvalho Junior, Rafael Dueire Lins |
| 2005 | SAC | The # model: separation of concerns for reconciling modularity, abstraction and efficiency in distributed parallel programming. | Francisco Heron de Carvalho Junior, Rafael Dueire Lins |
| 2003 | SBAC-PAD | On the Implementation of SPMD Applications Using Haskell. | Francisco Heron de Carvalho Junior, Rafael Dueire Lins, Nvia Cruz Quental |