DAC's Most Influential Paper Award
DAC’s Most Influential Paper Award recognizes papers that have demonstrated substantial academic and/or industrial impact since they were published.
DAC Most Influential Paper Awards were first presented during the 60th DAC to papers published in the first four decades of DAC.
Eligibility Criteria
Any DAC Research Paper published between (and including) the years of 2000 and 2019. View all published DAC Research Papers here. Invited or survey papers or presentations are not eligible for this award.
Nomination Information
Nominations must include the paper title, complete author list, DAC publication year, the paper in PDF format, a nomination statement of up to 200 words describing the impact the work has achieved and evidence of the impact, and the name, affiliation and contact information of the nominator.
The submission portal has closed. If you have any questions or concerns, please contact info@dac.com.
2000's "Chaff: Engineering an Efficient SAT Solver" by Matthew W. Moskewicz, Conor F. Madigan, Ying Zhao, Lintao Zhang, and Sharad Malik, 2001.
1960s "Sketch pad a man-machine graphical communication system" by Ivan E. Sutherland, 1964.
1970s "A logic design structure for LSI testability" by E.B. Eichelberger, T.W. Williams, 14th DAC, 1977.
1980s "Dagon: technology binding and local optimization by DAG matching” by K. Keutzer, 24th DAC, 1987.
1990s "Symbolic Model Checking Using SAT Procedures Instead of BDDs" by A. Biere, A. Cimatti, E.M. Clarke, M. Fujita, Y. Zhu, 36th DAC, 1999.
A previously published (between 1964 and 2000) DAC paper that has demonstrated substantial academic and/or industrial impact in one or more of DAC’s research topics at the time.