Activity


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).