This proposal aims to develop techniques that enable application of robust predictive intelligence algorithms in the new spectrum era. The goal is to ensure robustness of predictive intelligence when handling critical spectrum-related tasks, including but not limited to: spectrum management, spectrum trading and spectrum monitoring.

This project aims to investigate the possibility and develop the technical foundation of building an open, decentralized wireless access ecosystem. The core contribution is around building contract overlay networks to enable on-demand spectrum leasing and wireless access, enabling verifiable contract fulfillment, and incentivizing broad and honest participation in the ecosystem.

This project seeks to develop theoretical tools (models and algorithms) for analyzing and optimizing a hybrid continuous-discrete variable quantum network architecture for the future quantum internet.

Abstract: The goal of this CAREER project is to fill the gap between growing application complexity and performance requirements, and existing application-agnostic network management, to enable and incentivize rigorous performance guarantees for distributed real-time applications at the network edge. The core contribution is the design, analysis, and evaluation of WolfPack, a general edge resource provisioning framework for real-time applications. The PI will focus on three key thrusts: 1) modeling and optimization of edge resource provisioning, 2) stochastic models and robustness techniques to control the risk, and 3) incentive mechanisms to enable truthful and competitive network edge resource trading.

Web applications play an important role in the current software ecosystem, and these web applications are usually built with certain supporting frameworks. While these frameworks ease the development of web applications, they bring several challenges to the analysis of web applications. Existing techniques analyze each request independently leading to suboptimal results. In this project, we propose inter-request analysis to go beyond the boundaries of individual requests, design a framework that can capture and express inter-request data and control dependencies, and develop several program analyses leveraging the framework for performance bug diagnosis, performance optimization, and flow integrity monitoring.

The potential of modern real-time applications, while enabled by advances in wireless communication technologies, is limited by the poor and unpredictable performance of the cloud backend as an Internet-based service. Edge computing is believed to be the magic bullet to this problem, but after years of research, we have yet witnessed the first large-scale deployment and utilization of edge computing. We believe the barrier is the lack of SLA-based performance guarantee, due to the inevitable risk of SLA violation. This project aims to take the first step in modeling and optimization of SLA violation risks in mobile edge computing.