Proceedings of the 51st Annual Design Automation Conference