811 search results - page 58 / 163 » Probabilistic Semantics and Program Analysis |
111
Voted
SAC
2010
ACM
15 years 9 months ago
2010
ACM
Program bugs remain a major challenge for software developers and various tools have been proposed to help with their localization and elimination. Most present-day tools are base...
145
Voted
FLAIRS
2008
15 years 4 months ago
2008
Combining probability and first-order logic has been the subject of intensive research during the last ten years. The most well-known formalisms combining probability and some sub...
110
Voted
ISSTA
2009
ACM
15 years 9 months ago
2009
ACM
Atomicity is a key correctness specification for multithreaded programs. Prior dynamic atomicity analyses include precise tools, which report an error if and only if the observed...
120
Voted
TSE
2010
15 years 28 days ago
2010
—The Verifying Compiler (VC) project is a core component of the Dependable Systems Evolution Grand Challenge. The VC offers the promise of automatically proving that a program or...
127
Voted
ICPP
1998
IEEE
15 years 6 months ago
1998
IEEE
Most current compiler analysis techniques are unable to cope with the semantics introduced by explicit parallel and synchronization constructs in parallel programs. In this paper ...