A Witnessing Compiler: A Proof of Concept. - Kedar S. Namjoshi; Giacomo Tagliabue; Lenore D. Zuck (RV, 2013)