Towards generating thread-safe classes automatically H Wang, Z Wang, J Sun, S Liu, A Sadiq, YF Li Proceedings of the 35th IEEE/ACM International Conference on Automated …, 2020 | 4 | 2020 |
IFIX: fixing concurrency bugs while they are introduced Z Wang, H Wang, S Liu, J Sun, H Wang, J Chen 2020 25th International Conference on Engineering of Complex Computer …, 2020 | 4 | 2020 |