Trustworthy Systems

Reasoning about concurrency in high-assurance, high-performance software systems

Authors

June Andronick

DATA61

UNSW Sydney

Abstract

We describe our work in the Trustworthy Systems group at Data61 (formerly NICTA) in reasoning about concurrency in high- assurance, high-performance software systems, in which concurrency may come from three different sources: multiple cores, interrupts and application-level interleaving.

BibTeX Entry

  @inproceedings{Andronick_17,
    address          = {Gothenburg},
    author           = {Andronick, June},
    booktitle        = {International Conference on Automated Deduction},
    date             = {2017-8-6},
    doi              = {https://doi.org/10.1007/978-3-319-63046-5\_1},
    editor           = {{Leonardo de Moura}},
    month            = aug,
    pages            = {1--7},
    paperurl         = {https://trustworthy.systems/publications/csiro_full_text/Andronick_17.pdf},
    publisher        = {Springer},
    title            = {Reasoning about Concurrency in High-Assurance, High-Performance Software Systems},
    year             = {2017}
  }

Download