Cristiano Damiani Vasconcellos


Mini currículo

Possui graduação em Ciência da Computação pela Pontifícia Universidade Católica do Paraná (1993), mestrado em Engenharia Elétrica e Informática Industrial pela Universidade Tecnológica Federal do Paraná (1997) e doutorado em Ciências da Computação pela Universidade Federal de Minas Gerais (2004).
Currículo Lattes.


Áreas de interesse

Projeto, implementação e uso de linguagens de programação. Em particular, linguagens funcionais, sistemas de tipos, polimorfismo e programação genérica.


Publicações

(DOI) Ribeiro, Rodrigo G.; Camarão, Carlos; Figueiredo, Lucília; Vasconcellos, C. Optional Type Classes for Haskell. XX Simpósio Brasileiro de Linguagens de Programação (SBLP), 2016, Maringá. Proceedings. Lecture Notes in Computer Science - Programming Languages - 20th Brazilian Symposium, 2016.


(DOI) Pinto, Leandro I. ; Vasconcellos, Cristiano D. ; ROSSO Jr., R. S. U.; Negri, Gabriel H. ICARU-FB: An IEC 61499 Compliant Multi-Platform Software Infrastructure. IEEE Transactions on Industrial Informatics, Volume: 12, Issue: 3, June 2016.

(DOI) Gelain, Adelaine; Vasconcellos, Cristiano; Ribeiro, Rodrigo; Camarão, Carlos. Type Inference for GADTs and Anti-unification. XIX Simpósio Brasileiro de Linguagens de Programação (SBLP), Belo Horizonte, Set, 2015.

Pinto, Leandro I.; Vasconcellos, Cristiano D.; Rosso, Roberto Jr.; Harbs, Eduardo; Negri, Gabriel. ICARU-FB & FBE: Um Ambiente de Desenvolvimento Aderente à Norma IEC 61499. Congresso Brasileiro de Software: Teoria e Prática (CBSoft, Belo Horizonte, Set, 2015.

(DOI) Leite, Marcela; Wehrmeister, Marco A.; Vasconcellos, Cristiano D.; Enhancing automatic generation of VHDL descriptions from UML/MARTE models. 12th IEEE International Conference on Industrial Informatics (INDIN), Porto Alegre, 2014.

Fouto, M. ; Balestrin, G. ; da Silva Hounsell, M. ; Vasconcellos, C.. VirBASE: Uma Linguagem para Programação de Robôs. X Simpósio Brasileiro de Automação Inteligente, 2011, São João Del Rei, MG. Anais do X Simpósio Brasileiro de Automação Inteligente, 2011.

Camarão, Carlos; Figueiredo, Lucília; Ribeiro, Rodrigo G.; Vasconcellos, Cristiano D. A Solution to Haskell's Multi-Parameter Type Class Dilemma. XIII Simpósio Brasileiro de Linguagens de Programação (SBLP), Gramado, Aug, 2009.

Camarão, Carlos; Vasconcellos, Cristiano D. ; Figueiredo, Lucília; João Nicola. Open and Closed Worlds for Overloading: a Definition and Support for Coexistence. XI Simpósio Brasileiro de Linguagens de Programação, Natal Aug 2007. Revised version in Journal of Universal Computer Science, v. 13, p. 874-890, 2007.

Inferência de Tipos com Suporte a Sobrecarga Baseada no Sistema CT.
Tese de Doutorado, UFMG, 2004.

(DOI) Camarão, Carlos; Figueiredo, Lucília; Vasconcellos, Cristiano D. Constraint-set satisfiability for Overloading. 6th ACM SIGPLAN International Conference on Principles and Practice of Declaritive Programming (PPDP), Verona, Aug 2004.

Vasconcellos, Cristiano; Figueiredo, Lucília; Camarão, Carlos. Practical Type Inference for Polymorphic Recursion: an Implementation in Haskell. VII Simpósio Brasileiro de Linguagens de Programação, Ouro Preto, May 2003. Revised Version in Journal of Universal Computer Science 9(8):873–890, Aug 2003.

Eberspacher, Henri F. ; Vasconcellos, Cristiano D.; Jamur, José H.; Eleutério, Marco A. Eureka: um ambiente de aprendizagem cooperativa baseado na Web para Educação à Distância. Simpósio Brasileiro de Informática na Educação (SBIE), Curitiba, 1999.


Informações adicionais

Alunos de Mestrado:

Paulo Henrique Torrens. Uma Representação Intermediária de Código com suporte a Tipos Dependentes.

Adelaine Franciele Gelain. Inferência de Tipos na Presença de GADT usando Anti-unificação. 2016.

Leandro Israel Pinto. Desenvolvimento da Infraestrutura de Software Aderente à IEC 61499. 2014.

Projetos:

  • Sistema CT.

  • Inferência de Tipos na Presença de Recursão Polimórfica.



  • Grupo de Pesquisa:

  • Laboratório de Linguagens de Programação (UFMG).


  • Conferências:

    Membro do Comitê de Programa do LTPD 2007, SBLP 2008, LTPD 2008, SBLP 2009, LTPD 2009, CLEI 2009, SBLP 2010 e LTPD 2010.

    Centro de Ciências Tecnológicas - CCT
    Rua Paulo Malschitzki, 200 - Campus Universitário Prof. Avelino Marcante - Bairro Zona Industrial Norte - Joinville - SC - Brasil
    CEP: 89.219-710 - Fone:(47) 3481-7900
    © 2016 - CINF - UDESC/Joinville