EDBT 2026 Demo / reviewers in the wild / expert
Raksit Ashok
dblp:15/4687
· DBLP profile ↗
7ranked-venue papers
2as first author
0since 2021 · last 2011
—ORCID · none
Domains — the database's venue-derived domains; a paper can count in several
Systems, architecture and hardware · 7 · 2 first-authorSoftware engineering, systems software and programming languages · 3 · 1 first-author
Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.
| Computer architecture, parallel and distributed computing, and storage systems
3 papers |
Energy-efficient computing · 50% Memory systems · 47% Embedded and real-time systems · 2% | |
| Software engineering, system software, and programming languages
1 paper |
Compilers and program optimization · 100% |
Topics — the 11 heaviest of 13, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Memory systems › cache
cache organization |
0.0 | 1 | 2004 | Coupling compiler-enabled and conventional memory accessing for energy efficiency · ACM Trans. Comput. Syst. 2004 |
Energy-efficient computing
memory system energy |
0.0 | 1 | 2004 | Coupling compiler-enabled and conventional memory accessing for energy efficiency · ACM Trans. Comput. Syst. 2004 |
Energy-efficient computing › low-power design
power optimization |
0.0 | 1 | 2004 | Coupling compiler-enabled and conventional memory accessing for energy efficiency · ACM Trans. Comput. Syst. 2004 |
Memory systems
cache design |
0.0 | 1 | 2002 | Cool-Mem: combining statically speculative memory accessing with selective address translation for energy efficiency · ASPLOS 2002 |
Energy-efficient computing › power management › memory power management
cache energy reduction |
0.0 | 1 | 2001 | Cool-cache for hot multimedia · MICRO 2001 |
Memory systems
cache management |
0.0 | 1 | 2001 | Cool-cache for hot multimedia · MICRO 2001 |
Memory systems › cache › CPU cache
data cache |
0.0 | 1 | 2001 | Cool-cache for hot multimedia · MICRO 2001 |
Energy-efficient computing
power management |
0.0 | 1 | 2001 | Cool-cache for hot multimedia · MICRO 2001 |
Memory systems › memory management › virtual memory
address translation |
0.0 | 2 | 2004 | Coupling compiler-enabled and conventional memory accessing for energy efficiency · ACM Trans. Comput. Syst. 2004 Cool-Mem: combining statically speculative memory accessing with selective address translation for energy efficiency · ASPLOS 2002 |
Memory systems › memory management
virtual memory |
0.0 | 1 | 2002 | Cool-Mem: combining statically speculative memory accessing with selective address translation for energy efficiency · ASPLOS 2002 |
Embedded and real-time systems › soft real-time systems
real-time multimedia |
0.0 | 1 | 2001 | Cool-cache for hot multimedia · MICRO 2001 |
Methods — techniques the papers use, named apart from their topics
compiler-enabled cache disambiguation · 0.1speculative cache access · 0.1static speculation · 0.0
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2011 | Automated locality optimization based on the reuse distance of string operationsabstractString operations such as memcpy, memset and memcmp account for a nontrivial amount of Google datacenter resources. String operations hurt processor cache efficiency when the data accessed is not reused shortly thereafter. Such cache pollution can be avoided by using nontemporal memory access to bypass L2/L3 caches. As reuse distance varies greatly across different memcpy static call contexts in the same program, an efficient solution needs to be call context sensitive. We propose a novel solution to this problem using the page protection mechanism to measure reuse distance and the GCC feedback directed optimization mechanism to generate nontemporal memory access instructions at the appropriate static code contexts. First, the compiler inserts instrumentation for calls to string operations. Then a run time library measures reuse distance using the page protection mechanism during a representative profiling run. The compiler finally generates calls to specialized string operations that use nontemporal operations for the arguments with large reuse distance. We present a full implementation and initial results including speedup on large datacenter applications. Silvius Rus, Raksit Ashok, Xinliang David Li |
CGO | 2 |
| 2010 | Lightweight feedback-directed cross-module optimizationabstractCross-module inter-procedural compiler optimization (IPO) and Feedback-Directed Optimization (FDO) are two important compiler techniques delivering solid performance gains. The combination of IPO and FDO delivers peak performance, but also multiplies both techniques' usability problems. In this paper, we present LIPO, a novel static IPO framework, which integrates IPO and FDO. Compared to existing approaches, LIPO no longer requires writing of the compiler's intermediate representation, eliminates the link-time inter-procedural optimization phase entirely, and minimizes code re-generation overhead, thus improving scalability by an order of magnitude. Compared to an FDO baseline, and without further specific tuning, LIPO improves performance of SPEC2006 INT by 2.5%, and of SPEC2000 INT by 4.4%, with up to 23% for one benchmarks. We confirm our scalability results on a set of large industrial applications, demonstrating 2.9% performance improvements on average. Compile time overhead for full builds is less than 30%, incremental builds take a few seconds on average, and storage requirements increase by only 24%, all compared to the FDO baseline. Xinliang David Li, Raksit Ashok, Robert Hundt |
CGO | 2 |
| 2008 | Synchronization coherence: A transparent hardware mechanism for cache coherence and fine-grained synchronization
Yao Guo 0001, Vladimir Vlassov, Raksit Ashok, Richard Weiss 0001, Csaba Andras Moritz |
J. Parallel Distributed Comput. | 3 |
| 2004 | Coupling compiler-enabled and conventional memory accessing for energy efficiencyabstractThis article presents Cool-Mem, a family of memory system architectures that integrate conventional memory system mechanisms, energy-aware address translation, and compiler-enabled cache disambiguation techniques, to reduce energy consumption in general-purpose architectures. The solutions provided in this article leverage on interlayer tradeoffs between architecture, compiler, and operating system layers. Cool-Mem achieves power reduction by statically matching memory operations with energy-efficient cache and virtual memory access mechanisms. It combines statically speculative cache access modes, a dynamic content addressable memory-based (CAM-based) Tag-Cache used as backup for statically mispredicted accesses, different conventional multilevel associative cache organizations, embedded protection checking along all cache access mechanisms, as well as architectural organizations to reduce the power consumed by address translation in virtual memory. Because it is based on speculative static information, a superset of the predictable program information available at compile-time, our approach removes the burden of provable correctness in compiler analysis passes that extract static information. This makes Cool-Mem highly practical, applicable for large and complex applications, without having any limitations due to complexity issues in our compiler passes or the presence of precompiled static libraries. Based on extensive evaluation, for both SPEC2000 and Mediabench applications, we obtain from 6% to 19% total energy savings in the processor, with performance ranging from 1.5% degradation to 6% improvement, for the applications studied. We have also compared Cool-Mem to several prior arts and have found Cool-Mem to perform better in almost all cases. Raksit Ashok, Saurabh Chheda, Csaba Andras Moritz |
ACM Trans. Comput. Syst. | 1 |
| 2003 | Cool-Cache: A compiler-enabled energy efficient data caching framework for embedded/multimedia processorsabstractThe unique characteristics of multimedia/embedded applications dictate media-sensitive architectural and compiler approaches to reduce the power consumption of the data cache. Our goal is exploring energy savings for embedded/multimedia workloads without sacrificing performance. Here, we present two complementary media-sensitive energy-saving techniques that leverage static information. While our first technique is applicable to existing architectures, in our second technique we adopt a more radical approach and propose a new tagless caching architecture by reevaluating the architecture--compiler interface.Our experiments show that substantial energy savings are possible in the data cache. Across a wide range of cache and architectural configurations, we obtain up to 77% energy savings, while the performance varies from 14% improvement to 4% degradation depending on the application. Osman S. Unsal, Raksit Ashok, Israel Koren, C. Mani Krishna 0001, Csaba Andras Moritz |
ACM Trans. Embed. Comput. Syst. | 2 |
| 2002 | Cool-Mem: combining statically speculative memory accessing with selective address translation for energy efficiencyabstractThis paper presents Cool-Mem, a family of memory system architectures that integrate conventional memory system mechanisms, energy-aware address translation, and compiler-enabled cache disambiguation techniques, to reduce energy consumption in general purpose architectures. It combines statically speculative cache access modes, a dynamic CAM based Tag-Cache used as backup for statically mispredicted accesses, various conventional multi-level associative cache organizations, embedded protection checking along all cache access mechanisms, as well as architectural organizations to reduce the power consumed by address translation in virtual memory. Because it is based on speculative static information, the approach removes the burden of provable correctness in compiler analysis passes that extract static information. This makes Cool-Mem applicable for large and complex applications, without having any limitations due to complexity issues in the compiler passes or the presence of precompiled static libraries. Based on extensive evaluation, for both SPEC2000 and Mediabench applications, 12% to 20% total energy savings are obtained in the processor, with performance ranging from 1.2% degradation to 8% improvement, for the applications studied. Raksit Ashok, Saurabh Chheda, Csaba Andras Moritz |
ASPLOS | 1 |
| 2001 | Cool-cache for hot multimediaabstractWe claim that the unique characteristics of multimedia applications dictate media-sensitive architectural and compiler approaches to reduce the power consumption of the data cache. Our motivation is exploring energy savings for real-time multimedia workloads without sacrificing performance. In this paper, we present two complementary media-sensitive energy-saving techniques that leverage static information. While our first technique is applicable to existing architectures, in our second technique we adopt a more radical approach and propose a new caching architecture by re-evaluating the architecture-compiler interface. Our experiments show that substantial energy savings are possible in the data cache. Across a wide range of cache and architectural configurations we obtain up to 77% energy savings, while the performance varies from 14% improvement to 4% degradation depending on the application. Osman S. Unsal, Raksit Ashok, Israel Koren, C. Mani Krishna 0001, Csaba Andras Moritz |
MICRO | 2 |