Proceedings of the 44th annual Design Automation Conference - Levitan, Steven P. (ACM,)