Execution reconstruction: Harnessing failure reoccurrences for failure reproduction
Reproducing production failures is crucial for software reliability. Alas, existing bug
reproduction approaches are not suitable for production systems because they are not …
reproduction approaches are not suitable for production systems because they are not …
Lazy diagnosis of in-production concurrency bugs
Diagnosing concurrency bugs---the process of understanding the root causes of
concurrency failures---is hard. Developers depend on reproducing concurrency bugs to …
concurrency failures---is hard. Developers depend on reproducing concurrency bugs to …
Combining static analysis and testing for deadlock detection
Static deadlock analyzers might be able to verify the absence of deadlock. However, they
are usually not able to detect its presence. Also, when they detect a potential deadlock cycle …
are usually not able to detect its presence. Also, when they detect a potential deadlock cycle …
Deadlock-guided testing
M Gómez-Zamalloa, M Isabel - IEEE Access, 2021 - ieeexplore.ieee.org
Static deadlock analyses might be able to verify the absence of deadlock. However, they are
usually not able to detect its presence. Moreover, when a potential deadlock is detected …
usually not able to detect its presence. Moreover, when a potential deadlock is detected …
Hardware-Software Co-design for Reliable and Efficient Heterogeneous Systems
G Zuo - 2024 - deepblue.lib.umich.edu
Transistor scaling has been slowing down in the past decade, while the demand for
computing continue rising up, especially the exponential growth recently driven by machine …
computing continue rising up, especially the exponential growth recently driven by machine …
Generation of initial contexts for effective deadlock detection
It has been recently proposed that testing based on symbolic execution can be used in
conjunction with static deadlock analysis to define a deadlock detection framework that:(i) …
conjunction with static deadlock analysis to define a deadlock detection framework that:(i) …
Orca: Ordering-free regions for consistency and atomicity
Writing correct synchronization is one of the main difficulties of multithreaded programming.
Incorrect synchronization causes many subtle concurrency errors such as data races and …
Incorrect synchronization causes many subtle concurrency errors such as data races and …
Deadlock-Guided Testing
M Isabel, M Gómez-Zamalloa Gil - 2021 - docta.ucm.es
Static deadlock analyses might be able to verify the absence of deadlock. However, they are
usually not able to detect its presence. Moreover, when a potential deadlock is detected …
usually not able to detect its presence. Moreover, when a potential deadlock is detected …
Testing of concurrent programs
M Isabel - Technical Communications of the 32nd International …, 2016 - drops.dagstuhl.de
Testing concurrent systems requires exploring all possible non-deterministic interleavings
that the concurrent execution may have, as any of the interleavings may reveal erroneous …
that the concurrent execution may have, as any of the interleavings may reveal erroneous …
Verificacion de Sistemas Concurrentes: optimalidad, Escalabilidad y Aplicabilidad
M Isabel Márquez - 2021 - docta.ucm.es
Both verification and testing of concurrent systems require exploring all possible non-
deterministic interleavings that the concurrent execution may have, as any of the …
deterministic interleavings that the concurrent execution may have, as any of the …