USENIX Workshop on Embedded Systems