Middleware Support for Precise Failure Semantics | AMiner