• Affine Modeling of Program Traces 

      Rodríguez, Gabriel; Kandemir, Mahmut T.; Touriño, Juan (Institute of Electrical and Electronics Engineers, 2019-02-01)
      [Abstract] A formal, high-level representation of programs is typically needed for static and dynamic analyses performed by compilers. However, the source code of target applications is not always available in an analyzable ...
    • Volatile STT-RAM Scratchpad Design and Data Allocation for Low Energy 

      Rodríguez, Gabriel; Touriño, Juan; Kandemir, Mahmut T. (Association for Computing Machinery, 2015)
      [Abstract] On-chip power consumption is one of the fundamental challenges of current technology scaling. Cache memories consume a sizable part of this power, particularly due to leakage energy. STT-RAM is one of several ...