Nicholas Mosier

Nicholas Mosier

PhD Student in Computer Science at Stanford School of Engineering

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).