VirtualTam's bookmarks

1. Finding the “Second Bug” in glibc’s Condition Variable 2022-09-20

   tags: concurrency/threading, formal-specification/tla+, programming/c, programming/ocaml

   [ permalink ]