ByNobleID
    NUVA: architectural support for runtime verification of parametric specifications over multicores | NobleID