Publications

Certified Learning for Congestion Control
Under Review.

A Practical Cross-Layer Approach for ML-Driven Storage Placement in Warehouse-Scale Computers.
Chenxi Yang, Yan Li, Martin Maas, Mustafa Uysal, Ubaid Ullah Hafeez, Arif Merchant, Richard McDougall
Under Review.

Temporal Logic Constrained Policy Optimization with Cycle Experience Replay.
Ameesh Shah, Cameron Voloshin, Chenxi Yang, Abhinav Verma, Swarat Chaudhuri, Sanjit A. Seshia
Under Review.

Certifiably Robust Reinforcement Learning through Model-Based Abstract Interpretation.
Chenxi Yang, Greg Anderson, Swarat Chaudhuri
2024 IEEE Conference on Secure and Trustworthy Machine Learning (SaTML) Paper | Code | Slides ｜ Video

On a Foundation Model for Operating Systems.
Divyangshu Saxena, Nihal Sharma, Donghyun Kim, Rohit Dwivedula, Jiayi Chen, Chenxi Yang, Sriram Ravula, Zichao Hu, Aditya Akella, Joydeep Biswas, Swarat Chaudhuri, Isil Dillig, Alex Dimakis, Daehyeok Kim, Christopher Rossbach
ML for Systems at Neural Information Processing Systems 2023 (MlSys@Neurips 2023)

Improved Modeling of RNA-binding Protein Motifs in An Interpretable Neural Model of RNA Splicing.
Kavi Gupta, Chenxi Yang, Kayla McCue, Osbert Bastani, Phillip A. Sharp, Christopher Burge, Armando Solar-Lezama
Computational Biology Workshop in International Conference on Machine Learning 2023 (CompBio@ICML 2023) (Spotlight)
Genome Biology 25 (1), 23 Paper

Safe Neurosymbolic Learning with Differentiable Symbolic Execution.
Chenxi Yang, Swarat Chaudhuri
Advances in Programming Languages and Neurosymbolic Systems Workshop in Neural Information Processing Systems 2021 (AIPLANS@Neurips 2021)
International Conference on Learning Representations 2022 (ICLR 2022) Paper | Code | Slides

Adaptive Scheduling for Edge-Assisted DNN Serving.
Jian He, Chenxi Yang, Zhaoyuan He, Ghufran Baig, Lili Qiu
International Conference on Mobile Ad-Hoc and Smart Systems 2023 (MASS 2023) Paper

Accelerating Mobile Applications at the Network Edge with Software-Programmable FPGAs.
Shuang Jiang, Dong He, Chenxi Yang, Chenren Xu, Guojie Luo, Yang Chen, Yunlu Liu, Jiangwei Jiang
International Conference on Computer Communications 2018 (INFOCOM 2018) Paper

Understanding the Behavioral Differences Between American and German Users: A Data-Driven Study.
Chenxi Yang, Yang Chen, Qingyuan Gong, Xinlei He, Yu Xiao, Yuhuan Huang, Xiaoming Fu
Big Data Mining and Analytics 2018 Paper

Sensing People’s Time Management Activities: A Study Using Wearable Devices.
Chenxi Yang, Yang Chen, Yuan Xuan
Conference on Embedded Networked Sensor Systems 2018 (SenSys 2018) Paper