Publications

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
MLSys 2025

LTL-Constrained Policy Optimization with Cycle Experience Replay
Ameesh Shah, Cameron Voloshin, Chenxi Yang, Abhinav Verma, Swarat Chaudhuri, and Sanjit A. Seshia
TMLR 2025

Certifiably Robust Reinforcement Learning through Model-Based Abstract Interpretation
Chenxi Yang, Greg Anderson, Swarat Chaudhuri
SaTML 2024 / 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
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
CompBio@ICML 2023 (Spotlight)
Genome Biology 25 (1), 23 / paper

Safe Neurosymbolic Learning with Differentiable Symbolic Execution
Chenxi Yang, Swarat Chaudhuri
AIPLANS@Neurips 2021
ICLR 2022 / paper / code / slides

Adaptive Scheduling for Edge-Assisted DNN Serving
Jian He, Chenxi Yang, Zhaoyuan He, Ghufran Baig, Lili Qiu
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
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
SenSys 2018 / paper