Belo Horizonte, Minas Gerais, Brasil Información de o Iniciar sesión para ver el perfil completo de Rodrigo Iniciar sesión ¡Hola de nuevo! Email o teléfono Contraseña Mostrar ¿Has olvidado tu contraseña? Iniciar sesión o Al hacer clic en «Continuar» para unirte o iniciar sesión, aceptas las Condiciones de uso, la Política de privacidad y la Política de cookies de LinkedIn. ¿Estás empezando a usar LinkedIn? Únete ahora o ¿Estás empezando a usar LinkedIn? Únete ahora Al hacer clic en «Continuar» para unirte o iniciar sesión, aceptas las Condiciones de uso, la Política de privacidad y la Política de cookies de LinkedIn. 2 mil seguidores Más de 500 os 5zz4u

Unirse para ver el perfil

Acerca de

I’m ready to learn something new today.

Actividad

Unirse para ver toda la actividad

Experiencia y educación

  • Raro Labs

Mira la experiencia completa de Rodrigo

Mira su cargo, antigüedad y más

o

Al hacer clic en «Continuar» para unirte o iniciar sesión, aceptas las Condiciones de uso, la Política de privacidad y la Política de cookies de LinkedIn.

Publicaciones

  • Dynamic Elimination of Overflow Tests in a Trace Compiler

    2011 International Conference on Compiler Construction

    Trace compilation is a technique used by just-in-time (JIT) compilers such as TraceMonkey, the JavaScript engine in the Mozilla Firefox browser. Contrary to traditional JIT machines, a trace compiler works on only part of the source program, normally a linear path inside a heavily executed loop. Because the trace is compiled during the interpretation of the source program the JIT compiler has access to runtime values. This observation gives the compiler the possibility of producing binary code…

    Trace compilation is a technique used by just-in-time (JIT) compilers such as TraceMonkey, the JavaScript engine in the Mozilla Firefox browser. Contrary to traditional JIT machines, a trace compiler works on only part of the source program, normally a linear path inside a heavily executed loop. Because the trace is compiled during the interpretation of the source program the JIT compiler has access to runtime values. This observation gives the compiler the possibility of producing binary code specialized to these values. In this paper we explore such opportunity to provide an analysis that removes unnecessary overflow tests from JavaScript programs. Our optimization uses range analysis to show that some operations cannot produce overflows. The analysis is linear in size and space on the number of instructions present in the input trace, and it is more effective than traditional range analyses, because we have access to values known only at execution time. We have implemented our analysis on top of Firefox’s TraceMonkey, and have tested it on over 1000 scripts from several industrial strength benchmarks, including the scripts present in the top 100 most visited webpages in the Alexa index. We generate binaries to either x86 or the embedded microprocessor ST40-300. On the average, we eliminate 91.82% of the overflows in the programs present in the TraceMonkey test suite. This optimization provides an average code size reduction of 8.83% on ST40 and 6.63% on x86. Our optimization increases TraceMonkey’s runtime by 2.53%.

    Ver publicación

  • Removing Overflow Tests via Run-Time Partial Evaluation

    Simpósio Brasileiro de Linguagens de Programação

    Ver publicación

  • A Domain-Specific Language for Interoperability Between Object-Oriented and Mainframe Systems

    2nd International Workshop on Domain-Specific Program Development (DSPD)

    This work presents a domain-specific language (DSL) to in- tegrate object-oriented apllications with legacy systems run- ning on mainframes. The DSL offers abstractions to solve re- curring problems encountered when integrating these kinds of systems. It offers to the developer a semantic interface that allows him to concentrate on the implementation of the busi- ness process requirements without having to worry about the complex computational details of establishing the interac- tion between…

    This work presents a domain-specific language (DSL) to in- tegrate object-oriented apllications with legacy systems run- ning on mainframes. The DSL offers abstractions to solve re- curring problems encountered when integrating these kinds of systems. It offers to the developer a semantic interface that allows him to concentrate on the implementation of the busi- ness process requirements without having to worry about the complex computational details of establishing the interac- tion between systems. The DSL is implemented using the resources of Ruby, a dynamic object-oriented programming language. In this paper we show the syntax of the DSL, its implementation and a case study of its application.

    Ver publicación

Reconocimientos y premios

  • Best Paper Award

    SBC - Sociedade Brasileira de Computação

  • Golden Medal

    PUC-MG

  • Bonze Reconition Award

    Unisys

Idiomas

  • English

    -

  • Portuguese

    -

Empresas

  • PUC

    -

Recomendaciones recibidas

1 persona ha recomendado a Rodrigo

Unirse para verlo

Más actividad de Rodrigo

Ver el perfil completo de Rodrigo

  • Descubrir a quién conocéis en común
  • Conseguir una presentación
  • ar con Rodrigo directamente
Unirse para ver el perfil completo

Perfiles similares

Otras personas con el nombre de Rodrigo Sol en Brasil

Hay 14 personas más con el nombre de Rodrigo Sol en Brasil en LinkedIn

Ver a otras personas con el nombre de Rodrigo Sol

Añade nuevas aptitudes con estos cursos

Ver todos los cursos