Memory Access Safety-Checking Tools for Programs that Share Memory with Devices
Dr. Adam Morrison, Blavatnik School of Computer Science, Tel Aviv University;
Dr. Dan Tsafrir, Department of Computer Science, Technion;
Dr. Adam Morrison, Blavatnik School of Computer Science, Tel Aviv University;
Dr. Dan Tsafrir, Department of Computer Science, Technion;