118 search results - page 6 / 24 » Specifying and checking semantic atomicity for multithreaded... |
111
Voted
ENTCS
2007
14 years 11 months ago
2007
Transient faults that arise in large-scale software systems can often be repaired by re-executing the code in which they occur. Ascribing a meaningful semantics for safe re-execut...
98
Voted
POPL
2004
ACM
15 years 5 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...
122
click to vote
FMICS
2009
Springer
15 years 3 months ago
2009
Springer
The main limitation of software model checking is that, due to state explosion, it does not scale to real-world multi-threaded programs. One of the reasons is that current software...
187
Voted
POPL
2005
ACM
15 years 12 months ago
2005
ACM
We present a new approach to partial-order reduction for model checking software. This approach is based on initially exploring an arbitrary interleaving of the various concurrent...
CSFW
1998
IEEE
15 years 3 months ago
1998
IEEE
In previous work [16], we give a type system that guarantees that well-typed multithreaded programs are possibilistically noninterfering. If thread scheduling is probabilistic, ho...