Asynchronous assertions

  title={Asynchronous assertions},
  author={Edward Aftandilian and Samuel Z. Guyer and Martin T. Vechev and Eran Yahav},
Assertions are a familiar and widely used bug detection technique. Traditional assertion checking, however, is performed synchronously, imposing its full cost on the runtime of the program. As a result, many useful kinds of checks, such as data structure invariants and heap analyses, are impractical because they lead to extreme slowdowns. We present a solution that decouples assertion evaluation from program execution: assertions are checked asynchronously by separate checking threads while the… CONTINUE READING
Highly Cited
This paper has 18 citations. REVIEW CITATIONS


Publications citing this paper.
Showing 1-10 of 11 extracted citations

SOFSEM 2016: Theory and Practice of Computer Science

Lecture Notes in Computer Science • 2016
View 10 Excerpts
Highly Influenced

Efficient Incrementalized Runtime Checking of Linear Measures on Lists

2017 IEEE International Conference on Software Testing, Verification and Validation (ICST) • 2017
View 1 Excerpt

Practical automated vulnerability monitoring using program state invariants

2013 43rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN) • 2013
View 1 Excerpt


Publications referenced by this paper.

Safe futures for Java

View 11 Excerpts
Highly Influenced

Similar Papers

Loading similar papers…