Sciweavers

1491 search results - page 8 / 299
» Resource-Passing Concurrent Programming
Sort
View
ESOP
2008
Springer
13 years 10 months ago
Oracle Semantics for Concurrent Separation Logic
Aquinas Hobor, Andrew W. Appel, Francesco Zappa Na...
PPOPP
2012
ACM
12 years 4 months ago
Concurrent breakpoints
In program debugging, reproducibility of bugs is a key requirement. Unfortunately, bugs in concurrent programs are notoriously difficult to reproduce because bugs due to concurre...
Chang-Seo Park, Koushik Sen
ICSE
2010
IEEE-ACM
14 years 17 days ago
STORM: static unit checking of concurrent programs
Concurrency is inherent in today’s software. Unexpected interactions between concurrently executing threads often cause subtle bugs in concurrent programs. Such bugs are hard to...
Zvonimir Rakamaric
ATVA
2010
Springer
153views Hardware» more  ATVA 2010»
13 years 8 months ago
Non-monotonic Refinement of Control Abstraction for Concurrent Programs
ion for Concurrent Programs Ashutosh Gupta, Corneliu Popeea, and Andrey Rybalchenko Technische Universit
Ashutosh Gupta, Corneliu Popeea, Andrey Rybalchenk...