Skip to main content

Now showing items 1-5 of 931

Understanding COVID-19 Effects on Mobility: A Community-Engaged Approach

Sharma, Arun; Farhadloo, Majid; Li, Yan; Kulkarni, Aditya; Gupta, Jayant; Shekhar, Shashi (2022)
Given aggregated mobile device data, the goal is to understand the impact of COVID-19 policy interventions on mobility. This problem is vital due to important societal use cases, such as safely reopening the economy. ...

Source Aware Modulation for leveraging limited data from heterogeneous sources

Li, Xiang; Khandelwal, Ankush; Ghosh, Rahul; Renganathan, Arvind; Willard, Jared; Xu, Shaoming; Jia, Xiaowei; Shu, Lele; Teng, Victor; Steinbach, Michael; Nieber, John; Duffy, Christopher; Kumar, Vipin (2021)
In many personalized prediction applications, sharing information between entities/tasks/sources is critical to address data scarcity. Furthermore, inherent characteristics of sources distinguish relationships between input ...

Validity-Guided Synthesis of Reactive Systems from Assume-Guarantee Contracts

Katis, Andreas; Fedyukovich, Grigory; Guo, Huajun; Gacek, Andrew; Backes, John; Gurfinkel, Arie; Whalen, Michael (2018)
Automated synthesis of reactive systems from specifications has been a topic of research for decades. Recently, a variety of approaches have been proposed to extend synthesis of reactive systems from propositional ...

Contract discovery from black-box components

Sharma, Vaibhav; Byun, Taejoon; McCamant, Stephen; Rayadurgam, Sanjai; Heimdahl, Mats (2018)
Complex computer-controlled systems are commonly constructed in a middle-out fashion where existing subsystems and available components have a significant influence on system architecture and drive design decisions. During ...

Domain Modeling for Development Process Simulation

De Silva, Ian; Rayadurgam, Sanjai; Heimdahl, Mats (ACM, 2017)
Simulating agile processes prior to adoption can reduce the risk of enacting an ill-fitting process. Agent-based simulation is well-suited to capture the individual decision-making valued in agile. Yet, agile's lightweight ...