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, Research Gate, ORCID, DBLP).



Áreas de interesse

Projeto, implementação e uso de linguagens de programação. Em particular, linguagens funcionais, sistemas de tipos, polimorfismo e verificação formal.


Publicações

(DOI) Gabriela Moreira, Cristiano Vasconcellos, and Rodrigo Ribeiro. 2018. Type inference for GADTs, outsidein and anti-unification. In Proceedings of the XXII Brazilian Symposium on Programming Languages (SBLP '18). ACM, New York, NY, USA, 51-58.

(DOI) Torrens, Paulo ; Vasconcellos, Cristiano ; Gonçalves, Junia. A hybrid intermediate language between SSA and CPS. In: the 21st Brazilian Symposium, 2017, Fortaleza. Proceedings of the 21st Brazilian Symposium on Programming Languages - SBLP 2017. New York: ACM Press, 2017. p. 1.


(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

Orientações (Mestrado):

Teodoro Alberto Borges Junior.

Rafael Castro Gonçalves Silva. Veririficação de um Algoritmo para Anti-Unificação de Tipos.

Leonardo Filipe Rigon. Inferência de Tipos e Efeitos por meio de Grafos de Fluxo de Controle.

Paulo Henrique Torrens. Um Cálculo de Continuações com Tipos Dependentes.

Orientações Concluídas (Mestrado):

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:

  • Grupo de Pesquisa em Fundamentos da Computação (FUNÇÂO).


  • 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