paperbot · PL 论文追踪

全部论文 待读 收藏

P2 Understanding and detecting server-side request races in web applications

理解并检测 Web 应用中的服务端请求竞态
FSE Proceedings of the 29th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering2021匹配度 2/10 · 论文关注 Web 应用服务端请求竞态的成因与检测,属于并发缺陷检测/软件测试方向,与用户核心的 PL→AI(ML/Agent 程序静态分析)、AI→PL(LLM 改进静态分析/形式化验证)、浮点程序分析及贝叶斯程序分析均无直接交集。引用 5 inbox
Zhengyi Qiu, Shudi Shao, Qi Zhao, Guoliang Jin
crossref: 2026-09-12

AI 速览

一句话:研究 Web 应用服务端请求竞态的成因,并提出检测方法以提升应用可靠性。

现代网站常在服务器端运行 Web 应用来处理用户的 HTTP 请求并生成动态响应。由于 Web 应用本质上是并发的,它们容易遭受服务端请求竞态(server-side request races)。随着 Web 应用日益普及,该问题变得更加严重。本文旨在理解这类竞态的成因,并对其进行检测,以提升 Web 应用的正确性与可靠性。摘要未详细说明所采用的具体检测技术、实现方式与实验评估结果,但论文聚焦于剖析请求竞态的特性并设计相应的检测手段。

问题
Web 应用在服务器端并发处理 HTTP 请求时,可能因并发交错而出现服务端请求竞态,导致动态响应生成错误;随着 Web 应用普及,该问题愈发严重。
方法
摘要未给出具体技术细节,但论文旨在理解服务端请求竞态的成因,并对其进行检测。
评估
摘要未提供评估信息。
原文摘要(Abstract)

Modern web sites often run web applications on the server to handle HTTP requests from users and generate dynamic responses. Due to their concurrent nature, web applications are vulnerable to server-side request races. The problem becomes more severe with the ever-increasing popularity of web applications.

链接与引用

DOI 原文 ·

BibTeX
@inproceedings{paperbot6301,
  title = {Understanding and detecting server-side request races in web applications},
  author = {Zhengyi Qiu and Shudi Shao and Qi Zhao and Guoliang Jin},
  booktitle = {FSE},
  year = {2021},
  doi = {10.1145/3468264.3468594}
}