Combining abstract interpretation and ILP for microarchitecture modelling and program path analysis

This publication has 8 references indexed in Scilit:

• Cache modeling for real-time software: beyond direct mapped instruction caches
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Efficient microarchitecture modeling and path analysis for real-time software
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Cache behavior prediction by abstract interpretation
  Science of Computer Programming, 1999
• Cache behavior prediction by abstract interpretation
  Published by Springer Nature ,1996
• An accurate worst case timing analysis for RISC processors
  IEEE Transactions on Software Engineering, 1995
• Performance analysis of embedded software using implicit path enumeration
  Published by Association for Computing Machinery (ACM) ,1995
• Generation of efficient interprocedural analyzers with PAG
  Published by Springer Nature ,1995
• Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints
  Published by Association for Computing Machinery (ACM) ,1977