Guoliang Jin

Works (15)

Updated: April 5th, 2024 09:25

2022 article

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.

By: Z. Qiu n, S. Shao n, Q. Zhao n, H. Khan n, X. Hui n & G. Jin n

author keywords: web-application request races; characteristic study; Object-Relational Mapping; external and internal effects; fix strategies
TL;DR: This study reveals that request races from ORM-based web applications share the same characteristics as those from raw-SQL web applications, and request races violating application semantics without explicit crashes and error messages externally are common, and latent request races are also common. (via Semantic Scholar)
Source: Web Of Science
Added: September 19, 2022

2022 article

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).

By: H. Khan n, H. Iqbal n, M. Shahzad n & G. Jin n

author keywords: Ridesharing services; Gig economy; Uber; Surge; COVID 19
TL;DR: This paper identifies that previous articles miscalculated the utilization of ridesharing services as they did not count in the vehicles driving in multiple categories of the same service, and presents Ridesharing Measurement Suite (RMS), which removes the barrier of entry for analyzing the availability and surge pricing of ridesHaring services for ridesh sharing users, researchers from various scientific domains, and regulators. (via Semantic Scholar)
Source: Web Of Science
Added: May 1, 2023

2022 article

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.

By: Q. Zhao n, Z. Qiu n, S. Shao n, X. Hui n, H. Khan n & G. Jin n

author keywords: stable synchronization determinism; performance limit; synchronization scheduling; scheduling-oblivious overheads; totally-ordered synchronization; workload-length imbalance
TL;DR: It is concluded that minSMT successfully reaches the performance limit of stable synchronization determinism on 107 out of 108 benchmarks after excluding the impact of scheduling-oblivious overheads, and this also results in significant performance improvements compared with state-of-the-art stable synchronization-determinism systems on 9 benchmarks. (via Semantic Scholar)
Source: Web Of Science
Added: October 23, 2023

2021 article

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.

By: Z. Qiu n, Q. Zhao n, S. Shao n & G. Jin n

author keywords: web-application request races; characteristic study; race detection; happens-before relationships
TL;DR: A dynamic framework, ReqRacer, is developed for detecting and exposing server-side request races in web applications and proposes novel approaches to model happens-before relationships between HTTP requests, which are essential to web applications. (via Semantic Scholar)
Source: Web Of Science
Added: March 7, 2022

2020 journal article

BarrierFinder: recognizing ad hoc barriers

EMPIRICAL SOFTWARE ENGINEERING, 25(6), 4676–4706.

By: T. Wang n, X. Yu n, Z. Qiu n, G. Jin n & F. Mueller n

author keywords: Ad hoc synchronizations; Barriers; Program slicing; Symbolic execution; Temporal invariants
Source: Web Of Science
Added: September 21, 2020

2020 article

Database-Access Performance Antipatterns in Database-Backed Web Applications

2020 IEEE INTERNATIONAL CONFERENCE ON SOFTWARE MAINTENANCE AND EVOLUTION (ICSME 2020), pp. 58–69.

By: S. Shao n, Z. Qiu n, X. Yu n, W. Yang, G. Jin n, T. Xie*, X. Wu*

author keywords: performance antipatterns; performance bugs; database-backed web applications; characteristic study
TL;DR: This study collects database-access performance bugs from web applications that access databases through language-provided SQL interfaces, which have been largely ignored by recent work, to check how extensively the known antipatterns can cover these bugs. (via Semantic Scholar)
Source: Web Of Science
Added: March 1, 2021

2019 article

BARRIERFINDER: Recognizing Ad Hoc Barriers

2019 IEEE INTERNATIONAL CONFERENCE ON SOFTWARE MAINTENANCE AND EVOLUTION (ICSME 2019), pp. 323–327.

By: T. Wang n, X. Yu n, Z. Qiu n, G. Jin n & F. Mueller n

author keywords: ad hoc synchronization; barrier; symbolic execution; interprocedural program slicing; Cloud9; LLVM
TL;DR: A framework to automatically identify complex ad hoc synchronizations in full and infer their synchronization relationships and a tool called BarrierFinder, which features various techniques, including program slicing and bounded symbolic execution, to efficiently explore the interleaving space of ad hoc synchronizations within multi-threaded programs and collect execution traces. (via Semantic Scholar)
Source: Web Of Science
Added: April 14, 2020

2019 article

Semantics-Aware Scheduling Policies for Synchronization Determinism

PROCEEDINGS OF THE 24TH SYMPOSIUM ON PRINCIPLES AND PRACTICE OF PARALLEL PROGRAMMING (PPOPP '19), pp. 242–256.

By: Q. Zhao n, Z. Qiu n & G. Jin n

author keywords: synchronization determinism; synchronization scheduling; semantics-aware policies; deterministic multithreading; stable multithreading
TL;DR: This paper argues that synchronization determinism is more fundamental to DMT systems than existing research suggests and proposes efficient and effective scheduling policies and builds QiThread, a synchronization-determinism system with semantics-aware scheduling policies. (via Semantic Scholar)
Sources: Web Of Science, NC State University Libraries, ORCID
Added: December 11, 2020

2018 article

Dataflow Tunneling

PROCEEDINGS 2018 IEEE/ACM 40TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING (ICSE), pp. 586–597.

By: X. Yu n & G. Jin n

author keywords: web applications; request-based applications; web frameworks; inter-request analysis; tracing
TL;DR: This paper designs an approach called dataflow tunneling to capture inter-request data dependencies from concrete application executions and produce data-dependency specifications, and envision that this approach can provide key information to enable future inter- request analysis techniques. (via Semantic Scholar)
Source: Web Of Science
Added: January 21, 2019

2016 article

CloudSeer: Workflow Monitoring of Cloud Infrastructures via Interleaved Logs

Yu, X., Joshi, P., Xu, J., Jin, G., Zhang, H., & Jiang, G. (2016, April). ACM SIGPLAN NOTICES, Vol. 51, pp. 489–502.

By: X. Yu n, P. Joshi*, J. Xu*, G. Jin n, H. Zhang* & G. Jiang*

author keywords: Cloud Infrastructures; Distributed Systems; Log Analysis; Workflow Monitoring
UN Sustainable Development Goal Categories
9. Industry, Innovation and Infrastructure (OpenAlex)
Source: Web Of Science
Added: August 6, 2018

2016 conference paper

CloudSeer: Workflow monitoring of cloud infrastructures via interleaved logs

Operating Systems Review, 50(2), 489–502.

By: X. Yu, P. Joshi, J. Xu, G. Jin, H. Zhang & G. Jiang

Source: NC State University Libraries
Added: August 6, 2018

2015 article

Automatic Server Hang Bug Diagnosis: Feasible Reality or Pipe Dream?

2015 IEEE INTERNATIONAL CONFERENCE ON AUTONOMIC COMPUTING, pp. 127–132.

By: D. Dean n, P. Wang n, X. Gu n, W. Enck n & G. Jin n

Event: IEEE

author keywords: hang bugs; characteristic study; performance
TL;DR: This paper presents a characteristic study of 177 real software hang bugs from 8 common open source server systems and describes two major problems while applying existing rule-based bug detection techniques to those bugs. (via Semantic Scholar)
Sources: Web Of Science, NC State University Libraries, ORCID
Added: August 6, 2018

2015 journal article

Fixing, preventing, and recovering from concurrency bugs

Science China Information Sciences, 58(5), 1–18.

By: D. Deng*, G. Jin*, M. de Kruijf*, A. Li*, B. Liblit*, S. Lu*, S. Qi*, J. Ren* ...

author keywords: concurrency bugs; bug detection; production run; performance counters
TL;DR: Recent progresses on fixing, preventing, and recovering from concurrency bugs are discussed. (via Semantic Scholar)
Source: Crossref
Added: February 24, 2020

2015 article

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.

author keywords: Locks; Empirical Study; Repository Mining; Concurrency Bugs; Performance Bugs; Multi-Threaded Software
TL;DR: In-depth study of the code repositories of open-source multi-threaded software projects shows that tool support is needed to help developers tackle over-synchronization problems and shows that bug avoidance, detection, and testing can be improved through better awareness of code revision history. (via Semantic Scholar)
Source: Web Of Science
Added: August 6, 2018

2013 chapter

Validating Library Usage Interactively

In Computer Aided Verification (pp. 796–812).

TL;DR: This work presents an interactive program analysis that a programmer can apply to validate that his optimization does not change his program's semantics, and uses this analysis to validate optimizations of real-world, mature applications. (via Semantic Scholar)
Source: Crossref
Added: August 28, 2020

Citation Index includes data from a number of different sources. If you have questions about the sources of data in the Citation Index or need a set of data which is free to re-distribute, please contact us.

Certain data included herein are derived from the Web of Science© and InCites© (2024) of Clarivate Analytics. All rights reserved. You may not copy or re-distribute this material in whole or in part without the prior written consent of Clarivate Analytics.