Proceedings of the 17th annual workshop on Microprogramming