- Program committee member, International Workshop on Event-Driven Architecture, Processing and Systems (EDA-PS '06).
- Workshops chair, 6th International Conference on Mobile Data Management (MDM 2005).
- Program committee member, 5th International Conference on Mobile Data Management (MDM 2004).
- Program committee member, 4th International Conference on Mobile Data Management (MDM 2003).
- Member,
Java Community Process expert group for JSR-14, a proposal to add generic types to Java.
- Chair, data-synchronization working group of the
Mobile Network Computing Reference Specification consortium.
- Recipient of ACM Special Interest Group on Ada (SIGAda) Distinguished Service Award, 1999.
- Program committee member, ACM SIGAda '98 conference.
- Program chair, ACM SIGAda Tri-Ada '97 conference.
- Program committee member, ACM SIGAda Tri-Ada '96 conference.
- Program committee member, ACM SIGAda Tri-Ada '90 conference.
- Member of the Ada Rapporteur Group, the language experts' panel of the international body (ISO-IEC/JTC1/SC22/WG9) responsible for the Ada standard, 1989-1998.
- Distinguished Reviewer for the Ada 9X project that produced the 1995 revision of the Ada standard, 1989-1995.
- Secretary, ACM SIGAda, 1989-1991.
- Program co-chair, ACM SIGAda Tri-Ada '89 conference.
- Member of the Uniformity Rapporteur Group, the ISO-IEC/JTC1/SC22/WG9 panel responsible for recommending uniform approaches for Ada implementations, 1987-1996.
- Chair, ACM SIGAda Formal Methods Committee, 1987-1989.
- Founder of Philadelphia-area chapter of ACM SIGAda and chair, 1984-1987.
