Luiz M. R. Gadelha Jr.

Senior Technologist
CENAPAD-RJ - National Center for High Performance Computing at Rio de Janeiro
DEXL - Extreme Data Lab Research Group
LNCC - National Laboratory for Scientific Computing, Brazil

My publications are also listed at DBLP, Google Scholar, Mendeley and ResearchGate.

  • 2016
    • Mondelli, M., Galheigo, M., Medeiros, V., Bastos, B., Gomes, A., Mattoso, M., Vasconcelos, A., Gadelha, L. (2016). Integrating Scientific Workflows with Scientific Gateways: A Bioinformatics Experiment in the Brazilian National High-Performance Computing Network. X Brazilian e-Science Workshop. Anais do XXXVI Congresso da Sociedade Brasileira de Computação, p. 277-284. SBC, 2016. [PDF]
  • 2015
    • Mondelli, M. L., Vilasbôas, F., Ocaña, K., Mattoso, M., Vasconcelos, A. T., Gadelha, L. (2015). Provenance-based Profiling of Swift Parallel and Distributed Scientific Workflows. In Proceedings X-Meeting 2015 (p. 176). (Poster) [PDF]
    • Mondelli, M. L., Torreño, O., Ocaña, K. A. C. S., Mattoso, M., Wilde, M., Vasconcellos, A. T., Trelles, O., Gadelha, L. M. R. (2015). SwiftGECKO: a provenance-enabled parallel comparative genomics workflow. In Proceedings X-Meeting 2015 (p. 268). (Abstract) [PDF]
    • P. Meirelles, L. Gadelha, R. Francini-Filho, R. Leão, G. Amado-Filho, A. Bastos, ..., F. Thompson. (2015). BaMBa: towards the integrated management of Brazilian marine environmental data. Database: The Journal of Biological Databases and Curation, 2015. [DOI: 10.1093/database/bav088] [PDF]
    • M. Chame, H. J. C. Barbosa, L. Gadelha, D. A. Augusto, E. Krempser, L. Abdalla. Sistema de Informação em Saúde Silvestre - SISS-Geo. Grandes Desafios da Computação no Brasil - Relatos do 3º Seminário, p. 72-87. SBC, 2015. [PDF]
    • P. Meirelles, G. Amado-Filho, G. Pereira-Filho, H. Pinheiro, R. de Moura, J. Joyeux, E. Mazzei, A. Bastos, R. Edwards, E. Dinsdale, R. Paranhos, E. Santos, T. Iida, K. Gotoh, S. Nakamura, T. Sawabe, C. Rezende, L. Gadelha, R. Francini-Filho, C. Thompson, F. Thompson. Baseline Assessment of Mesophotic Reefs of the Vitória-Trindade Seamount Chain Based on Water Quality, Microbial Diversity, Benthic Cover and Fish Biomass Data. PLOS ONE, 10(6), e0130084, 2015. [DOI: 10.1371/journal.pone.0130084] [PDF]
  • 2014
    • R. Zorrilla, M. Poltosi, L. Gadelha, F. Porto, A. Moura, A. Dalto, H. P. Lavrado, Y. Valentin, M. Tenório, E. Xavier. Conceptual View Representation of the Brazilian Information System on Antarctic Environmental Research. Data Science Journal, 13:PDA20-PDA26. CODATA, 2014. [DOI: 10.2481/dsj.IFPDA-04] [PDF]
    • L. Gadelha, P. Guimarães, A. Moura, D. Drucker, E. Dalcin, G. Gall, J. Tavares, D. Palazzi, M. Poltosi, F. Porto, W. Leo. SiBBr: Uma Infraestrutura para Coleta, Integração e Análise de Dados sobre a Biodiversidade Brasileira. VIII Brazilian e-Science Workshop. Anais do XXXIV Congresso da Sociedade Brasileira de Computação, p. 345-352. SBC, 2014. [PDF]
    • L. Gadelha, M. Mattoso. Applying Provenance to Protect Attribution in Distributed Computational Scientific Experiments. Provenance and Annotation of Data and Processes - The Fifth Provenance and Annotation Workshop (IPAW 2014), Cologne, Germany. Lecture Notes in Computer Science, vol. 8628, Springer, 2014. [DOI: 10.1007/978-3-319-16462-5_11] [PDF]
  • 2013
    • R. Zorilla, M. Poltosi, L. Gadelha, F. Porto, A. Moura. Design and Implementation of the Brazilian Information System on Antarctic Environmental Research. Proceedings of the International Forum on Polar Data Activities in Global Data Systems, Tokyo, Japan, p. 17-18. WDS International Programme Office, 2013. [PDF]
    • L. Gadelha, M. Wilde, M. Mattoso, I. Foster. Provenance Traces of the Swift Parallel Scripting System. Proceedings of the Joint EDBT/ICDT 2013 Workshops (EDBT'13), Genoa, Italy, p. 325-326. ACM, 2013. [DOI: 10.1145/2457317.2457374] [PDF]
  • 2012
    • L. Gadelha, S. Stanzani, P. Corrêa; E. Dalcin, C. Gomes, L. Sato, M. Siqueira. Scalable and Provenance-Enabled Scientific Workflows for Predicting Distribution of Species. Proc. 8th International Conference on Ecological Informatics (ISEI 2012), p. 222-224. Brasília, 2012.
    • L. Gadelha. Gerência de Proveniência em Workflows Científicos Paralelos e Distribuídos. D.Sc. Thesis, Computer and Systems Engineering Program, COPPE, Federal University of Rio de Janeiro, 2012 (Advisor: Professor Marta Mattoso). [PDF]
    • L. Gadelha, M. Wilde, M. Mattoso, I. Foster. MTCProv: A Practical provenance query framework for many-task scientific computing. Distributed and Parallel Databases, 30(5-6):351-370. Springer, 2012. [DOI: 10.1007/s10619-012-7104-4] [PDF]
  • 2011
    • L. Gadelha, M. Wilde, M. Mattoso, I. Foster. Exploring Provenance in High Performance Scientific Computing. Proceedings of the 1st Workshop on High-Performance Computing meets Databases (HPCDB 2011), p. 17-20. Co-located with Supercomputing 2011, Seattle, USA. ACM, 2011. [DOI: 10.1145/2125636.2125643] [PDF]
    • L. Gadelha, M. Mattoso, M. Wilde, I. Foster. Provenance Query Patterns for Many-Task Scientific Computing. 3rd USENIX Workshop on the Theory and Practice of Provenance (TaPP 2011), Heraklion, Greece. In cooperation with ACM SIGMOD/PODS Conference 2011. USENIX, 2011. [PDF]
    • L. Gadelha, B. Clifford, M. Mattoso, M. Wilde, and I. Foster. Provenance Management in Swift. Future Generation Computer Systems, 27(6):775-780. Elsevier, 2011. [DOI: 10.1016/j.future.2010.05.003] [PDF]
  • 2010
    • L. Gadelha, M. Mattoso, M. Wilde and I. Foster. Towards a Threat Model for Provenance in e-Science. Provenance and Annotation of Data and Processes - The Third Provenance and Annotation Workshop (IPAW 2010), Troy, USA, p. 277-279. Lecture Notes in Computer Science, vol. 6378, Springer, 2010. [DOI: 10.1007/978-3-642-17819-1_32]
    • L. Gadelha, B. Clifford, M. Mattoso, M. Wilde, and I. Foster. Provenance Management in Swift with Implementation Details. Technical Report ANL/MCS-TM-311, Argonne National Laboratory, 2010. [PDF]
  • 2008
    • L. Gadelha, M. Mattoso. Kairos: An Architecture for Securing Authorship and Temporal Information of Provenance Data in Grid-Enabled Workflow Management Systems. 3rd International Workshop on Scientific Workflows and Business Workflow Standards in e-Science (SWBES 2008), Indianapolis, USA. Proceedings of the 4th IEEE International Conference on e-Science (e-Science 2008), p. 597-602. IEEE Computer Society, 2008. [DOI: 10.1109/eScience.2008.161]
    • S. da Cruz, F. da Silva, L. Gadelha, M. Cavalcanti, M. Campos, M. Mattoso. A Lightweight Middleware Monitor for Distributed Scientific Workflows. 3rd International Workshop on Workflow Systems in e-Science (WSES 08), Lyon, France. Proceedings of the 8th IEEE International Symposium on Cluster Computing and the Grid (CCGrid 2008), p. 693-698. IEEE Computer Society, 2008. [DOI: 10.1109/CCGRID.2008.89]
    • L. Gadelha, F. Licht, V. Medeiros and B. Schulze. Práticas e Políticas de Certificação para Grades. Anais VI Workshop de Computação em Grid e Aplicações (WCGA 2008), Rio de Janeiro, p. 157-158. SBC, 2008. [PDF]
  • 2007
    • L. Gadelha and B. Schulze. On the Management of Grid Credentials. Proceedings of the 5th International Workshop on Middleware for Grid Computing (MGC 2007): held at the ACM/IFIP/USENIX 8th International Middleware Conference (Middleware 2007), Newport Beach, USA. ACM, 2007. [DOI: 10.1145/1376849.1376859] [PDF]
  • 2006
    • L. Gadelha. Specification of a MyProxy Plugin for Mozilla. Proc. IV Workshop de Computação em Grid e Aplicações (WCGA 2006), p. 155-156, Curitiba. SBC, 2006. [PDF]
  • 2001
    • L. Gadelha and M. Ayala-Rincón. An Efficient Strategy for Word-Cycle Completion in Finitely Presented Groups. Proc. XXI International Conference of the Chilean Computer Science Society (SCCC 2001), Punta Arenas, Chile, p. 80-85. IEEE Computer Society, 2001. [DOI: 10.1109/SCCC.2001.972635]
  • 2000
    • L. Gadelha. Aplicações de Técnicas de Reescrita ao Problema da Palavra de Grupos. M.Sc. Dissertation, Department of Computer Science, University of Brasília, 2000 (Advisor: Professor Mauricio Ayala-Rincón). [PDF]
  • 1998
    • L. Gadelha and M. Ayala-Rincón. Some Applications of (Semi-)Decision Algorithms for Presburger Arithmetic in Automated Deduction based on Rewriting Techniques. La Revista de La Sociedad Chilena de Ciencia de La Computacion, v. 2, n. 1, p. 14-23, 1998. [Postscript]
  • 1997
    • L. Gadelha and M. Ayala-Rincón. Applications of Decision Algorithms for Presburger Arithmetic in Rewrite Automated Deduction. Proc. XXIII Latin American Conference on Informatics (CLEI 1997), Valparaiso, Chile, 1997. [PDF]
    • L. Gadelha and M. Ayala-Rincón. Métodos de Decisão para a Aritmética de Presburger na Dedução Automática com Técnicas de Reescrita. Anais do XX Congresso Nacional de Matemática Aplicada e Computacional (CNMAC 1997), Gramado. SBMAC, 1997. [PDF]
  • 1996
    • L. Gadelha and M. Ayala-Rincón. Aplicação de Métodos de Programação Linear Inteira para Decisão na Teoria da Aritmética de Presburger. Anais do XIX Congresso Nacional de Matemática Aplicada e Computacional (CNMAC 1996), Goiânia. SBMAC, 1996.
  • Brazilian Biodiversity Information System (SiBBr)
  • Provenance Database for the Swift Parallel Scripting System (MTCProv)
  • Programa de Pós-Graduação em Modelagem Computacional, LNCC, P3/2015: GB-500: Introdução a Workflows Científicos e suas Aplicações. [Home page]
  • Programa de Verão de 2012, LNCC: Introdução a Workflows Científicos Paralelos e Distribuídos. [Home page | Slides]
  • Programa de Verão de 2007, LNCC: Introdução às Infra-estruturas de Chaves Públicas: Certificados Digitais e suas Aplicações. [Slides]

Personal Information

Name: Luiz Manoel Rocha Gadelha Júnior

Areas of Expertise

High-performance computing, scientific workflows, provenance, scientific databases, public-key infrastructures

Education

D.Sc. in Computer and Systems Engineering
UFRJ - Federal University of Rio de Janeiro, 2012
Thesis title: Provenance Management in Parallel and Distributed Scientific Workflows
Advisor: Professor Marta Mattoso

D.Sc. Internship
Argonne National Laboratory & University of Chicago, March 2010 - February 2011
Title: A Practical Provenance Query Framework for Many-Task Scientific Computing
Advisor: Professor Ian Foster

M.Sc. in Computer Science
UnB - University of Brasília, 2000
Dissertation title: Applications of Rewriting Techniques to the Word Problem in Group Theory
Advisor: Professor Mauricio Ayala-Rincón

B.Sc. in Mathematics
UnB - University of Brasília, 1997

Professional Experience

LNCC - National Laboratory for Scientific Computing, 2004-
Intermediate Technologist
Petrópolis, Rio de Janeiro, Brazil

Certisign Certificadora Digital S.A. (Verisign Trust Network), 2001-2004
System Administrator
Rio de Janeiro, Rio de Janeiro, Brazil

Unioeste - State University of Western Paraná, 2000-2001
Auxiliar Professor
Cascavel, Paraná, Brazil

Selected Publications

Luiz Gadelha, Marta Mattoso. Applying Provenance to Protect Attribution in Distributed Computational Scientific Experiments. Provenance and Annotation of Data and Processes - The Fifth Provenance and Annotation Workshop (IPAW 2014), Cologne, Germany. Lecture Notes in Computer Science, vol. 8628, Springer, 2014.

Luiz Gadelha, Michael Wilde, Marta Mattoso, Ian Foster. MTCProv: a practical provenance query framework for many-task scientific computing. Distributed and Parallel Databases, 30(5-6):351-370. Springer, 2012.

Luiz Gadelha, Marta Mattoso, Michael Wilde, Ian Foster. Provenance Query Patterns for Many-Task Scientific Computing. 3rd USENIX Workshop on the Theory and Practice of Provenance (TaPP 2011), Heraklion, Greece. In cooperation with ACM SIGMOD/PODS Conference 2011. USENIX, 2011.

Luiz Gadelha, Ben Clifford, Marta Mattoso, Michael Wilde, Ian Foster. Provenance Management in Swift. Future Generation Computer Systems, 27(6):775-780. Elsevier, 2011.

Awards and Certifications

Sistema de Informação em Saúde Silvestre - SISS-Geo, best article in the "Health" category in the event 3º Seminário Grandes Desafios da Computação no Brasil, 2014.

Sun Certified System Administrator for the Solaris 8 Operating System, Sun Microsystems, 2003

Certificate of Proficiency in English, University of Michigan, 1999

Address:
Laboratório Nacional de Computação Científica
Av. Getúlio Vargas, 333, Sala 2C-13 - Quitandinha
25651-075 Petrópolis, RJ - Brazil
Phone:
+55 (24) 2233-6296
E-mail: