Image de couverture de livre

Verify Linearizability of Concurrent Stacks

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteur principal:	Wen, Tangliu
Format:	Preprint
Publié:	2021
Sujets:	Software Engineering
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Assessing Large Language Models in Comprehending and Verifying Concurrent Programs across Memory Models
par: Jain, Ridhi, et autres
Publié: (2025)

Formally and Empirically Verified Methodologies for Scalable Hierarchical Full-Stack Systems
par: Liu, Dong
Publié: (2025)

ConCovUp: Effective Agent-Based Test Driver Generation for Concurrency Testing
par: Cai, Yuandao, et autres
Publié: (2026)

Spatio-Temporal Analysis of Concurrent Networks
par: Schmidt, Heinz, et autres
Publié: (2024)

FASTRIC: Prompt Specification Language for Verifiable LLM Interactions
par: Jin, Wen-Long
Publié: (2025)

ExecVerify: White-Box RL with Verifiable Stepwise Rewards for Code Execution Reasoning
par: Tang, Lingxiao, et autres
Publié: (2026)

Identifying Concurrency Bug Reports via Linguistic Patterns
par: Shao, Shuai, et autres
Publié: (2026)

Sound Concurrent Traces for Online Monitoring Technical Report
par: Soueidi, Chukri, et autres
Publié: (2024)

Deep Learning Based Concurrency Bug Detection and Localization
par: Feng, Zuocheng, et autres
Publié: (2025)

Reputation Gaming in Stack Overflow
par: Mazloomzadeh, Iren, et autres
Publié: (2021)

Crash-free Deductive Verifiers
par: Nauta, Wander, et autres
Publié: (2026)

Efficient Decrease-and-Conquer Linearizability Monitoring
par: Han, Lee Zheng, et autres
Publié: (2024)

MicroRacer: Detecting Concurrency Bugs for Cloud Service Systems
par: Deng, Zhiling, et autres
Publié: (2025)

Verify Implementation Equivalence of Large Models
par: Zhan, Qi, et autres
Publié: (2026)

Securing High-Concurrency Ticket Sales: A Framework Based on Microservice
par: Zhang, Zhiyong, et autres
Publié: (2025)

An empirical study of question discussions on Stack Overflow
par: Zhu, Wenhan, et autres
Publié: (2021)

Finding Important Stack Frames in Large Systems
par: Khvorov, Aleksandr, et autres
Publié: (2025)

Understanding Usefulness in Developer Explanations on Stack Overflow
par: Obaidi, Martin, et autres
Publié: (2026)

Verifier Warnings Do Not Improve Comprehensibility Prediction
par: De Silva, Nadeeshan, et autres
Publié: (2026)

Formally Verified Binary-level Pointer Analysis
par: Verbeek, Freek, et autres
Publié: (2025)

Gender Dynamics in Software Engineering: Insights from Research on Concurrency Bug Reproduction
par: Zaman, Tarannum Shaila, et autres
Publié: (2025)

SysPro: Reproducing System-level Concurrency Bugs from Bug Reports
par: Zaman, Tarannum Shaila, et autres
Publié: (2026)

FormalRTL: Verified RTL Synthesis at Scale
par: Li, Kezhi, et autres
Publié: (2026)

Rethinking Technology Stack Selection with AI Coding Proficiency
par: Zhang, Xiaoyu, et autres
Publié: (2025)

Towards Verifiably Safe Tool Use for LLM Agents
par: Doshi, Aarya, et autres
Publié: (2026)

An End-to-End Approach for Fixing Concurrency Bugs via SHB-Based Context Extractor
par: Li, Zhuang, et autres
Publié: (2026)

Understanding Fairness in Software Engineering: Insights from Stack Exchange
par: Sesari, Emeralda, et autres
Publié: (2024)

Towards Better Answers: Automated Stack Overflow Post Updating
par: Mai, Yubo, et autres
Publié: (2024)

Representation Learning for Stack Overflow Posts: How Far are We?
par: He, Junda, et autres
Publié: (2023)

SOGPTSpotter: Detecting ChatGPT-Generated Answers on Stack Overflow
par: Ma, Suyu, et autres
Publié: (2026)

SBOM Challenges for Developers: From Analysis of Stack Overflow Questions
par: Otoda, Wataru, et autres
Publié: (2025)

The Influence of Code Comments on the Perceived Helpfulness of Stack Overflow Posts
par: Figl, Kathrin, et autres
Publié: (2025)

ATLAS: Automated Toolkit for Large-Scale Verified Code Synthesis
par: Baksys, Mantas, et autres
Publié: (2025)

Verifying components of Arm(R) Confidential Computing Architecture with ESBMC
par: Wu, Tong, et autres
Publié: (2024)

KBX: Verified Model Synchronization via Formal Bidirectional Transformation
par: Zhao, Jianhong, et autres
Publié: (2024)

VerifyThisBench: Generating Code, Specifications, and Proofs All at Once
par: Deng, Xun, et autres
Publié: (2025)

VeriFix: Verifying Your Fix Towards An Atomicity Violation
par: Li, Zhuang, et autres
Publié: (2025)

FullStack Bench: Evaluating LLMs as Full Stack Coders
par: Bytedance-Seed-Foundation-Code-Team, et autres
Publié: (2024)

Cross-Project Flakiness: A Case Study of the OpenStack Ecosystem
par: Xiao, Tao, et autres
Publié: (2026)

Decide: Knowledge-Based Version Incompatibility Detection in Deep Learning Stacks
par: Zhou, Zihan, et autres
Publié: (2024)