Proceedings of the 31st annual Design Automation Conference