8 citations · 8 across the 5 of their papers we have counts for
5 papers
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…
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…
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…
Securing Smart Home Edge Devices against Compromised Cloud Servers
Rahmadi Trimananda, Ali Younis, Thomas Kwa +2
Smart home IoT systems often rely on cloud-based servers for communication between components. Although there exists a body of work on IoT security, most of it focuses on securing…
PingPong: Packet-Level Signatures for Smart Home Device Events
Rahmadi Trimananda, Janus Varmarken, Athina Markopoulou +1
Smart home devices are vulnerable to passive inference attacks based on network traffic, even in the presence of encryption. In this paper, we present PINGPONG, a tool that can aut…