Weiyu Luo

11 papers A* 3B 1Journal 7
YearRankTypeTitle / Venue / Authors
2025 A* conf
Automated Insertion of Flushes and Fences for Persistency.
ASE
Yutong Guo, Weiyu Luo, Brian Demsky
2025 J jnl
Automated Insertion of Flushes and Fences for Persistency.
CoRR
Yutong Guo, Weiyu Luo, Brian Demsky
2025 J jnl
Recovering Individual-Level Activity Sequences from Location-Based Service Data Using a Novel Transformer-Based Model.
CoRR
Weiyu Luo, Chenfeng Xiong
2023 J jnl
A Big-Data Driven Framework to Estimating Vehicle Volume based on Mobile Device Location Data.
CoRR
Mofeng Yang, Weiyu Luo, Mohammad Ashoori, Jina Mahmoudi, Chenfeng Xiong, Jiawei Lu, Guangchen Zhao, Saeed Saleh Namadi, Songhua Hu, Aliakbar Kabiri
2022 A* conf
Checking robustness to weak persistency models.
PLDI
Hamed Gorjiara, Weiyu Luo, Alex Lee, Guoqing Harry Xu, Brian Demsky
2022 B conf
Stateful Dynamic Partial Order Reduction for Model Checking Event-Driven Applications that Do Not Terminate.
VMCAI
Rahmadi Trimananda, Weiyu Luo, Brian Demsky, Guoqing Harry Xu
2021 J jnl
C11Tester: A Race Detector for C/C++ Atomics Technical Report.
CoRR
Weiyu Luo, Brian Demsky
2021 A* conf
C11Tester: a race detector for C/C++ atomics.
ASPLOS
Weiyu Luo, Brian Demsky
2021 J jnl
Stateful Dynamic Partial Order Reduction for Model Checking Event-Driven Applications that Do Not Terminate.
CoRR
Rahmadi Trimananda, Weiyu Luo, Brian Demsky, Guoqing Harry Xu
2020 J jnl
An Interstate Trips Analysis during COVID-19 in the United States.
CoRR
Weiyi Zhou, Minha Lee, Qianqian Sun, Weiyu Luo, Chenfeng Xiong, Lei Zhang
2020 J jnl
Quantifying human mobility behavior changes in response to non-pharmaceutical interventions during the COVID-19 outbreak in the United States.
CoRR
Yixuan Pan, Aref Darzi, Aliakbar Kabiri, Guangchen Zhao, Weiyu Luo, Chenfeng Xiong, Lei Zhang