Journals

  • Associate Editor: IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (2014-)

  • Associate Editor: ACM Transactions in Embedded Computing Systems (2006-2013)

  • Associate Editor: Sustainable Computing: Informatics and Systems (2010-2012)

  • Associate Editor: IEEE Transactions on Industrial Informatics (2008-10)

    Conferences

  • Program Committee: IEEE/ACM International Conference on Computer-Aided Design (ICCAD): 2014.

  • Program Committee: The 14th ACM International Conference on Embedded Software (EMSOFT): 2014.

  • Program Committee: Fifth International Symposium on Networks-on-Chips (NoCS): 2014

  • Program Committee: ACM-IEEE Intl. Conf. on Formal Methods and Models for Codesign (MEMOCODE): 2014

  • Program Committee: 22nd Annual Symposium on High-Performance Interconnects (HotI): 2014

  • Program Committee: Conference on Design, Automation and Test in Europe (DATE): 2014.

  • General Chair: Embedded Systems Week (ESWEEK): 2013.

  • Program Committee: ACM-IEEE Intl. Conf. on Formal Methods and Models for Codesign (MEMOCODE): 2013

  • Program Committee: Fourth International Green Computing Conference (IGCC): 2013.

  • Program Committee: Sixth International Symposium on Networks-on-Chips (NoCS): 2013

  • Program Committee: Conference on Design, Automation and Test in Europe (DATE): 2013.

  • General Vice-Chair: Embedded Systems Week (ESWEEK): 2012.

  • Program Committee: International Symposium on Computer Architecture and High Performance Computing (SBAC-PAD): 2012.

  • Program Co-chair: Tenth ACM-IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE): 2012

  • Program Committee: Optical Interconnects Conference: 2012

  • Program Committee: Fifth International Symposium on Networks-on-Chips (NoCS): 2012

  • Program Committee: ACM/IEEE Second International Conference on Cyber-Physical Systems (ICCPS): 2012.

  • Program Committee: Conference on Design, Automation and Test in Europe (DATE): 2012.

  • Program Committee: The 11th ACM International Conference on Embedded Software (EMSOFT): 2011.

  • Program Committee: IEEE International Conference on High Performance Computing (HiPC2011): 2011.

  • Program Committee: Ninth ACM-IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE): 2011

  • Program Co-chair: IEEE Symposium on Industrial Embedded Systems (SIES): 2011.

  • Program Committee and Publication Chair: Fifth International Symposium on Networks-on-Chips (NoCS): 2011

  • Program Committee: ACM/IEEE Second International Conference on Cyber-Physical Systems (ICCPS): 2011.

  • Program Committee: WINDS 2010: Workshop on the Interaction between Nanophotonic Devices and Systems: 2010

  • Program Committee: Conference on Design, Automation and Test in Europe (DATE): 2011.

  • Program Co-chair: The 10th ACM International Conference on Embedded Software (EMSOFT): 2010.

  • Program Co-chair: Fourth International Symposium on Networks-on-Chips (NoCS): 2010

  • Program Co-chair: Eighth ACM-IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE): 2010

  • Program Committee: First International Green Computing Conference (IGCC): 2010.

  • Program Committee: Design Automation Conference (DAC): 2010.

  • Program Committee: Conference on Design, Automation and Test in Europe (DATE): 2010.

  • Local Arrangement Co-chair: The 42nd Annual IEEE/ACM International Symposium on Microarchitecture: 2009.

  • Program Committee: ACM Conference on Embedded Software (EMSOFT): 2009.

  • Tutorial Chair: Embedded Systems Week (ESWEEK): 2009.

  • Local Arrangement Co-chair and Program Committee: IEEE Symposium on High-Performance Interconnects (HotI): 2009.

  • Program Committee: Design Automation Conference (DAC): 2009.

  • Program Committee: ACM-IEEE Intl. Conf. on Formal Methods and Models for Codesign (MEMOCODE): 2009

  • Program Co-chair: IEEE Symposium on Industrial Embedded Systems (SIES): 2009.

  • Program Committee and Publication Chair: Third International Symposium on Networks-on-Chips (NoCS): 2009

  • Program Committee: Conference on Design, Automation and Test in Europe (DATE): 2009.

  • Program Committee: The 12th International Conference on Hybrid Systems: Computation and Control (HSCC): 2009

  • Program Committee and Session Chair: IEEE/ACM International Conference on Computer-Aided Design (ICCAD): 2008.

  • Tutorial Chair: Embedded Systems Week (ESWEEK): 2008.

  • Session Chair and Panel Moderator: IEEE Symposium on High-Performance Interconnects (HotI): 2008.

  • Program Committee: Design Automation Conference (DAC): 2008.

  • Program Committee and Panel Chair: ACM-IEEE Intl. Conf. on Formal Methods and Models for Codesign (MEMOCODE): 2008

  • Program Committee and Publication Chair: Second International Symposium on Networks-on-Chips (NoCS): 2008

  • Program Committee: Conference on Design, Automation and Test in Europe (DATE): 2008.

  • Program Committee: IEEE/ACM International Conference on Computer-Aided Design (ICCAD): 2007.

  • Program Committee: ACM Conference on Embedded Software (EMSOFT): 2007. This is part of Embedded Systems Week 2007.

  • Program Committee and Local Arrangement Chair: First International Symposium on Networks-on-Chips (NoCS): 2007

  • Program Committee and Session Chair: Conference on Design, Automation and Test in Europe (DATE): 2007.

  • Program Committee and Session Chair: IEEE/ACM International Conference on Computer-Aided Design (ICCAD): 2006.

  • Program Committee and Industrial Liaison Chair: ACM Conference on Embedded Software (EMSOFT): 2006. This is part of Embedded Systems Week 2006.

  • Session Chair and Tutorial Organizer/Speaker: Design Automation Conference: 2006

  • Tutorial Speaker: International Symposium on VLSI Design, Automation, and Test (VLSI): 2006.

  • Program Committee : Conference on Design, Automation and Test in Europe (DATE): 2006.

  • Tutorial Speaker: International Conference on Computer-Aided Design (ICCAD): 2005.

  • Program Committee and Session Chair: ACM Conference on Embedded Software (EMSOFT): 2005.

  • Program Committee : Conference on Design, Automation and Test in Europe (DATE): 2005.

  • Program Committee : IEEE International Conference on Computer Design (ICCD): 2005.

    Workshops

  • Program Committee : Workshop on Synchronous Languages, Applications, and Programming (SLAP) 2006.

  • Program Committee : International Workshop on Formal Methods for Globally Asynchronous Locally Synchronous Design (FMGALS): 2005.