Quantifying human mobility behavior changes in response to non-pharmaceutical interventions during the COVID-19 outbreak in the United States. - Yixuan Pan; Aref Darzi; Aliakbar Kabiri; Guangchen Zhao; Weiyu Luo; Chenfeng Xiong; Lei Zhang 118 (CoRR, 2020)

An Interstate Trips Analysis during COVID-19 in the United States. - Weiyi Zhou; Minha Lee; Qianqian Sun; Weiyu Luo; Chenfeng Xiong; Lei Zhang 118 (CoRR, 2020)

C11Tester: a race detector for C/C++ atomics. - Weiyu Luo; Brian Demsky (ASPLOS, 2021)

C11Tester: A Race Detector for C/C++ Atomics Technical Report. - Weiyu Luo; Brian Demsky (CoRR, 2021)

Checking robustness to weak persistency models. - Hamed Gorjiara; Weiyu Luo; Alex Lee; Guoqing Harry Xu; Brian Demsky (PLDI, 2022)

Stateful Dynamic Partial Order Reduction for Model Checking Event-Driven Applications that Do Not Terminate. - Rahmadi Trimananda; Weiyu Luo; Brian Demsky; Guoqing Harry Xu (VMCAI, 2022)

A Big-Data Driven Framework to Estimating Vehicle Volume based on Mobile Device Location Data. - Mofeng Yang; Weiyu Luo; Mohammad Ashoori; Jina Mahmoudi; Chenfeng Xiong; Jiawei Lu; Guangchen Zhao; Saeed Saleh Namadi; Songhua Hu; Aliakbar Kabiri (CoRR, 2023)