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.