Certified self-modifying code (2007)

by H Cai, Z Shao, A Vaynberg
Venue:In Proc. PLDI’07