8706 search results - page 286 / 1742 » Learning Subjective Language |
109
Voted
PLDI
2012
ACM
13 years 5 months ago
2012
ACM
In this article we present a general method for achieving global static analyzers that are precise, sound, yet also scalable. Our method generalizes the sparse analysis techniques...
144
Voted
ICSE
2008
IEEE-ACM
16 years 3 months ago
2008
IEEE-ACM
An open source project typically maintains an open bug repository so that bug reports from all over the world can be gathered. When a new bug report is submitted to the repository...
117
Voted
EUROSYS
2008
ACM
15 years 11 months ago
2008
ACM
Programs written in type-unsafe languages such as C and C++ incur costly memory errors that result in corrupted data structures, program crashes, and incorrect results. We present...
106
Voted
ASPLOS
2010
ACM
15 years 9 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...
118
Voted
OOPSLA
2005
Springer
15 years 8 months ago
2005
Springer
A number of effective error detection tools have been built in recent years to check if a program conforms to certain design rules. An important class of design rules deals with s...