


MICRO 2021 Trip Report
Like every other conference in the year 2021, thanks to the COVID-19 pandemic, MICRO-54 is once again being held in a virtual format over the Whova platform. While I miss the personal interactions you get with an in-person conference, I do appreciate the benefits of...
Uncertainty in Computation and Computer Architectures, Part 2
In Part 1 of this two-part post, I looked at some of the existing and possible avenues for computer architecture research relating to tracking uncertainty in computations, using the blackscholes benchmark from the PARSEC suite of computer architecture research benchmark applications as a working example. In this post, I’ll outline some existing and possible future paths for computer architects in computation with uncertainty. Just as architectural support and microarchitectural implementations of floating-point number representations improved the ease of implementation of real-valued computations, architectural and microarchitectural support for representations of uncertainty could enable new approaches to trustworthy computation on empirical data.

Happy Birthday, CASA! A Retrospective
With MICRO upon us, I would like to take time to reflect on the events running up to the establishment of CASA, or the Computer Architecture Student Association. This month we will be celebrating our first anniversary as an active organization! We at CASA, feel we...
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 certainly not exhaustive, it is meant to serve as a starting point for further reading and brainstorming. Constructing Formal...