Software Foundations edit / delete

Practical proof in programming; based on Coq. Full text of the book available online.

to coq correctness proof teaching ... on 10 February 2017

Notes on concurrency bugs edit / delete

A couple of studies (now a few years old) looking at what kinds of concurrency bugs show up in real software.

to concurrency correctness debugging software-engineering ... on 28 August 2016

Files are hard edit / delete

A comprehensive study of what might go wrong when trying to guarantee that data has been written to disk.

to correctness email fs os ... on 31 December 2015

Embedded in Academia : Compilers and Termination Revisited edit / delete

A surprising example of C++ optimisation -- optimising out a loop with no side effects other than non-termination.

to c++ compiler correctness optimisation ... on 01 April 2014

Browser bookmarks: tasty+ | tasty= Log in | Export | Atom