Henrik Theiling, Christian Ferdinand. Combining Abstract Interpretation and ILP for Microarchitecture Modelling and Program Path Analysis. In IEEE Real-Time Systems Symposium. pages 144-153, 1998. [doi]
@inproceedings{TheilingF98,
title = {Combining Abstract Interpretation and ILP for Microarchitecture Modelling and Program Path Analysis},
author = {Henrik Theiling and Christian Ferdinand},
year = {1998},
url = {http://dlib.computer.org/conferen/rtss/9212/pdf/92120144.pdf},
tags = {program analysis, analysis},
researchr = {https://researchr.org/publication/TheilingF98},
cites = {0},
citedby = {0},
pages = {144-153},
booktitle = {IEEE Real-Time Systems Symposium},
}