Apricot: A weight-adaptation approach to fixing deep learning models H Zhang, WK Chan 2019 34th IEEE/ACM International Conference on Automated Software …, 2019 | 86 | 2019 |
Regiontrack: A trace-based sound and complete checker to debug transactional atomicity violations and non-serializable traces X Ma, S Wu, E Pobee, X Mei, H Zhang, B Jiang, WK Chan ACM Transactions on Software Engineering and Methodology (TOSEM) 30 (1), 1-49, 2020 | 7 | 2020 |
SOA software architecture extended modeling considering reliability information H Zhang, M Lu, T Gu 2017 Second International Conference on Reliability Systems Engineering …, 2017 | 4 | 2017 |
A petri-net based reliability prediction method for soa software H Zhang, M Lu, T Gu Proceedings of the 2nd International Conference on Advances in Image …, 2018 | 2 | 2018 |
BlockRace: A Big Data Approach to Dynamic Block-based Data Race Detection for Multithreaded Programs X Mei, Z Wei, H Zhang, WK Chan Proceedings of the IEEE/ACM 1st International Conference on Automation of …, 2020 | | 2020 |