An empirical study on TensorFlow program bugs Y Zhang, Y Chen, SC Cheung, Y Xiong, L Zhang Proceedings of the 27th ACM SIGSOFT International Symposium on Software …, 2018 | 295 | 2018 |
Detecting numerical bugs in neural network architectures Y Zhang, L Ren, L Chen, Y Xiong, SC Cheung, T Xie Proceedings of the 28th ACM Joint Meeting on European Software Engineering …, 2020 | 56 | 2020 |
MULDEF: Multi-model-based Defense Against Adversarial Examples for Neural Networks S Srisakaokul, Y Zhang, Z Zhong, W Yang, T Xie arXiv preprint arXiv:1809.00065, 2018 | 19 | 2018 |
Certified Robustness to Programmable Transformations in LSTMs Y Zhang, A Albarghouthi, L D'Antoni arXiv preprint arXiv:2102.07818, 2021 | 18 | 2021 |
Robustness to Programmable String Transformations via Augmented Abstract Training Y Zhang, A Albarghouthi, L D'Antoni Proceedings of the 37th International Conference on Machine Learning, ICML …, 2020 | 17 | 2020 |
BagFlip: A Certified Defense against Data Poisoning Y Zhang, A Albarghouthi, L D'Antoni Advances in Neural Information Processing Systems 35, 31474-31483, 2022 | 15 | 2022 |
Overwatch: learning patterns in code edit sequences Y Zhang, Y Bajpai, P Gupta, A Ketkar, M Allamanis, T Barik, S Gulwani, ... Proceedings of the ACM on Programming Languages 6 (OOPSLA2), 395-423, 2022 | 15 | 2022 |
Reliability assurance for deep neural network architectures against numerical defects L Li, Y Zhang, L Ren, Y Xiong, T Xie 2023 IEEE/ACM 45th International Conference on Software Engineering (ICSE …, 2023 | 2 | 2023 |
PECAN: A Deterministic Certified Defense Against Backdoor Attacks Y Zhang, A Albarghouthi, L D'Antoni arXiv preprint arXiv:2301.11824, 2023 | 2 | 2023 |
A One-Layer Decoder-Only Transformer is a Two-Layer RNN: With an Application to Certified Robustness Y Zhang, A Albarghouthi, L D'Antoni arXiv preprint arXiv:2405.17361, 2024 | | 2024 |
CodeFort: Robust Training for Code Generation Models Y Zhang, S Wang, H Qian, Z Wang, M Shang, L Liu, SK Gouda, B Ray, ... arXiv preprint arXiv:2405.01567, 2024 | | 2024 |
Verified Training for Counterfactual Explanation Robustness under Data Shift AP Meyer, Y Zhang, A Albarghouthi, L D'Antoni arXiv preprint arXiv:2403.03773, 2024 | | 2024 |