|
|
|
* Click on member's name to read their bio.*
CRA-W Co-Chairs:
CRA-W Members and Projects:
- Nancy Amato
- Distributed Mentoring Project (DMP)
Department of Computer Science, Texas A&M University
- Cecilia R. Aragon
- Communications
Lawrence Berkeley National Laboratory
- Carla Brodley
Department of Computer Science, Tufts University
- Tracy Camp
- Distributed Mentoring Project (DMP)
Colorado School of Mines
- Sheila
Castañeda - Career Mentoring Workshops, - Collaborative Research Experience for Undergraduates (CREU)
Computer Science Department, Clarke College
- Joanne Cohoon
University of Virginia
- Carla Ellis
Computer Science Department, Duke University
- Faith Ellen
- Canadian Distributed Mentoring Project (CDMP)
University of Toronto
- Kathleen Fisher
AT&T Labs Research
- Joan Francioni
Department of Computer Science, Winona State University
- Maria Gini - Distributed Mentor Project (DMP)
Department of Computer Science and Engineering, University of Minnesota
- Susanne E. Hambrusch
Purdue University
- Mary Jean Harrold
College of Computing, Georgia Institute of Technology
- Jessica
Hodgins - Distributed Mentor Project (DMP)
School of Computer Science, Carnegie Mellon University
- Mary Jane
Irwin - Steering Committee member, Awards and Nominations, Cohort of Associate Professors Project (CAPP),
Governments Affairs member
Department of Computer Science and Engineering, Penn State University
- Susan Landau - ResearcHers, Booklist
Distinguished Engineer, Sun Microsystems Laboratories
- Tessa Lau
Staff member at IBM's Almaden Research Center
- Margaret Martonosi - Editor of the Expanding the Pipeline Column
Department of Electrical Engineering, Princeton University
- Renée
J. Miller - Distinguished Lecture Series (DLS)
Department of Computer Science, University of Toronto
- Joann
Ordille - Distinguished Lecture Series (DLS)
Avaya Labs
- Mary Lou Soffa
- Affilites DMP Program, Grad Cohort Program, Cohort of Associate Professors Project (CAPP)
Department of Computer Science, University of Virginia
- Telle Whitney
- Liaison with the Institute for Women in Technology
Institute for Women in Technology
CRA-W Emerita Members:
Emerita status is bestowed upon retired members who made major contributions to CRA-W during their membership.
CRA-W Staff:
|
 |
Lori A. Clarke - Co-Chair
Professor Lori A. Clarke is a member of the Computer Science faculty
at the University of Massachusetts, Amherst. She is an ACM Fellow,
a member of the IEEE Publication Board, and an elected member of
the Computing Research Association's Board of Directors.
She is a former IEEE Distinguished Visitor, ACM National Lecturer,
associate editor of ACM TOPLAS and IEEE TSE, member of the CCR NSF
advisory board, ACM SIGSOFT secretary/treasurer, vice-chair and
chair, as well as a 1990 recipient of the University of Massachusetts
Chancellor's Medal, and a 1993 recipient of a University Faculty
Fellowship. She has written numerous papers, served on many program
committees, and was program co-chair of the 14th International Conference
on Software Engineering. She is general chair of the 2003 International
Conference on Software Engineering. She has been a Principal Investigator
on a number of NSF and ARPA/DARPA projects.
|
|
Dr. Clarke has worked in the area of software testing
and analysis for many years. She was one of the primary developers
of symbolic execution, a technique used to reason about the behavior
of software systems and to select test data. With Richardson, she
developed one of the first approaches for specification-based testing.
With Podgurski, Richardson, and Zeil she showed how the more popular
test coverage criteria relate to each other. This paper was cited,
ten years after the conference, as one of the most influential papers
of ICSE 8. This led to work with Thompson and Richardson that demonstrated
how fault-based approaches fail to provide necessary fault detection
conditions, thus revealing a major weakness in this approach. With
Podgurski, she defined a general, language-independent model of
program dependencies, which generalizes Weiser's work on program
slicing. In the environments area Clarke, along with Wileden and
Wolf, debunked the benefits of a nested program structure and then
proposed an alternative component interaction model. With Tarr,
she also developed one of the first database programming language,
Pleiades . Recently her work has focused on analysis of concurrent
systems. With Cobleigh, Dwyer, Naumovich and Osterweil, she has
developed FLAVERS, a static analysis tool that uses data flow analysis
techniques to verify user-specified properties. FLAVERS is an efficient
technique that allows users to selectively improve the accuracy
of the program model as needed to improve the accuracy of the results.
|
 |
Lori Pollock - Co-Chair
Lori Pollock has been a professor at the University of
Delaware.
Lori Pollock received her M.S and Ph.D. in Computer Science from the
University of Pittsburgh.
She was awarded the University of Delaware's Excellence
in Teaching Award in 2001, and the University's E. A. Trabant Award for
Women's Equity in 2004.
She served on the executive committee and officer of
ACM SIGPLAN for several terms.
Her research focuses on program analysis for optimizing
compilers, software testing, mobile code integrity, aspect-oriented
programming, and parallel and distributed systems.
She has served as program committee member of conferences in
compilers, high performance computing, and software testing.
She has also served as organizing chair and on the steering
committee for several workshops.
|
|