ElasticMiter: Formally Verified Dataflow Circuit Rewrites.

Ayatallah Elakhras, Jiahui Xu, Martin Erhart, Paolo Ienne, Lana Josipovic

Browse the full ASPLOS paper archive.