Steve Zdancewic

4 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

SoftBound: Highly compatible and complete spatial memory safety for C

Santosh Nagarakatte and others (2009) · Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation

HardBound: architectural support for spatial safety of the C programming language

Joe Devietti and others (2008) · Association for Computing Machinery (ACM)

Mechanized Metatheory for the Masses: The PoplMark Challenge

Brian E. Aydemir and others (2005) · Theorem Proving in Higher Order Logics · Springer Berlin Heidelberg