Awardee: Mr. Huan Chen, PhD Student, UCD CASL
Huan is a Post-graduate student in the UCD School of Computer Science and Informatics with research interests in Formal Methods for Electronic Design Automation
Laboratory: Joao Marques-Silva
Nomination: Anton Belov
Citation:
Huan is doing an outstanding work in our group, and one of his recent papers was a 2nd runner-up for the best paper award at 19th IFIP/IEEE International Conference on Very Large Scale Integration (VLSI-SoC).
Details of the paper:
Title: Improvements to Satisfiability-Based Boolean Function Bi-Decomposition
Author: Huan Chen and Joao Marques-Silva
Conference: 19th IFIP/IEEE International Conference on Very Large Scale Integration (VLSI-SoC) Conference Website: http://www2.ee.cuhk.edu.hk/vlsisoc2011/
Total submitted paper: 151
Accepted regular papers: 48, Accepted posters: 27 This paper is the second runner-up of the total 48 regular papers (the 3rd of the total 48).