June 7, 2010
The Center for Silicon System Implementation (CSSI) will be well represented at this year's Design Automation Conference (DAC), where three of the center's affiliates will receive Association for Computing Machinery (ACM) awards.
School of Computer Science Dean and University Professor of Computer Science Randal Bryant, who also holds a courtesy appointment in electrical and computer engineering, has earned the ACM/IEEE A. Richard Newton Technical Impact award in Electronic Automation Design for his paper, "Graph-Based Algorithms for Boolean Function Manipulation" published in IEEE Transactions on Computers in 1986. The award honors a person or persons for outstanding technical contributions to electronic design automation based on the impact of a paper published at least 10 years before the presentation of the award. Bryant will accept the award, which honors design automation luminary A. Richard Newton, at the DAC's opening ceremony June 15.
Also at the conference, Professor Diana Marculescu will receive the ACM/Special Interest Group on Design Automation (SIGDA) Distinguished Service Award in recognition for her dedicated service as SIGDA Chair (2005-2009), and contributions to SIGDA, DAC and the electronic design automation profession. Marculescu has led and initiated several ACM/SIGDA activities as a volunteer since 2002, and she served as DAC's coordinator for Collocated Events and Workshops in 2009. She is the leader of the systems thrust within CSSI.
Himanshu Jain, a 2008 graduate of the School of Computer Science, will receive the ACM Outstanding Ph.D. Dissertation Award in Electronic Design Automation for his thesis, "Verification Using Stability Checking, Predicate Abstraction and Craig Interpolation." The award, established to encourage innovative, ground-breaking research in electronic design automation, is granted each year to a student whose Ph.D. dissertation makes the most substantial contribution to the theory and/or application in the electronic design automation field. Jain completed his Ph.D. research with FORE Systems Professor of Computer Science and Electrical and Computer Engineering Professor Edmund Clarke.
The DAC will take place June 13-18 in Anaheim, Calif. For more on the conference, visit http://www2.dac.com/.