Proceedings of the 20th annual workshop on Microprogramming
ACM Digital Library