Home

The objective of this research grant is to do research and development on how to efficiently leverage the recovery process of Persistent Memory applications as a consistency oracle. The work will be conducted in the context of Activities "Application Models and Recovery" and "Use Cases and Integration". The work plan therefore includes studying existing target systems and tools, designing mechanisms and algorithms to parallelize the recovery procedure, and developing preliminary techniques to be used by the bug detection framework being built into the project