523 search results - page 9 / 105 » A General Model for Reachability Testing of Concurrent Progr... |
VMCAI
2009
Springer
14 years 3 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...
POPL
2004
ACM
14 years 1 months ago
2004
ACM
The ability to summarize procedures is fundamental to building scalable interprocedural analyses. For sequential programs, procedure summarization is well-understood and used rout...
ASIAN
2004
Springer
14 years 1 months ago
2004
Springer
A central problem in extending the von Neumann architecture to petaflop computers with millions of hardware threads and with a shared memory is defining the memory model [Lam79,...
SIGSOFT
2003
ACM
14 years 9 months ago
2003
ACM
Program slicing is a technique to identify statements that may influence the computations at other statements. Precise slicing has been shown to be undecidable for concurrent prog...
ISSTA
2010
ACM
13 years 8 months ago
2010
ACM
The paper describes a generic, open-source infrastructure called SearchBestie (or S'Bestie for short) that we propose as a platform for experimenting with search-based techni...