Weiyu Luo

According to our database, Weiyu Luo authored at least 7 papers between 2020 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2023

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

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

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2022

Checking robustness to weak persistency models.

Hamed Gorjiara, Weiyu Luo, Alex Lee, Guoqing Harry Xu, Brian Demsky

Proceedings of the PLDI '22: 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation, San Diego, CA, USA, June 13, 2022

2021

C11Tester: A Race Detector for C/C++ Atomics Technical Report.

Weiyu Luo, Brian Demsky

CoRR, 2021

C11Tester: a race detector for C/C++ atomics.

Weiyu Luo, Brian Demsky

Proceedings of the ASPLOS '21: 26th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, 2021

2020

An Interstate Trips Analysis during COVID-19 in the United States.

Weiyi Zhou, Minha Lee, Qianqian Sun, Weiyu Luo, Chenfeng Xiong, Lei Zhang

CoRR, 2020

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

CoRR, 2020