107 search results - page 14 / 22 » Static Detection of Dynamic Memory Errors |
PPOPP
2011
ACM
13 years 1 months ago
2011
ACM
In recent years, GPUs have emerged as an extremely cost-effective means for achieving high performance. Many application developers, including those with no prior parallel program...
HIPC
2003
Springer
14 years 3 months ago
2003
Springer
Thread migration/checkpointing is becoming indispensable for load balancing and fault tolerance in high performance computing applications, and its success depends on the migration...
PLDI
2010
ACM
14 years 3 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...
ECOOP
2006
Springer
14 years 10 days ago
2006
Springer
Real-time systems are notoriously difficult to design and implement, and, as many real-time problems are safety-critical, their solutions must be reliable as well as efficient and ...
ASPLOS
2010
ACM
14 years 5 months ago
2010
ACM
This paper introduces a new abstraction to accelerate the readbarriers and write-barriers used by language runtime systems. We exploit the fact that, dynamically, many barrier exe...