Sciweavers

1499 search results - page 17 / 300
» Chopping Concurrent Programs
Sort
View
131
Voted
PLDI
2009
ACM
16 years 1 months ago
Lightweight annotations for controlling sharing in concurrent data structures
Zachary R. Anderson, David Gay, Mayur Naik
129
Voted
ESOP
2007
Springer
16 years 16 days ago
A Concurrent Calculus with Atomic Transactions
Lucia Acciai, Michele Boreale, Silvano Dal-Zilio
118
Voted
SIGADA
1999
Springer
15 years 10 months ago
Formal modeling of synchronization methods for concurrent objects in Ada 95
Ravi K. Gedela, Sol M. Shatz, Haiping Xu
128
Voted
ESOP
2008
Springer
15 years 8 months ago
Oracle Semantics for Concurrent Separation Logic
Aquinas Hobor, Andrew W. Appel, Francesco Zappa Na...
ICSE
2012
IEEE-ACM
13 years 8 months ago
Axis: Automatically fixing atomicity violations through solving control constraints
Abstract—Atomicity, a general correctness criterion in concurrency programs, is often violated in real-world applications. The violations are difficult for developers to fix, m...
Peng Liu, Charles Zhang