Follow
Chenxi  Yang
Title
Cited by
Cited by
Year
Accelerating mobile applications at the network edge with software-programmable fpgas
S Jiang, D He, C Yang, C Xu, G Luo, Y Chen, Y Liu, J Jiang
IEEE INFOCOM 2018-IEEE Conference on Computer Communications, 55-62, 2018
482018
Safe Neurosymbolic Learning with Differentiable Symbolic Execution
C Yang, S Chaudhuri
International Conference on Learning Representations, 2022
102022
Improved modeling of RNA-binding protein motifs in an interpretable neural model of RNA splicing
K Gupta, C Yang, K McCue, O Bastani, P Sharp, C Burge, AS Lezama
Genome Biology 24 (1), 1-23, 2024
52024
Understanding the behavioral differences between american and german users: A data-driven study
C Yang, Y Chen, Q Gong, X He, Y Xiao, Y Huang, X Fu
Big Data Mining and Analytics 1 (4), 284-296, 2018
42018
Deep Policy Optimization with Temporal Logic Constraints
A Shah, C Voloshin, C Yang, A Verma, S Chaudhuri, SA Seshia
arXiv preprint arXiv:2404.11578, 2024
32024
Adaptive Scheduling for Edge-Assisted DNN Serving
J He, C Yang, Z He, G Baig, L Qiu
2023 IEEE 20th International Conference on Mobile Ad Hoc and Smart Systems …, 2023
2*2023
On a Foundation Model for Operating Systems
D Saxena, N Sharma, D Kim, R Dwivedula, J Chen, C Yang, S Ravula, ...
ML for Systems Workshop at Neural Information Processing Systems, 2023
22023
C3: Learning Congestion Controllers with Formal Certificates
C Yang, D Saxena, R Dwivedula, K Mahajan, S Chaudhuri, A Akella
arXiv preprint arXiv:2412.10915, 2024
2024
Certifiably Robust Reinforcement Learning through Model-Based Abstract Interpretation
C Yang, G Anderson, S Chaudhuri
IEEE Conference on Secure and Trustworthy Machine Learning, 2024
2024
The system can't perform the operation now. Try again later.
Articles 1–9