Robust Consistency Checking for Modern Filesystems. - Kuei Sun; Daniel Fryer; Dai Qin; Angela Demke Brown; Ashvin Goel (RV, 2014)

Reliable Writeback for Client-side Flash Caches. - Dai Qin; Angela Demke Brown; Ashvin Goel (USENIX ATC, 2014)

Checking the Integrity of Transactional Mechanisms. - Daniel Fryer; Mike Dai Qin; Jack Sun; Kah Wai Lee; Angela Demke Brown; Ashvin Goel (ACM Trans. Storage, 2014)

Pyroelectric infrared detector based on LiTaO3 crystal with novelty nanostructured amorphous carbon film. - Xilong Sun; Anjie Ming; Jing Zhang; Weibing Liu; Ying Meng; Dai Qin; Jun Yao; Weibing Wang; Dapeng Chen (NEMS, 2017)

Scalable Replay-Based Replication For Fast Databases. - Dai Qin; Ashvin Goel; Angela Demke Brown (Proc. VLDB Endow., 2017)

Correct, Fast Remote Persistence. - Sanidhya Kashyap; Dai Qin; Steve Byan; Virendra J. Marathe; Sanketh Nalli (CoRR, 2019)

An Improved Infrared Target Tracking Algorithm based on Adaptive Kernel Window-width. - Le Zhang; Zhiyong An; Dai Qin; Mengru Li; Shuguang Lv (J. Inf. Hiding Multim. Signal Process., 2019)

Caracal: Contention Management with Deterministic Concurrency Control. - Dai Qin; Angela Demke Brown; Ashvin Goel (SOSP, 2021)