Milo M.K. Martin
2 references under this name, matched as it is written. Somebody else may write under it too, and the same person may appear here spelled another way.
CETS: Compiler enforced temporal safety for C
Santosh Nagarakatte and others (2010) · ACM
HardBound: architectural support for spatial safety of the C programming language
Joe Devietti and others (2008) · Association for Computing Machinery (ACM)