Buchumschlag

Verify Linearizability of Concurrent Stacks

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Wen, Tangliu
Format:	Preprint
Veröffentlicht:	2021
Schlagworte:	Software Engineering
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Assessing Large Language Models in Comprehending and Verifying Concurrent Programs across Memory Models
von: Jain, Ridhi, et al.
Veröffentlicht: (2025)

Formally and Empirically Verified Methodologies for Scalable Hierarchical Full-Stack Systems
von: Liu, Dong
Veröffentlicht: (2025)

ConCovUp: Effective Agent-Based Test Driver Generation for Concurrency Testing
von: Cai, Yuandao, et al.
Veröffentlicht: (2026)

Spatio-Temporal Analysis of Concurrent Networks
von: Schmidt, Heinz, et al.
Veröffentlicht: (2024)

FASTRIC: Prompt Specification Language for Verifiable LLM Interactions
von: Jin, Wen-Long
Veröffentlicht: (2025)

ExecVerify: White-Box RL with Verifiable Stepwise Rewards for Code Execution Reasoning
von: Tang, Lingxiao, et al.
Veröffentlicht: (2026)

Identifying Concurrency Bug Reports via Linguistic Patterns
von: Shao, Shuai, et al.
Veröffentlicht: (2026)

Sound Concurrent Traces for Online Monitoring Technical Report
von: Soueidi, Chukri, et al.
Veröffentlicht: (2024)

Deep Learning Based Concurrency Bug Detection and Localization
von: Feng, Zuocheng, et al.
Veröffentlicht: (2025)

Reputation Gaming in Stack Overflow
von: Mazloomzadeh, Iren, et al.
Veröffentlicht: (2021)

Crash-free Deductive Verifiers
von: Nauta, Wander, et al.
Veröffentlicht: (2026)

Efficient Decrease-and-Conquer Linearizability Monitoring
von: Han, Lee Zheng, et al.
Veröffentlicht: (2024)

MicroRacer: Detecting Concurrency Bugs for Cloud Service Systems
von: Deng, Zhiling, et al.
Veröffentlicht: (2025)

Verify Implementation Equivalence of Large Models
von: Zhan, Qi, et al.
Veröffentlicht: (2026)

Securing High-Concurrency Ticket Sales: A Framework Based on Microservice
von: Zhang, Zhiyong, et al.
Veröffentlicht: (2025)

An empirical study of question discussions on Stack Overflow
von: Zhu, Wenhan, et al.
Veröffentlicht: (2021)

Finding Important Stack Frames in Large Systems
von: Khvorov, Aleksandr, et al.
Veröffentlicht: (2025)

Understanding Usefulness in Developer Explanations on Stack Overflow
von: Obaidi, Martin, et al.
Veröffentlicht: (2026)

Verifier Warnings Do Not Improve Comprehensibility Prediction
von: De Silva, Nadeeshan, et al.
Veröffentlicht: (2026)

Formally Verified Binary-level Pointer Analysis
von: Verbeek, Freek, et al.
Veröffentlicht: (2025)

Gender Dynamics in Software Engineering: Insights from Research on Concurrency Bug Reproduction
von: Zaman, Tarannum Shaila, et al.
Veröffentlicht: (2025)

SysPro: Reproducing System-level Concurrency Bugs from Bug Reports
von: Zaman, Tarannum Shaila, et al.
Veröffentlicht: (2026)

FormalRTL: Verified RTL Synthesis at Scale
von: Li, Kezhi, et al.
Veröffentlicht: (2026)

Rethinking Technology Stack Selection with AI Coding Proficiency
von: Zhang, Xiaoyu, et al.
Veröffentlicht: (2025)

Towards Verifiably Safe Tool Use for LLM Agents
von: Doshi, Aarya, et al.
Veröffentlicht: (2026)

An End-to-End Approach for Fixing Concurrency Bugs via SHB-Based Context Extractor
von: Li, Zhuang, et al.
Veröffentlicht: (2026)

Understanding Fairness in Software Engineering: Insights from Stack Exchange
von: Sesari, Emeralda, et al.
Veröffentlicht: (2024)

Towards Better Answers: Automated Stack Overflow Post Updating
von: Mai, Yubo, et al.
Veröffentlicht: (2024)

Representation Learning for Stack Overflow Posts: How Far are We?
von: He, Junda, et al.
Veröffentlicht: (2023)

SOGPTSpotter: Detecting ChatGPT-Generated Answers on Stack Overflow
von: Ma, Suyu, et al.
Veröffentlicht: (2026)

SBOM Challenges for Developers: From Analysis of Stack Overflow Questions
von: Otoda, Wataru, et al.
Veröffentlicht: (2025)

The Influence of Code Comments on the Perceived Helpfulness of Stack Overflow Posts
von: Figl, Kathrin, et al.
Veröffentlicht: (2025)

ATLAS: Automated Toolkit for Large-Scale Verified Code Synthesis
von: Baksys, Mantas, et al.
Veröffentlicht: (2025)

Verifying components of Arm(R) Confidential Computing Architecture with ESBMC
von: Wu, Tong, et al.
Veröffentlicht: (2024)

KBX: Verified Model Synchronization via Formal Bidirectional Transformation
von: Zhao, Jianhong, et al.
Veröffentlicht: (2024)

VerifyThisBench: Generating Code, Specifications, and Proofs All at Once
von: Deng, Xun, et al.
Veröffentlicht: (2025)

VeriFix: Verifying Your Fix Towards An Atomicity Violation
von: Li, Zhuang, et al.
Veröffentlicht: (2025)

FullStack Bench: Evaluating LLMs as Full Stack Coders
von: Bytedance-Seed-Foundation-Code-Team, et al.
Veröffentlicht: (2024)

Cross-Project Flakiness: A Case Study of the OpenStack Ecosystem
von: Xiao, Tao, et al.
Veröffentlicht: (2026)

Decide: Knowledge-Based Version Incompatibility Detection in Deep Learning Stacks
von: Zhou, Zihan, et al.
Veröffentlicht: (2024)