Sciweavers

Share
20 search results - page 1 / 4
» Detecting bugs in register allocation
Sort
View
TOPLAS
2010
79views more  TOPLAS 2010»
8 years 8 months ago
Detecting bugs in register allocation
Yuqiang Huang, Bruce R. Childers, Mary Lou Soffa
ISCA
2012
IEEE
248views Hardware» more  ISCA 2012»
7 years 21 days ago
Watchdog: Hardware for safe and secure manual memory management and full memory safety
Languages such as C and C++ use unsafe manual memory management, allowing simple bugs (i.e., accesses to an object after deallocation) to become the root cause of exploitable secu...
Santosh Nagarakatte, Milo M. K. Martin, Steve Zdan...
TVLSI
2002
102views more  TVLSI 2002»
8 years 10 months ago
Algorithm level re-computing using implementation diversity: a register transfer level concurrent error detection technique
Concurrent error detection (CED) based on time redundancy entails performing the normal computation and the re-computation at different times and then comparing their results. Time...
Ramesh Karri, Kaijie Wu
ICCD
2006
IEEE
97views Hardware» more  ICCD 2006»
9 years 7 months ago
Pesticide: Using SMT Processors to Improve Performance of Pointer Bug Detection
Pointer bugs associated with dynamically-allocated objects resulting in out-of-bounds memory access are an important class of software bugs. Because such bugs cannot be detected e...
Jin-Yi Wang, Yen-Shiang Shue, T. N. Vijaykumar, Sa...
VMCAI
2009
Springer
9 years 5 months ago
Finding Concurrency-Related Bugs Using Random Isolation
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...
Nicholas Kidd, Thomas W. Reps, Julian Dolby, Manda...
books