Follow
Yuhao Zhang
Title
Cited by
Cited by
Year
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
2742018
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
532020
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
182018
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
162020
Certified Robustness to Programmable Transformations in LSTMs
Y Zhang, A Albarghouthi, L D'Antoni
arXiv preprint arXiv:2102.07818, 2021
152021
BagFlip: A Certified Defense against Data Poisoning
Y Zhang, A Albarghouthi, L D'Antoni
Advances in Neural Information Processing Systems 35, 31474-31483, 2022
112022
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
112022
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
22023
PECAN: A Deterministic Certified Defense Against Backdoor Attacks
Y Zhang, A Albarghouthi, L D'Antoni
arXiv preprint arXiv:2301.11824, 2023
22023
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
The system can't perform the operation now. Try again later.
Articles 1–10