117
click to vote
VMCAI
15 years 7 months ago
2009 Springer 
There has been a lot of recent research on transaction-based concurrent programming, aimed at offering an easier concurrent programming paradigm that enables programmers to better...
93
Voted
VMCAI
15 years 7 months ago
2009 Springer 
Vectors and bags are basic collection data structures, which are used frequently in programs and specifications. Reasoning about these data structures is supported by established ...
107
click to vote
VMCAI
15 years 7 months ago
2009 Springer 
This paper describes the methods used in Empire, a tool to detect concurrency-related bugs, namely atomic-set serializability violations in Java programs. The correctness criterion...
100
Voted
VMCAI
15 years 7 months ago
2009 Springer
We present the first shape analysis for multithreaded programs that avoids the explicit enumeration of execution-interleavings. Our approach is to automatically infer a resource ...
VMCAI
15 years 7 months ago
2009 Springer
We study price-per-reward games on hybrid automata with strong resets. They generalise priced games previously studied and have applications in scheduling. We obtain decidability r...
|
Software Engineering