AnICA: analyzing inconsistencies in microarchitectural code analyzers.

Fabian Ritter Sebastian Hack

Published in: Proc. ACM Program. Lang. (2022)

Keyphrases

knowledge base
source code
information systems
multiscale
real time
information retrieval
image segmentation
data model
hidden markov models
data flow
java programs