3 papers
cs.SE2025
Automated Insertion of Flushes and Fences for Persistency
Yutong Guo, Weiyu Luo, Brian Demsky
CXL shared memory and persistent memory allow the contents of memory to persist beyond crashes. Stores to persistent or CXL memory are typically not immediately made persistent; de…
cs.SE2021
Stateful Dynamic Partial Order Reduction for Model Checking Event-Driven Applications that Do Not Terminate
Rahmadi Trimananda, Weiyu Luo, Brian Demsky +1
Event-driven architectures are broadly used for systems that must respond to events in the real world. Event-driven applications are prone to concurrency bugs that involve subtle e…
cs.PL2021
C11Tester: A Race Detector for C/C++ Atomics Technical Report
Weiyu Luo, Brian Demsky
Writing correct concurrent code that uses atomics under the C/C++ memory model is extremely difficult. We present C11Tester, a race detector for the C/C++ memory model that can exp…