Periodic Reporting for period 2 - PERSIST (A Semantic Foundation for Persistent Programming)

The project concerns the correctness of computer applications that operate on data that outlives the program's execution, such as financial transactions and medical records. Traditionally, such data has been stored in hard disks, possibly in a distributed fashion over the...