:: Library Catalog

Copertina

Salvato in:

Dettagli Bibliografici
Autore principale:	Wen, Tangliu
Natura:	Preprint
Pubblicazione:	2021
Soggetti:	Software Engineering
Accesso online:	https://arxiv.org/abs/2110.05801
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Assessing Large Language Models in Comprehending and Verifying Concurrent Programs across Memory Models
di: Jain, Ridhi, et al.
Pubblicazione: (2025)

Formally and Empirically Verified Methodologies for Scalable Hierarchical Full-Stack Systems
di: Liu, Dong
Pubblicazione: (2025)

Efficient Decrease-and-Conquer Linearizability Monitoring
di: Han, Lee Zheng, et al.
Pubblicazione: (2024)

ConCovUp: Effective Agent-Based Test Driver Generation for Concurrency Testing
di: Cai, Yuandao, et al.
Pubblicazione: (2026)

Spatio-Temporal Analysis of Concurrent Networks
di: Schmidt, Heinz, et al.
Pubblicazione: (2024)

FASTRIC: Prompt Specification Language for Verifiable LLM Interactions
di: Jin, Wen-Long
Pubblicazione: (2025)

Identifying Concurrency Bug Reports via Linguistic Patterns
di: Shao, Shuai, et al.
Pubblicazione: (2026)

Sound Concurrent Traces for Online Monitoring Technical Report
di: Soueidi, Chukri, et al.
Pubblicazione: (2024)

Deep Learning Based Concurrency Bug Detection and Localization
di: Feng, Zuocheng, et al.
Pubblicazione: (2025)

ExecVerify: White-Box RL with Verifiable Stepwise Rewards for Code Execution Reasoning
di: Tang, Lingxiao, et al.
Pubblicazione: (2026)

Reputation Gaming in Stack Overflow
di: Mazloomzadeh, Iren, et al.
Pubblicazione: (2021)

Crash-free Deductive Verifiers
di: Nauta, Wander, et al.
Pubblicazione: (2026)

MicroRacer: Detecting Concurrency Bugs for Cloud Service Systems
di: Deng, Zhiling, et al.
Pubblicazione: (2025)

FormalRTL: Verified RTL Synthesis at Scale
di: Li, Kezhi, et al.
Pubblicazione: (2026)

Verify Implementation Equivalence of Large Models
di: Zhan, Qi, et al.
Pubblicazione: (2026)

Securing High-Concurrency Ticket Sales: A Framework Based on Microservice
di: Zhang, Zhiyong, et al.
Pubblicazione: (2025)

An empirical study of question discussions on Stack Overflow
di: Zhu, Wenhan, et al.
Pubblicazione: (2021)

Verifier Warnings Do Not Improve Comprehensibility Prediction
di: De Silva, Nadeeshan, et al.
Pubblicazione: (2026)

Formally Verified Binary-level Pointer Analysis
di: Verbeek, Freek, et al.
Pubblicazione: (2025)

Finding Important Stack Frames in Large Systems
di: Khvorov, Aleksandr, et al.
Pubblicazione: (2025)

Understanding Usefulness in Developer Explanations on Stack Overflow
di: Obaidi, Martin, et al.
Pubblicazione: (2026)

Gender Dynamics in Software Engineering: Insights from Research on Concurrency Bug Reproduction
di: Zaman, Tarannum Shaila, et al.
Pubblicazione: (2025)

SysPro: Reproducing System-level Concurrency Bugs from Bug Reports
di: Zaman, Tarannum Shaila, et al.
Pubblicazione: (2026)

FullStack Bench: Evaluating LLMs as Full Stack Coders
di: Bytedance-Seed-Foundation-Code-Team, et al.
Pubblicazione: (2024)

Towards Verifiably Safe Tool Use for LLM Agents
di: Doshi, Aarya, et al.
Pubblicazione: (2026)

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

Rethinking Technology Stack Selection with AI Coding Proficiency
di: Zhang, Xiaoyu, et al.
Pubblicazione: (2025)

LitmusKt: Concurrency Stress Testing for Kotlin
di: Lochmelis, Denis, et al.
Pubblicazione: (2025)

ATLAS: Automated Toolkit for Large-Scale Verified Code Synthesis
di: Baksys, Mantas, et al.
Pubblicazione: (2025)

Verifying components of Arm(R) Confidential Computing Architecture with ESBMC
di: Wu, Tong, et al.
Pubblicazione: (2024)

KBX: Verified Model Synchronization via Formal Bidirectional Transformation
di: Zhao, Jianhong, et al.
Pubblicazione: (2024)

VerifyThisBench: Generating Code, Specifications, and Proofs All at Once
di: Deng, Xun, et al.
Pubblicazione: (2025)

VeriFix: Verifying Your Fix Towards An Atomicity Violation
di: Li, Zhuang, et al.
Pubblicazione: (2025)

Understanding Fairness in Software Engineering: Insights from Stack Exchange
di: Sesari, Emeralda, et al.
Pubblicazione: (2024)

Towards Better Answers: Automated Stack Overflow Post Updating
di: Mai, Yubo, et al.
Pubblicazione: (2024)

Representation Learning for Stack Overflow Posts: How Far are We?
di: He, Junda, et al.
Pubblicazione: (2023)

SOGPTSpotter: Detecting ChatGPT-Generated Answers on Stack Overflow
di: Ma, Suyu, et al.
Pubblicazione: (2026)

SBOM Challenges for Developers: From Analysis of Stack Overflow Questions
di: Otoda, Wataru, et al.
Pubblicazione: (2025)

The Influence of Code Comments on the Perceived Helpfulness of Stack Overflow Posts
di: Figl, Kathrin, et al.
Pubblicazione: (2025)

An Execution-Verified Multi-Language Benchmark for Code Semantic Reasoning
di: Li, Yikun, et al.
Pubblicazione: (2026)