Applications of Formal Methods in Computer Architecture

This blog post samples a growing body of research which leverages formal methods techniques to solve computer architecture challenges. While...

The Time is Ripe for Disaggregated Systems

Despite being hidden from the end user, datacenters are ubiquitous in today’s life. Massive datacenter installations are the driving force...

Numerical Encoding for DNN Accelerators

DNN training is emerging as a popular compute-intensive workload. This blog post provides an overview of the recent research on numerical...

Battle for Secure Caches: Attacks and Defenses on Randomized Caches

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...

Memory-centric Computing Systems: What’s Old Is New Again

The Memory (Bandwidth and Capacity) Wall The “memory wall” problem, originally coined by Wulf and McKee in the 1990s, pointed out that the...

Featured Announcements

Commitment to diversity and inclusivity

We are committed to creating an environment that welcomes new ideas and perspectives, and where hostility or other harmful behaviors are not tolerated.

Denunciation of racism

We hope no one will ever experience racism at one of our sponsored events.


Announcements of book and tool releases, calls for award nominations, SIGARCH-focused announcements.

August 10, 2021
Architecture Spotlight 2021
view more...

Calls for Contributions

Calls for papers, tutorials, workshops, presentations and other technical contributions.

April 11, 2022 in Santa Clara Convention Center (Hybrid Conference)
Call for Papers: MLSys 2022
June 11, 2022 in New York, NY
Call for Papers: ISCA 2022
October 22, 2021 in MICRO 2021, virtual
Call for Papers: ACSMD Workshop@MICRO 2021
October 18, 2021 in Online
Call for Papers: Cloud@MICRO Workshop
view more...

Calls for Participation

Information on registering and attending conferences, workshops and other events.

October 8, 2021 in Virtual Conference
October 14, 2021 in Virtual Conference
NOCS 2021
October 18, 2021 in Virtual
MICRO 2021
September 27, 2021 in Virtual
PACT 2021
September 20, 2021 in Virtual
SEED 2021
view more...