Professional service
- Chair (with Prof. Jan Madsen) of Technical Program Committee for the
International Conference on Hardware/Software Codesign and System Synthesis,
2011.
- Associate Editor for IEEE Transactions on Very Large Scale Integration
Systems, 2007–20011.
- Guest Editor for Synthesis of Cyberphysical Systems special issue of ACM
Transactions on Embedded Computing Systems, 2010.
- Chair of Technical Program Sub-Committee on Specification Languages and
Models for the International Conference on Hardware/Software Codesign and
System Synthesis, 2007–2009.
- Technical Program Committee of IEEE/ACM International Conference on
Computer-Aided Design, 2006–2008.
- Session Chair at IEEE/ACM International Conference on Computer-Aided
Design, 2006–2007.
- Session Chair at IEEE/ACM Design Automation Conference, 2007.
- Technical Program Committee of IEEE/ACM Design, Automation, and Test in
Europe, 2008–2010.
- Technical Program Committee of IEEE/ACM Asia and South Pacific Design
Automation Conference, 2008–2009.
- Session Chair at IEEE/ACM International Conference on Compilers,
Architecture, and Synthesis for Embedded Systems, 2006.
- Technical Program Committee of ACM Great Lakes Symposium on Very Large
Scale Integration, 2006–2008.
- Regular NSF Panelist (details omitted to preserve integrity of review
process).
- Reviewer for over 35 conferences and journals, i.e., the major conferences
and journals in Embedded Systems, CAD, and VLSI as well as most major
conferences in Computer Architecture.
Page maintained by Robert
Dick.