2 papers
cs.OS2022
Finding and Analyzing Crash-Consistency Bugs in Persistent-Memory File Systems
Hayley LeBlanc, Shankara Pailoor, Isil Dillig +2
We present a study of crash-consistency bugs in persistent-memory (PM) file systems and analyze their implications for file-system design and testing crash consistency. We develop…
cs.PL2022
Synthesizing Fine-Grained Synchronization Protocols for Implicit Monitors (Extended Version)
Kostas Ferles, Benjamin Sepanski, Rahul Krishnan +2
A monitor is a widely-used concurrent programming abstraction that encapsulates all shared state between threads. Monitors can be classified as being either implicit or explicit de…