Guoliang Jin Qiu, Z., Shao, S., Zhao, Q., Khan, H. A., Hui, X., & Jin, G. (2022). A Deep Study of the Effects and Fixes of Server-Side Request Races in Web Applications. 2022 MINING SOFTWARE REPOSITORIES CONFERENCE (MSR 2022), pp. 744–756. https://doi.org/10.1145/3524842.3528463 Khan, H. A., Iqbal, H., Shahzad, M., & Jin, G. (2022). RMS: Removing Barriers to Analyze the Availability and Surge Pricing of Ridesharing Services. PROCEEDINGS OF THE 2022 CHI CONFERENCE ON HUMAN FACTORS IN COMPUTING SYSTEMS (CHI' 22). https://doi.org/10.1145/3491102.3517464 Zhao, Q., Qiu, Z., Shao, S., Hui, X., Khan, H. A., & Jin, G. (2022). Understanding and Reaching the Performance Limit of Schedule Tuning on Stable Synchronization Determinism. PROCEEDINGS OF THE 2022 31ST INTERNATIONAL CONFERENCE ON PARALLEL ARCHITECTURES AND COMPILATION TECHNIQUES, PACT 2022, pp. 223–238. https://doi.org/10.1145/3559009.3569669 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), pp. 842–854. 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, 25(6), 4676–4706. 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), pp. 586–597. https://doi.org/10.1145/3180155.3180171 Yu, X., Joshi, P., Xu, J., Jin, G., Zhang, H., & Jiang, G. (2016, April). CloudSeer: Workflow Monitoring of Cloud Infrastructures via Interleaved Logs. ACM SIGPLAN NOTICES, Vol. 51, pp. 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., Gu, X., Enck, W., & Jin, G. (2015). Automatic Server Hang Bug Diagnosis: Feasible Reality or Pipe Dream? 2015 IEEE INTERNATIONAL CONFERENCE ON AUTONOMIC COMPUTING, pp. 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., Song, L., Zhu, L., & 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, pp. 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