Guoliang Jin Qiu, Z., Zhao, Q., Shao, S., & Jin, G. (2021). Understanding and Detecting Server-Side Request Races in Web Applications. PROCEEDINGS OF THE 29TH ACM JOINT MEETING ON EUROPEAN SOFTWARE ENGINEERING CONFERENCE AND SYMPOSIUM ON THE FOUNDATIONS OF SOFTWARE ENGINEERING (ESEC/FSE '21). https://doi.org/10.1145/3468264.3468594 Wang, T., Yu, X., Qiu, Z., Jin, G., & Mueller, F. (2020). BarrierFinder: recognizing ad hoc barriers. EMPIRICAL SOFTWARE ENGINEERING. https://doi.org/10.1007/s10664-020-09862-3 Shao, S., Qiu, Z., Yu, X., Yang, W., Jin, G., Xie, T., & Wu, X. (2020). Database-Access Performance Antipatterns in Database-Backed Web Applications. 2020 IEEE INTERNATIONAL CONFERENCE ON SOFTWARE MAINTENANCE AND EVOLUTION (ICSME 2020), pp. 58–69. https://doi.org/10.1109/ICSME46990.2020.00016 Wang, T., Yu, X., Qiu, Z., Jin, G., & Mueller, F. (2019). BARRIERFINDER: Recognizing Ad Hoc Barriers. 2019 IEEE INTERNATIONAL CONFERENCE ON SOFTWARE MAINTENANCE AND EVOLUTION (ICSME 2019), pp. 323–327. https://doi.org/10.1109/ICSME.2019.00049 Zhao, Q., Qiu, Z., & Jin, G. (2019). Semantics-Aware Scheduling Policies for Synchronization Determinism. PROCEEDINGS OF THE 24TH SYMPOSIUM ON PRINCIPLES AND PRACTICE OF PARALLEL PROGRAMMING (PPOPP '19), pp. 242–256. https://doi.org/10.1145/3293883.3295731 Yu, X., & Jin, G. (2018). Dataflow Tunneling. PROCEEDINGS 2018 IEEE/ACM 40TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING (ICSE), 586–597. https://doi.org/10.1145/3180155.3180171 Yu, X., Joshi, P., Xu, J. W., Jin, G. L., Zhang, H., & Jiang, G. F. (2016). CloudSeer: Workflow monitoring of cloud infrastructures via interleaved logs. ACM SIGPLAN Notices, 51(4), 489–502. https://doi.org/10.1145/2954679.2872407 Yu, X., Joshi, P., Xu, J. W., Jin, G. L., Zhang, H., & Jiang, G. F. (2016). CloudSeer: Workflow monitoring of cloud infrastructures via interleaved logs. Operating Systems Review, 50(2), 489–502. Dean, D. J., Wang, P. P., Gu, X. H., Enck, W., & Jin, G. L. (2015). Automatic server hang bug diagnosis: Feasible reality or pipe dream? 2015 IEEE International Conference on Autonomic Computing, 127–132. https://doi.org/10.1109/icac.2015.52 Deng, D. D., Jin, G. L., de Kruijf, M., Li, A., Liblit, B., Lu, S., … Zheng, W. M. (2015). Fixing, preventing, and recovering from concurrency bugs. Science China Information Sciences, 58(5), 1–18. https://doi.org/10.1007/S11432-015-5315-9 Gu, R., Jin, G. L., Song, L. H., Zhu, L. J., & Lu, S. (2015). What change history tells us about thread synchronization. 2015 10th Joint Meeting of the European Software Engineering Conference and the ACM Sigsoft Symposium on the Foundations of Software Engineering (ESEC/FSE 2015) Proceedings, 426–438. https://doi.org/10.1145/2786805.2786815 Harris, W. R., Jin, G., Lu, S., & Jha, S. (2013). Validating Library Usage Interactively. In Computer Aided Verification (pp. 796–812). https://doi.org/10.1007/978-3-642-39799-8_56