Proceedings of the 4th Design Automation Conference