research
∙
01/20/2023
A Big-Data Driven Framework to Estimating Vehicle Volume based on Mobile Device Location Data
Vehicle volume serves as a critical metric and the fundamental basis for...
share
research
∙
11/09/2021
Stateful Dynamic Partial Order Reduction for Model Checking Event-Driven Applications that Do Not Terminate
Event-driven architectures are broadly used for systems that must respon...
research
∙
02/16/2021
C11Tester: A Race Detector for C/C++ Atomics Technical Report
Writing correct concurrent code that uses atomics under the C/C++ memory...
research
∙
05/04/2020
Quantifying human mobility behavior changes in response to non-pharmaceutical interventions during the COVID-19 outbreak in the United States
Ever since the first case of the novel coronavirus disease (COVID-19) wa...
research
∙
05/02/2020