Mary Lou Soffa
is the Owen T. Cheatham Professor of Sciences and Department Chair of the
Computer Science Department at the University of Virginia. From 1977
to 2004, she was a Professor of Computer Science at the University of
Pittsburgh and also served as the Dean of Graduate Studies in the College of
Arts and Sciences from 1991 to 1996.
Her research
interests include software tools for debugging and testing programs,
virtual execution environments, optimizing compilers, and program analysis. She has published over 150
papers in journals and conferences. Her papers have received a number of
best paper awards as well a designation of one of the 40 most influential
papers in 20 years to appear in the Programming Language Design and
Implementation Conference. She has
directed 24 Ph.D. students to completion, half of whom are women. She also
directed over 50 M.S. students, with half being women.
Soffa received
the Nico Habermann Award in 2006 for outstanding contributions toward
increasing the numbers and successes of underrepresented members in the
computing research community. In 1999, she received the Presidential Award
for Excellence in Science, Mathematics and Engineering Mentoring. She was
elected an ACM Fellow in 1999 and selected as a Girl Scout Woman of
Distinction in 2003. She served for ten years on the Board of the Computing
Research Association (CRA) and continues as a member of CRA-W, the committee
on the status of women in computer science and engineering of the CRA.
She co-founded the CRA-W Graduate Cohort
Program and the CRA-W Cohort for Associate Professors. She
has served on the Executive Committees of both ACM SIGSOFT and SIGPLAN as
well as conference chair, program chair or program committee member of many
conferences. Currently, she is an ACM Member at Large and serves
on the ACM Publications Board. She is also the Conference Chair for
the ACM Architectural Support for Programming Languages and Operating
Systems (ASPLOS).
[DBLP
entry] [resume being updated]
-
Testing
in Resource Constrained Execution Environments, Gregory
M. Kapfhammer, Mary Lou Soffa and Daniel Mosse,
ACM/IEEE International
Conference on Automated Software Engineering, Long Beach, California,
November 7, 2005
-
Planning
for Code Buffer Management in Distributed Virtual Execution Environments,
Shukang Zhou, Bruce R. Childers and Mary Lou Soffa, ACM/USENIX Virtual Execution Environments Conference (VEE'05),
Chicago,
Illinois,
June 2005.
-
Demand-Driven
Structural Testing with Dynamic Instrumentation, Jonathan Misurda,
James Clause, Juliya L. Reed, Bruce Childers and Mary Lou Soffa. ACM
SIGSOFT Int'l. Conference on Software Engineering (ICSE'05),
St. Louis,
Missouri,
June 2005.
-
Low Overhead Program Monitoring and Profiling, Naveen
Kumar, Bruce R. Childers and Mary Lou Soffa, ACM
SIGPLAN/SIGSOFT Workshop on Program Analysis for Software Tools and Engineering
(PASTE'05),
Lisbon,
Portugal, September 5, 2005
-
TDB:
A Source-Level Debugger for Dynamically Translated Programs,
Naveen Kumar, Bruce R. Childers and Mary Lou Soffa, ACM SIGPLAN/SIGSOFT
Sixth Int'l. Symposium on Automated and Analysis-Driven Debugging (AADEBUG'05),
Monterey,
California, September 19-21, 2005.
-
Compile-time Planning for Overhead Reduction in Software
Dynamic Translators, Naveen Kumar, Bruce R. Childers, Dan
Williams, Jack W. Davidson, and Mary Lou Soffa,
International Journal on Parallel Programming, Vol. 33,
Nos. 2-3, June 2005.
-
Jazz: A Tool
for Demand-Driven Structural Testing, J Misurda, J Clause, J L Reed, P
Gandra, B R Childers, M L Soffa, 14th ETAPS International Conference on
Compiler Construction (CC'05), Edinburgh, Scotland, April 2005
-
A Model-based
Framework: An Approach for Profit-driven Optimization,
Min Zhao, Bruce R.
Childers, and
Mary Lou Soffa ACM SIGMICRO Int'l. Conference on Code Generation and Optimization (CGO'05),
San Jose,
California,
March 2005.
-
The
Impact of Software Engineering Research on Modern Programming Languages,
Barbara Ryder, Mary Lou Soffa, and Margaret
Burnett, ACM Transactions on Software Engineering,
Volume 14, Number 4, pg. 431-477, October, 2005
-
Compile-time Planning for Overhead
Reduction in Software Dynamic Translators,
N. Kumar, B. R. Childers,
D. Williams, J. W. Davidson and M.L. Soffa, International Journal on
Parallel Programming,
Col
33, No 2-3, pp. 103-114, June 2005
-
Predicting the impact of optimizations for embedded systems, Min
Zhao, Bruce R. Childers, and Mary Lou Soffa ,ACM SIGPLAN Symposium on
Languages, Compilers, and Tools for Embedded Systems, San Diego, California,
June 2003
-
A
Family of Test Adequacy Criteria for Database-Driven Applications, G.
Kapfhammer and Mary Lou Soffa,
ACM SIGSOFT Foundations of Software Engineering Conference, Sept. 2003,
selected as a Distinguished Paper
-
Regression
Testing of GUIs, A.
Memon and M. L. Soffa, ACM
SIGSOFT Foundations of Software Engineering Conference, Sept. 2003.“
-
The limits of speculative trace reuse on deeply pipelined processors" M.
L. Pilla, P. O. A. Navaux, A. T. da Costa, F. M. G. Franca, B. R. Childers and
M. L. Soffa
The 15th Symposium on Computer Architecture and High Performance Computing, Sao
Paulo/SP, Brazil, November 2003
-
"SoftTest:
A framework for software testing of Java programs" , B. R. Childers, M.
L. Soffa, J. Beaver, L. Ber, K. Cammarata, T. Kane, J. Litman, and J. Misurda
Eclipse Technology Exchange (eTX) Workshop, during the ACM SIGPLAN Conf. on
Object-Oriented Programming, Systems, Languages, and Applications, October 27,
2003.
-
Gender and Race in Predicting
Achievement in Computer Science, S. Katz, J. Aronis, D. Allbritton,
C. Wilson and M.L. Soffa, IEEE Technology and Society, Special Issue on Women and Minorities in
Information Technology, Volume 22, 3, 20-27, 2003
-
Continuous compilation: A new approach to aggressive and adaptive code
transformation, Bruce Childers, Jack Davidson, and Mary Lou Soffa, NSF Next Generation Software Workshop, during the
International Parallel and Distributed Processing Symposium (IPDPS), Nice,
France, April 2003
-
Retargetable and Reconfigurable Software Dynamic Translation", K. Scott,
N. Kumar, S. Velusamy, B. Childers, J. Davidson, and M. L. Soffa,
Int'l. Conf. on Code Generation and
Optimization,
San
Francisco,
California,
March 2003
-
An Experiment to Identify Predictors of
Achievement in an Introductory Computer Science Course, S. Katz, J. Aronis, D. Allbritton, C. Wilson and M.L. Soffa, ACM Conference on Computer Personnel
Research, 2003.
2008 Naveen Kumar ,
Source
Level Debugging of Dynamically Translated Programs, VMware
Gregory Kapfhammer,
A Framework for Testing Data Centric Applications, Assistant
Professor, Allegheny College
2006 Min Zhao,
Model Driven Optimization, HP Labs
2001
Atif
Memon,
A Comprehensive Framework for Testing Graphical User Interface
Associate Professor,
University of
Maryland
Tarun Nakra,
A Framework for Performing Prediction on VLIW Architectures,
Research Scientist, Starcore/Agere System
2000
Clara
Jaramillo,
Source Level Debugging Techniques and Tools for Optimized Code,
Assistant Professor,
Chatham
College
1999 Rastislav Bodik,
Path-Sensitive, Value-Flow Optimizations of Programs, Associate
Professor,
University of
California,
Berkeley, SIGPLAN Award for
Best Dissertation in
Programming Languages
2000 Neelam
Gupta, Automated
Test Data Generation using Relaxation Methods, Assistant Professor,
University of
Arizona
1998 Jodi Tim,
Automatic Generation of Data Distributions for Distributed Memory
Machines, Full Professor,
Baldwin
Wallace
College
1997 Tia Watts, Integrating Parallelizing Transformations and
Compiler-based Scheduling Methods, Associate Professor, Sonoma State
University
1996 David Berson,
Unification of Register Allocation and Instruction Scheduling in
Compilers for Fine-Grained Parallel Architectures, Snyopsys,
Portland
Evelyn Duesterwald
A Demand Driven Approach for Efficient Interprocedural Data Flow
Analysis, Research Scientist, IBM Research Labs
1994 Chy-Ren Dow, A Visualization
System for Transformed Parallelized Programs, Assistant Professor,
Feng-Chia University,
Taiwan
1993
Pat
Pineo, Value Tracking in Code Transformed for Parallelism,
Associate Professor,
Edinboro University,
Pennsylvania
1991 Deborah
Whitfield, A Unifying Framework for Optimizing
Transformations, Slippery
Rock
University of
Pennsylvania
Brian Malloy, A
Fine-Grained Approach to Scheduling Asynchronous Execution on
Multiprocessors, Associate Professor,
Clemson
University
1990
Ravi
Sharma, Data Partitioning: An Approach to Parallel Storage
Reclamation, Lucent Technologies
1988
Mary
Jean Harrold, An Approach to Incremental Testing, Advanced
Professor, Georgia Tech
1987 Mary
Bivens, Generation of High -Quality Target Code, Full
Professor,
Allegheny
College, retired
1986
Lori Pollock, An Approach to Incremental Compilation of Optimized
Code, Full Professor, University of Delaware
Rajiv Gupta, Design of a Highly Parallel System, Professor, University
of California at Riverside
1983
George Logothetis, On the Automatic
Generation of Error-Repairing LL- and LR-based Parsers, AT&T Labs
Ching-Chy Wang, An Axiomatic
Approach to Control Description, CEO, Leverage
Design Acceleration Corporation
1982
Fernando
Lafora-Garcia, The Design and Implementation of Debugging
Systems for Languages with Advanced Control Structures, DEC
Corporation,
Madrid,
Spain
