Mangrove: An Inference-Based Dynamic Invariant Mining for GPU Architectures

DOI10.1109/TC.2019.2953846OpenAlexW2990621183MaRDI QIDQ5125907

Alessandro Danese, Federico Busato, Nicola Bombieri, Graziano Pravadelli, Luca Piccolboni

Publication date: 2 October 2020

Published in: IEEE Transactions on Computers (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1109/tc.2019.2953846

Mathematics Subject Classification ID

Computer science (68-XX)

This page was built for publication: Mangrove: An Inference-Based Dynamic Invariant Mining for GPU Architectures