Geoffrey M. Voelker Banal: Because Format Checking Is So Trite. 2008 WOWCS http://www.usenix.org/events/wowcs08/tech/full_papers/voelker/voelker.pdf conf/nsdi/2008wowcs db/conf/nsdi/wowcs2008.html#Voelker08