Cristiano D. Vasconcellos

17 papers C 2Misc 1Journal 4Unranked 6
YearRankTypeTitle / Venue / Authors
2024 J jnl
On the Operational Theory of the CPS-Calculus: Towards a Theoretical Foundation for IRs.
Proc. ACM Program. Lang.
Paulo Henrique Torrens, Dominic Orchard, Cristiano D. Vasconcellos
2022 — conf
Fully-Tested code generation from TLA+ specifications.
SAST
Gabriela Moreira, Cristiano D. Vasconcellos, Janine Kniess
2021 — ed.
35th Brazilian Symposium on Software Engineering, SBES 2021, Joinville, Santa Catarina, Brazil, 27 September 2021 - 1 October 2021
SBES
Cristiano D. Vasconcellos, Karina Girardi Roggia, Vanessa Collere, Paulo Bousfield
2021 — ed.
SAST'21: Brazilian Symposium on Systematic and Automated Software Testing, Joinville, Brazil, 27 September 2021 - 1 October 2021
SAST
Cristiano D. Vasconcellos, Karina Girardi Roggia, Paulo Bousfield, Vanessa Collere, Marcelo Eler, Wesley K. G. Assunção
2021 — ed.
SBCARS '21: Brazilian Symposium on Software Components, Architectures, and Reuse, Joinville, Brazil, 27 September 2021 - 1 October 2021
SBCARS
Cristiano D. Vasconcellos, Karina Girardi Roggia, Paulo Bousfield, Vanessa Collere, Rodrigo Bonifácio
2021 — ed.
SBLP'21: 25th Brazilian Symposium on Programming Languages, Joinville, Brazil, 27 September 2021 - 1 October 2021
SBLP
Cristiano D. Vasconcellos, Karina Girardi Roggia, Paulo Bousfield, Vanessa Collereii, João Paulo Fernandes, Mário Pereira
2020 Misc conf
Inferring types and effects via static single assignment.
SAC
Leonardo Filipe Rigon, Paulo Henrique Torrens, Cristiano D. Vasconcellos
2020 — conf
Monadic W in Coq.
SBLP
Rafael Castro Gonçalves Silva, Cristiano D. Vasconcellos, Karina Girardi Roggia
2018 — conf
Type inference for GADTs, outsidein and anti-unification.
SBLP
Gabriela Moreira, Cristiano D. Vasconcellos, Rodrigo Geraldo Ribeiro
2017 — conf
A hybrid intermediate language between SSA and CPS.
SBLP
Paulo Henrique Torrens, Cristiano D. Vasconcellos, Junia Gonçalves
2016 J jnl
ICARU-FB: An IEC 61499 Compliant Multiplatform Software Infrastructure.
IEEE Trans. Ind. Informatics
Leandro Israel Pinto, Cristiano D. Vasconcellos, Roberto Silvio Ubertino Rosso, Gabriel Hermann Negri
2016 — conf
Optional Type Classes for Haskell.
SBLP
Rodrigo Geraldo Ribeiro, Carlos Camarão, Lucília Figueiredo, Cristiano D. Vasconcellos
2015 — conf
Type Inference for GADTs and Anti-unification.
SBLP
Adelaine Gelain, Cristiano D. Vasconcellos, Carlos Camarão, Rodrigo Geraldo Ribeiro
2014 C conf
Enhancing automatic generation of VHDL descriptions from UML/MARTE models.
INDIN
Marcela Leite, Cristiano D. Vasconcellos, Marco Aurélio Wehrmeister
2007 J jnl
Open and Closed Worlds for Overloading: a Definition and Support for Coexistence.
J. Univers. Comput. Sci.
Carlos Camarão, Cristiano D. Vasconcellos, Lucília Figueiredo, João Nicola
2004 C conf
Constraint-set satisfiability for overloading.
PPDP
Carlos Camarão, Lucília Figueiredo, Cristiano D. Vasconcellos
2003 J jnl
Practical Type Inference for Polymorphic Recursion: an Implementation in Haskell.
J. Univers. Comput. Sci.
Cristiano D. Vasconcellos, Lucília Figueiredo, Carlos Camarão