by Caroline Trippel on Sep 27, 2021 | Tags: formal methods, program synthesis, Security
This blog post samples a growing body of research which leverages formal methods techniques to solve computer architecture challenges. While certainly not exhaustive, it is meant to serve as a starting point for further reading and brainstorming. Constructing Formal...
Read more...
by Sergey Blagodurov, Mike Ignatowski, Valentina Salapura on Sep 22, 2021 | Tags: Accelerators, Coherence, Datacenters, Interconnects, Memory, Networking, Systems
Despite being hidden from the end user, datacenters are ubiquitous in today’s life. Massive datacenter installations are the driving force behind social networking, search, streaming services, e-commerce, cloud, and the gig economy. Today’s datacenters are as...
Read more...
by Simla Burcu Harma, Mario Drumond, Babak Falsafi on Sep 20, 2021 | Tags: Accelerators, Machine Learning, Numerical Format, Tools
DNN training is emerging as a popular compute-intensive workload. This blog post provides an overview of the recent research on numerical encoding formats for DNN training, and presents the Hybrid Block Floating-Point (HBFP) format which reduces silicon provisioning...
Read more...
by Gururaj Saileshwar on Sep 15, 2021 | Tags: Cache, Computer Architecture, Randomization, Security
There is a battle ongoing in the realm of secure caches. Cache side-channels are a serious security problem as they allow an attacker to monitor a victim program’s execution and leak sensitive data like encryption keys, confidential IP, etc. A potent class of such...
Read more...
by Minsoo Rhu on Sep 9, 2021 | Tags: Datacenters, Emerging Technology, Interconnects, Memory, Memory Disaggregation, Processing-in-Memory
The Memory (Bandwidth and Capacity) Wall The “memory wall” problem, originally coined by Wulf and McKee in the 1990s, pointed out that the rate of improvement in microprocessor performance far exceeds the rate of improvement in DRAM memory speed. Such trend rendered...
Read more...
