461 search results - page 1 / 93 » Verifying parallel programs with dynamic communication struc... |
66
Voted
TCS
2010
14 years 9 months ago
2010
ESOP
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. Advanced multi-threaded programs apply concurrency concepts in sophisticated ways. For instance, they use fine-grained locking to increase parallelism and change locking...
79
Voted
SE
2010
15 years 19 days ago
2010
CC
2005
Springer
15 years 4 months ago
2005
Springer
Abstract. This tool demonstration presents Hob, a system for verifying data structure consistency for programs written in a general-purpose programming language. Our tool enables t...
118
click to vote
OOPSLA
2010
Springer
14 years 9 months ago
2010
Springer
In this paper we propose a communication-centric approach to specifying and checking how multithreaded programs use shared memory to perform inter-thread communication. Our approa...