Showing 1 - 12 results of 12 for search '(( python code implementing ) OR ( python policy implementation ))~', query time: 0.35s Refine Results
  1. 1
  2. 2
  3. 3
  4. 4
  5. 5
  6. 6
  7. 7
  8. 8
  9. 9
  10. 10
  11. 11
  12. 12

    The artifacts and data for the paper "DD4AV: Detecting Atomicity Violations in Interrupt-Driven Programs with Guided Concolic Execution and Filtering" (OOPSLA 2025) by zixuan yuan (17602152)

    Published 2025
    “…</li><li><ul><li><code><strong>DBDS</strong></code>: The code implements our proposed dynamic scheduling execution method, which systematically explores task interleaving for atomicity violation detection, enhanced by an effective prefix-directed strategy.…”