Axiomatic Hardware-Software Contracts

Date:

I presented my Axiomatic Hardware-Software Contracts paper at ISCA’22 in New York. Watch a video of the presentation (youtube) or view the slides (pdf, pptx).