Sciweavers

114 search results - page 8 / 23
» Correctness of Semantic Code Smell Detection Tools
Sort
View
SIGCSE
2000
ACM
155views Education» more  SIGCSE 2000»
15 years 2 months ago
A study of common pitfalls in simple multi-threaded programs
It is generally acknowledged that developing correct multithreaded codes is difficult, because threads may interact with each other in unpredictable ways. The goal of this work i...
Sung-Eun Choi, E. Christopher Lewis
C3S2E
2008
ACM
15 years 11 days ago
Context-sensitive cut, copy, and paste
Creating and editing source code are tedious and error-prone processes. One important source of errors in editing programs is the failure to correctly adapt a block of copied code...
Reid Kerr, Wolfgang Stürzlinger
SIGOPS
2011
215views Hardware» more  SIGOPS 2011»
14 years 5 months ago
Log-based architectures: using multicore to help software behave correctly
While application performance and power-efficiency are both important, application correctness is even more important. In other words, if the application is misbehaving, it is li...
Shimin Chen, Phillip B. Gibbons, Michael Kozuch, T...
IWPC
2009
IEEE
15 years 5 months ago
Standing on the shoulders of giants - A data fusion approach to design pattern detection
Identification of design patterns can deliver important information to designers. Therefore, automated design pattern detection (DPD) is highly desirable when it comes to underst...
Günter Kniesel, Alexander Binun
POPL
2004
ACM
15 years 10 months ago
Atomizer: a dynamic atomicity checker for multithreaded programs
Ensuring the correctness of multithreaded programs is difficult, due to the potential for unexpected interactions between concurrent threads. Much previous work has focused on det...
Cormac Flanagan, Stephen N. Freund