Tuba Yavuz

Verifying Absence of Hardware-Software Data Races using Counting Abstraction

2020

Device drivers are critical components of operating systems. However, due to their interactions with the hardware and being embedded in complex programming models implemented by the operating system, ensuring reliability of device drivers remains to …