Service
Associate Editor, ACM Transactions on Design Automation of Electronic
Systems (TODAES). Invited to serve in this capacity in February 2012. I
will cover papers in the area of Logic, RTL and behavioral synthesis for a
3-year term.
Lead Guest Editor, VLSI Design . Invited in 2012 to serve as a lead Guest
Editor for a Special Issue of VLSI Design.
Associate Editor, IEEE Transactions on Computers. I served in this position
from 2010 to 2011.
Chair, ACM/SIGDA Logic/RTL Synthesis Technical Committee. I was invited to
serve on this committee, from Jun 2009-2010.
Area Editor (Electronics Design) for the book “GPU Computing Gems”. I was
invited to serve as Area Editor in 2009.
Member, Technical Program Committee, IEEE International Workshop on Logic
Synthesis (IWLS) 2005-07, 2010. Invited to join this committee in 2004.
Member, selection committee for ''ACM Best PhD Dissertation Award in EDA for
2009''
Track Chair for Logic Synthesis track, IEEE International Conference on
Computer-Aided Design (ICCAD) 2009-10. I was invited to chair the Logic
Synthesis track in Spring 2009.
Member, Technical Program Committee, Design Automation and Test in Europe
(DATE) conference, 2010. I was invited to join the DATE TPC for Track D13
(Logic and Technology Dependent Synthesis for Deep-Submicron Circuits).
General Chair, IEEE International Workshop on Logic Synthesis (IWLS-09).
Member, Technical Program Committee, International Symposium on Quality
Electronic Devices (ISQED) 2009, 2010.
Publicity Co-chair, ACM/IEEE Great Lakes Symposium on VLSI (GLS-VLSI),
2009. Invited to serve as Publicity Co-chair in 2008.
Panel Chair, International Test Synthesis Workshop (ITSW), 2009. Invited to
serve on the ITSW committee in 2008.
Technical Program Committee Chair, IEEE International Workshop on Logic
Synthesis (IWLS-08). I was invited to join this committee in 2007.
Track Co-chair, IEEE International Symposium on Circuits and Systems
(ISCAS) 2008-10. I was invited to co-chair the “Computer Aided Network
DEsign” (CANDE) track of ISCAS in 2007.
Member, Technical Program Committee, IEEE International Conference on
Computer-Aided Design (ICCAD) 2007, 2008, 2009. I was invited to join this
committee in 2007.
Member, Technical Program Committee, DesignCon, 2007-2009.
Member, Technical Program Committee, IEEE Great Lakes Symposium on VLSI
(GLSVLSI) 2008-10. I was invited to join this committee in late 2007.
Review Committee Member (RCM), IEEE International Symposium on Circuits and
Systems (ISCAS) 2007. I was invited to serve as an RCM for the “Computer
Aided Network DEsign” (CANDE) track.
Track Co-chair, IEEE International Conference on Computer Design
(ICCD-07). I was invited to co-chair the “Test and Methodologies” Track of
ICCD in 2007.
Technical Program Committee Member, IEEE International Workshop on Power
and Timing Modeling, Optimization and Simulation (PATMOS), 2004-06. Invited
to join this committee in 2003.
Member, Technical Program Committee, IEEE International Conference on
Computer Communications and Networks (ICCCN-04). Invited to join this
committee in 2003.
Invited to serve as Session Chair for several conferences including the
International Conference on Computer Aided Design (ICCAD 2008), Great Lakes
Symposium on VLSI (GLSVLSI) 2008, International Test Synthesis Workshop
(ITSW) 2007, the International Symposium on Circuits and Systems (ISCAS
2006, 2007), the Asia-South Pacific Design Automation Conference (ASP-DAC
2006), the Design Automation Conference (DAC) 2005, the International
Conference on Networking (ICON-03), and the Design Automation Conference
(2005).
Reviewed a large number of technical papers for numerous technical journals
and conferences (1993-2012) . Reviews include IEE Transactions (Computers
and Digital Techniques), IEEE Transactions on VLSI, IEEE Transactions on
CAD of ICs and Systems, Electronic Letters, IEEE Journal of Solid-State
Circuits, International Conference on VLSI Design, Design Automation
Conference (DAC), International Symposium on Low-Power Electronic Design
(ISLPED), Great-Lakes Symposium on VLSI (GLS-VLSI), International
Conference on Computer-Aided Design (ICCAD), International Conference on
Computer Design (ICCD), International Symposium on Circuits and Systems
(ISCAS), European Design Automation Conference (Euro-DAC-96), and
International Test Conference (ITC).