Chirp!
  • Login
Chirp! is a GNU Social instance for the Cooley and Sekula families and their friends.

  • Public

    • Public
    • Network
    • Groups
    • Popular
    • People

Untitled attachment

Download link

Notices where this attachment appears

  1. see shy jo (joeyh@octodon.social)'s status on Monday, 29-Jul-2019 13:29:44 UTC see shy jo see shy jo
    in reply to

    @cwebber @amiloradovsky Systematic Concurrency Testing (SCT) can analyze a program and detect deadlocks and nondeterministic results.

    It works by scheduling threads so it can explore the entire space of schedules and the results.

    See https://www.barrucadu.co.uk/publications/dejafu-hs15.pdf
    for the haskell implementation of it.

    In conversation Monday, 29-Jul-2019 13:29:44 UTC from octodon.social permalink
  • Help
  • About
  • FAQ
  • Privacy
  • Source
  • Version
  • Contact

Chirp! is a social network. It runs on GNU social, version 2.0.1-beta0, available under the GNU Affero General Public License.

Creative Commons Attribution 3.0 All Chirp! content and data are available under the Creative Commons Attribution 3.0 license.