Santosh Nagarakatte, Jianzhou Zhao, Milo M. K. Martin, Steve Zdancewic. CETS: compiler enforced temporal safety for C. In Jan Vitek, Doug Lea, editors, Proceedings of the 9th International Symposium on Memory Management, ISMM 2010, Toronto, Ontario, Canada, June 5-6, 2010. pages 31-40, ACM, 2010. [doi]
Abstract is missing.