Persistent Memory (PM) provides a novel point in the traditional memory hierarchy that promises to improve the performance and efficiency of applications. However, to fully exploit these capabilities, novel tools to assess the correctness of these applications under faults are needed. The goal of this project is to research techniques and develop tools to help programmers build more reliable crash-consistency programs that can fully leverage the capabilities of PM hardware.





This work is funded by National Funds through the FCT - Fundação para a Ciência e a Tecnologia (Portuguese Foundation for Science and Technology) within project UTA-EXPL/CA/0080/2019.

FCT logo UTAustin logo