Weiyu Luo

Publication Activity (10 Years)

Years Active: 2020-2023
Publications (10 Years): 8

Top Topics

Technical Report

Temporal Properties

Publish Subscribe

Top Venues

Publications

Mofeng Yang, Weiyu Luo, Mohammad Ashoori, Jina Mahmoudi, Chenfeng Xiong, Jiawei Lu, Guangchen Zhao, Saeed Saleh Namadi, Songhua Hu, Aliakbar Kabiri
A Big-Data Driven Framework to Estimating Vehicle Volume based on Mobile Device Location Data. CoRR (2023)
Rahmadi Trimananda, Weiyu Luo, Brian Demsky, Guoqing Harry Xu
Stateful Dynamic Partial Order Reduction for Model Checking Event-Driven Applications that Do Not Terminate. VMCAI (2022)
Hamed Gorjiara, Weiyu Luo, Alex Lee, Guoqing Harry Xu, Brian Demsky
Checking robustness to weak persistency models. PLDI (2022)
Weiyu Luo, Brian Demsky
C11Tester: A Race Detector for C/C++ Atomics Technical Report. CoRR (2021)
Weiyu Luo, Brian Demsky
C11Tester: a race detector for C/C++ atomics. ASPLOS (2021)
Rahmadi Trimananda, Weiyu Luo, Brian Demsky, Guoqing Harry Xu
Stateful Dynamic Partial Order Reduction for Model Checking Event-Driven Applications that Do Not Terminate. CoRR (2021)
Weiyi Zhou, Minha Lee, Qianqian Sun, Weiyu Luo, Chenfeng Xiong, Lei Zhang
An Interstate Trips Analysis during COVID-19 in the United States. CoRR (2020)
Yixuan Pan, Aref Darzi, Aliakbar Kabiri, Guangchen Zhao, Weiyu Luo, Chenfeng Xiong, Lei Zhang
Quantifying human mobility behavior changes in response to non-pharmaceutical interventions during the COVID-19 outbreak in the United States. CoRR (2020)