Igor Rafael de Assis Costa

Publication Activity (10 Years)

Years Active: 2012-2014
Publications (10 Years): 0

Top Topics

Sufficient Conditions

Automatic Analysis

Parameter Settings

Top Venues

Comput. Lang. Syst. Struct.

Publications

Igor Rafael de Assis Costa, Henrique Nazaré Santos, Péricles Rafael Oliveira Alves, Fernando Magno Quintão Pereira
Just-in-time value specialization. Comput. Lang. Syst. Struct. 40 (2) (2014)
Igor Rafael de Assis Costa, Péricles Rafael Oliveira Alves, Henrique Nazaré Santos, Fernando Magno Quintão Pereira
Just-in-time value specialization. CGO (2013)
Péricles Rafael Oliveira Alves, Igor Rafael de Assis Costa, Fernando Magno Quintão Pereira, Eduardo Magno Lages Figueiredo
Parameter Based Constant Propagation. SBLP (2012)
Victor Hugo Sperle Campos, Raphael Ernani Rodrigues, Igor Rafael de Assis Costa, Fernando Magno Quintão Pereira
Speed and Precision in Range Analysis. SBLP (2012)