Sciweavers

1499 search results - page 17 / 300
» Chopping Concurrent Programs
Sort
View
114
Voted
PLDI
2009
ACM
15 years 11 months ago
Lightweight annotations for controlling sharing in concurrent data structures
Zachary R. Anderson, David Gay, Mayur Naik
104
Voted
ESOP
2007
Springer
15 years 10 months ago
A Concurrent Calculus with Atomic Transactions
Lucia Acciai, Michele Boreale, Silvano Dal-Zilio
94
Voted
SIGADA
1999
Springer
15 years 9 months ago
Formal modeling of synchronization methods for concurrent objects in Ada 95
Ravi K. Gedela, Sol M. Shatz, Haiping Xu
102
Voted
ESOP
2008
Springer
15 years 6 months ago
Oracle Semantics for Concurrent Separation Logic
Aquinas Hobor, Andrew W. Appel, Francesco Zappa Na...
ICSE
2012
IEEE-ACM
13 years 7 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