Discovering Likely Program Invariants for Persistent Memory

We propose a method for automatically discovering likely program invariants for persistent memory (PM), which is a type of fast and byte-addressable storage device that can retain data after power loss. The invariants, also called PM properties or PM requirements, specify which objects of the progra...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	IEEE/ACM International Conference on Automated Software Engineering : [proceedings] S. 1795 - 1807
Hauptverfasser:	Huang, Zunchen, Ravi, Srivatsan, Wang, Chao
Format:	Tagungsbericht
Sprache:	Englisch
Veröffentlicht:	ACM 27.10.2024
Schlagworte:	Benchmark testing Codes Cognition Computer bugs counterfactual reasoning Data structures dynamic analysis Instruments invariant generation nonvolatile memory Performance analysis Software Software engineering Static analysis
ISSN:	2643-1572
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!