Critical sections protected by locks are not confined to single threads; a trace model shows they can span multiple threads in general C/Pthread executions.
CRITICAL SECTIONS ARE NOT PER-THREAD 11 [NPSG09] Mayur Naik, Chang-Seo Park, Koushik Sen, and David Gay
2 Pith papers cite this work. Polarity classification is still indexing.
2
Pith papers citing it
citation-role summary
background 1
citation-polarity summary
years
2026 2verdicts
UNVERDICTED 2roles
background 1polarities
background 1representative citing papers
MNAL reduces human effort in bug report labeling by up to 95.8% for readability and 196% for identifiability while improving identification performance and working with various neural models.
citing papers explorer
-
Critical Sections Are Not Per-Thread: A Trace Semantics for Lock-Based Concurrency
Critical sections protected by locks are not confined to single threads; a trace model shows they can span multiple threads in general C/Pthread executions.
-
Human-Machine Co-Boosted Bug Report Identification with Mutualistic Neural Active Learning
MNAL reduces human effort in bug report labeling by up to 95.8% for readability and 196% for identifiability while improving identification performance and working with various neural models.