Feodor Vainstein
Boston Univ., Boston, MA
Software reliability via run-time result-checking
Journal of the ACM (JACM)
Spot-checkers
STOC '98 Proceedings of the thirtieth annual ACM symposium on Theory of computing