Editorial Activity:
- Associate Editor ACM Transactions on Design Automation of Electronic Systems (TODAES), 2012-present.
- Associate Editor, IEEE Design & Test of Computers (D&T), Real-Time Embedded Systems, 2011-2013.
- Associate Editor, Springer Journal of Electronic Testing (JETTA), 2012-2013.
- Guest Editor, IEEE Transactions on Computers (TC), Special section on System-Level Design & Validation of Heterogeneous Chip Multiprocessors, 2011-2012.
- Guest Editor, IEEE Design & Test of Computers (D&T), Special section on Transaction-Level Validation of Multicore Architectures, 2010-2011.
- Guest Editor, Springer Journal of Electronic Testing (JETTA), Special Issue on High-Level Design Validation and Test, April 2010.
- Guest Editor, Springer International Journal of Parallel Programming (IJPP), Special Issue on Nano/Bio-Inspired Applications and Architectures, 2009.
- Information Director ACM Transactions on Design Automation of Electronic Systems (TODAES), 2004-2012.
Organizing Committee Member:
- General Chair, IEEE International High Level Design Validation and Test Workshop (HLDVT), 2010.
- Track Chair, Application-Specific Architectures and Algorithms, ACM/IEEE International Conference on Harwdare-Software Co-Design and System Synthesis (CODES+ISSS), 2010, 2012.
- Track Chair, Verification, testing, pre- and post-silicon validation, failure analysis, ACM/SIGDA Ph.D. Forum at DAC (DAforum), 2010, 2011.
- Track Co-Chair, Systems, International Conference on Contemporary Computing (IC3), 2010.
- 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.
Technical Program Committee Member:
- IEEE/ACM International Conference on Computer-Aided Design (ICCAD), 2011.
- ACM/EDAA/IEEE Design Automation and Test in Europe (DATE), 2006, 2007, 2009, 2010, 2012.
- ACM/IEEE International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS), 2007, 2008, 2009, 2010, 2011, 2012.
- ACM/IEEE Asia and South Pacific Design Automation Conference (ASP-DAC), 2010, 2011.
- International Conference on VLSI Design (VLSI Design), 2007, 2008, 2009, 2010, 2011, 2012.
- International Symposium on VLSI Design, Automation and Test (VLSI-DAT), 2011.
- IEEE/IFIP International Conference on VLSI and System-on-Chip (VLSI-SoC), 2010.
- ACM Great Lakes Symposum on VLSI (GLSVLSI), 2009, 2010.
- IEEE Annual Symposium on VLSI (ISVLSI), 2009, 2010, 2012.
- 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:
- IEEE/ACM International Conference on Computer-Aided Design (ICCAD), 2011.
- International Conference on VLSI Design (VLSI Design), 2009, 2011, 2012.
- ACM Great Lakes Symposium on VLSI (GLSVLSI), 2008, 2009.
- IEEE Annual Symposium on VLSI (ISVLSI), 2009.
- ACM/IEEE/IFIP International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS), 2008.
- IEEE International High Level Design Validation and Test Workshop (HLDVT), 2004, 2007.
- IEEE International Workshop on Microprocessor Test and Verification (MTV), 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 Parallel and Distributed Systems (TPDS).
- IEEE Transactions on Circuits and Systems II (TCAS-II).
- IEEE Design and Test of Computers (D&T).
- Springer International Journal of Parallel Programming (IJPP).
- Springer Design Automation for Embedded Systems (DAES).
- Elsevier Journal of Parallel and Distributed Computing (JPDC).
- Journal on Satisfiability, Boolean Modeling and Computation (JSAT).
- 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 and South Pacific Design Automation Conference (ASPDAC).
- IEEE International Conference on VLSI Design (VLSI)
- ACM Great Lakes Symposum on VLSI (GLSVLSI).
- IEEE Annual Symposium on VLSI (ISVLSI).
- 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:
- Senior Member, Association for Computing Machinery (ACM).
- Senior Member, Institute of Electrical and Electronics Engineers (IEEE).
- ACM Special Interest Group on Design Automation (SIGDA).
President: Indian Graduate Students' Association, University of California, Irvine, 1999.