Graphiti: Formally Verified Out-of-Order Execution in Dataflow Circuits.

Yann Herklotz, Ayatallah Elakhras, Martina Camaioni, Paolo Ienne, Lana Josipovic, Thomas Bourgeat

Browse the full ASPLOS paper archive.