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 | 48 | 2018 |
Safe Neurosymbolic Learning with Differentiable Symbolic Execution C Yang, S Chaudhuri International Conference on Learning Representations, 2022 | 10 | 2022 |
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 | 5 | 2024 |
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 | 4 | 2018 |
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 | 3 | 2024 |
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 | 2 | 2023 |
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 |