Professional Services

Organizing Committee Member:

Program Chair, IEEE International High Level Design Validation and Test Workshop (HLDVT), 2009.
Track Chair, Synthesis and Verification, International Conference on VLSI Design (VLSI Design), 2009.
Publications Chair, IEEE International High Level Design Validation and Test Workshop (HLDVT), 2008.

Editorial Activity:

Guest Editor, Springer International Journal of Parallel Programming (IJPP), Special Issue on Nano/Bio-Inspired Applications, Architectures and Software, 2008-2009.
Information Director ACM Transactions on Design Automation of Electronic Systems (TODAES), 2004-present.

Technical Program Committee Member:

ACM/EDAA/IEEE Design Automation and Test in Europe (DATE), 2006, 2007, 2009.
International Conference on VLSI Design (VLSI Design), 2007, 2008, 2009.
ACM/IEEE/IFIP International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS), 2007, 2008.
ACM Great Lakes Symposum on VLSI (GLSVLSI), 2009.
IEEE Annual Symposium on VLSI (ISVLSI), 2009.
International Workshop on Constraints in Formal Verification (CFV), 2008.
IFIP International Conference on Embedded and Ubiquitous Computing (EUC), 2007.
International Symposium on Parallel Architectures, Algorithms, and Networks (I-SPAN), 2007.
IEEE International Symposium on Circuits and Systems (ISCAS), 2005, 2006.

Session Chair:

International Conference on VLSI Design (VLSI Design), 2009.
ACM/IEEE/IFIP International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS), 2008.
ACM Great Lakes Symposium on VLSI (GLSVLSI), 2008.
IEEE International High Level Design Validation and Test Workshop (HLDVT), 2007.
IEEE International Workshop on Microprocessor Test and Verification (MTV), 2004.
IEEE International High Level Design Validation and Test Workshop (HLDVT), 2004.

Reviewer:

Journals:
- ACM Transactions on Architecture and Code Optimization (TACO).
- ACM Transactions on Design Automation of Electronic Systems (TODAES).
- ACM Transactions on Embedded Computing Systems (TECS).
- IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (TCAD).
- IEEE Transactions on Very Large Scale Integration Systems (TVLSI).
- IEEE Transactions on Computers (Computers).
- IEEE Transactions on Circuits and Systems II (TCAS-II).
- IEEE Design and Test of Computers (D&T).
- Kluwer Design Automation for Embedded Systems (DAES).
Conferences:
- IEEE/ACM Design Automation Conference (DAC).
- IEEE International Conference on Computer-Aided Design (ICCAD).
- Design Automation and Test in Europe (DATE).
- International Conference on Compilers, Architectures, and Synthesis for Embedded Systems (CASES).
- Asia South Pacific Design Automation Conference (ASPDAC).
- IEEE International Conference on VLSI Design (VLSI)
- IEEE/ACM/IFIP International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS)
- IEEE Asian Test Symposium (ATS)
- International SoC Design Conference (ISOCC)
- IEEE International Symposium on Circuits and Systems (ISCAS)

Memberships:

President: Indian Graduate Students' Association, University of California, Irvine, 1999.