John Regehr
EMSOFT 2011: 11th International Conference on Embedded Software
ARMor: Fully Verified Software Fault Isolation
EMSOFT 2008: 8th ACM & IEEE International Conference on Embedded Software
Volatiles are Miscompiled, and What to Do about It
EMSOFT 2005: 5th ACM International Conference on Embedded Software
Random Testing of Interrupt-Driven Software
EMSOFT 2003: 3rd International Conference on Embedded Software
Eliminating Stack Overflow by Abstract Interpretation