114 search results - page 14 / 23 » Correctness of Semantic Code Smell Detection Tools |
121
click to vote
FOAL
2009
ACM
15 years 4 months ago
2009
ACM
Aspect-oriented programming (AOP) fosters the coding of tangled concerns in separated units that are then woven together in the executable system. Unfortunately, the oblivious nat...
ASPLOS
2004
ACM
15 years 3 months ago
2004
ACM
Sampling has been successfully used to identify performance optimization opportunities. We would like to apply similar techniques to check program correctness. Unfortunately, samp...
COMPSAC
2006
IEEE
15 years 4 months ago
2006
IEEE
There exists a large variety of techniques to detect and correct software security vulnerabilities at the source code level, including human code reviews, testing, and static anal...
PLDI
2006
ACM
15 years 4 months ago
2006
ACM
The number and the importance of web applications have increased rapidly over the last years. At the same time, the quantity and impact of security vulnerabilities in such applica...
DATE
2010
IEEE
2010
IEEE
An error-correcting unordered code and hardware support for robust asynchronous global communication
15 years 3 months ago
A new delay-insensitive data encoding scheme for global asynchronous communication is introduced. The goal of this work is to combine the timing-robustness of delay-insensitive (i....