81 search results - page 13 / 17 » Scalable Shape Analysis for Systems Code |
CAV
2007
Springer
15 years 3 months ago
2007
Springer
We present new techniques for fast, accurate and scalable static data race detection in concurrent programs. Focusing our analysis on Linux device drivers allowed us to identify th...
108
click to vote
SP
2008
IEEE
14 years 9 months ago
2008
IEEE
We have developed an environment, based upon robust, existing, open source software, for tuning applications written using MPI, OpenMP or both. The goal of this effort, which inte...
102
click to vote
ECOOP
2012
Springer
13 years 3 days ago
2012
Springer
As a culture, object-orientation encourages programmers to create objects, both short- and long-lived, without concern for cost. Excessive object creation and initialization can ca...
93
Voted
PLDI
2010
ACM
15 years 1 months ago
2010
ACM
Runtime bloat degrades significantly the performance and scalability of software systems. An important source of bloat is the inefficient use of containers. It is expensive to cre...
ICPP
2005
IEEE
15 years 3 months ago
2005
IEEE
The Cosmic Microwave Background (CMB) is an exquisitely sensitive probe of the fundamental parameters of cosmology. Extracting this information is computationally intensive, requi...