Efeu: generating efficient, verified, hybrid hardware/software drivers for I2C devices.

Daniel Schwyn, Zikai Liu, Timothy Roscoe

Browse the full EuroSys paper archive.