ASPLOS
1994
ACM
14 years 3 months ago
1994
ACM
In the past decade, processor speed has become significantly faster than memory speed. Small, fast cache memories are designed to overcome this discrepancy, but they are only effe...
ASPLOS
1994
ACM
14 years 3 months ago
1994
ACM
Several researchers have proposed algorithms for basic block reordering. We call these branch alignment algorithms. The primary emphasis of these algorithms has been on improving ...
PLDI
2010
ACM
14 years 3 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...
PLDI
2010
ACM
14 years 3 months ago
2010
ACM
Verified compilers, such as Leroy's CompCert, are accompanied by a fully checked correctness proof. Both the compiler and proof are often constructed with an interactive proo...
PLDI
2010
ACM
14 years 3 months ago
2010
ACM
PLDI
2010
ACM
14 years 3 months ago
2010
ACM
PLDI
2010
ACM
14 years 3 months ago
2010
ACM
While iterative optimization has become a popular compiler optimization approach, it is based on a premise which has never been truly evaluated: that it is possible to learn the b...
TOOLS
1994
IEEE
14 years 3 months ago
1994
IEEE
The term software engineering arose in the 1960s to emphasize that the production of software should not be an art, as it was then (and sometimes still is today), but an engineeri...
TOOLS
1994
IEEE
14 years 3 months ago
1994
IEEE
TOOLS
1994
IEEE
14 years 3 months ago
1994
IEEE
