Proceedings of the 20th Design Automation Conference