438 search results - page 15 / 88 » Bugs in the programs |
123
Voted
IPPS
2007
IEEE
15 years 11 months ago
2007
IEEE
Model checking, logging, debugging, and checkpointing/recovery are great tools to identify bugs in small sequential programs. The direct application of these techniques to the dom...
139
Voted
PLDI
2010
ACM
15 years 10 months ago
2010
ACM
Programming language specifications mandate static and dynamic analyses to preclude syntactic and semantic errors. Although individual languages are usually well-specified, comp...
158
click to vote
SIGCSE
2000
ACM
15 years 9 months ago
2000
ACM
Being exposed to well-written code is a valuable experience for students -- especially when the code is larger or more complex than they are currently capable of writing. In addit...
161
click to vote
VMCAI
2009
Springer
16 years 2 days 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...
150
click to vote
MICRO
2010
IEEE
15 years 3 months ago
2010
IEEE
Abstract--Parallel programming is hard, because it is impractical to test all possible thread interleavings. One promising approach to improve a multi-threaded program's relia...