AVIO: detecting atomicity violations via access interleaving invariants

By Shan Lu, Joseph A. Tucek, Feng Qin, Yuanyuan Zhou. ASPLOS XII, 2006

461 citations recorded by the source corpus.

Subfields: Computer Networks and Communications, Hardware and Architecture

View Paper: https://www.semanticscholar.org/paper/6613347442542a6a6b68be3eaabbad3b3e4b5314

How researchers see this paper

The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.

In Computer Networks and Communications

1. Saman P. Amarasinghe
2. Rüdiger Kapitza
3. Peter R. Pietzuch
4. Anil Kurmus
5. Nico Weichbrodt
6. Lars Kotthoff

In Hardware and Architecture

1. Jason Ansel
2. Marek Olszewski
3. Saman P. Amarasinghe
4. Rüdiger Kapitza
5. Peter R. Pietzuch
6. Anil Kurmus
7. Nico Weichbrodt
8. Lars Kotthoff

Citations in the corpus

• Learning from mistakes: a comprehensive study on real world concurrency bug characteristics (2008, unknown): “For example, data race bug detection [37, 42] checks the synchronization among accesses to one variable; some atomicity violation bug detection tools also focus on atomic regions related to one variable [23, 41].”
• Kendo: efficient deterministic multithreading in software (2009, background): “Finally, a large body of research has focused on making parallel applications easier to debug (Lu et al. 2007b; Tucek et al. 2007; Lu et al. 2007a, 2006).”
• AsyncShock: Exploiting Synchronisation Bugs in Intel SGX Enclaves (2016, background): “A large number of tools were proposed to help developers find different kinds of synchronisation bugs, such as atomicity violations [6, 8, 16], order violations [9, 17, 32] and data races [20, 31].”