<!doctype html public "-//w3c//dtd html 4.0 transitional//en"> CURRICULUM VITAE
MARY LOU SOFFA
|
Department of Computer Science |
Phone: (434) 982-2277 |
|
|
FAX: (434) 982-2214 |
|
151 Engineer’s Way |
Email: soffa@virginia.edu |
|
|
|
RESEARCH INTERESTS
Optimizing compilers, software engineering, program analysis, instruction level parallelism, program debugging and testing tools, compiling for embedded systems.
ACADEMIC APPOINTMENTS
Professor, Department of Computer Science, University of Pittsburgh, 1990-2004
Graduate Dean in Arts and Sciences, University of Pittsburgh, 1991-1996.
Visiting Associate Professor, Department of Electrical
Engineering and Computer Science,
Associate Professor, Department of Computer Science, University of Pittsburgh, 1983-1990.
Assistant
Professor, Department of Computer Science,
EDUCATION
Ph.D. in Computer Science,
M.S. in Mathematics,
B.S. in Mathematics,
Computer Science,
Associate Professor, Department of Computer Science, University of Pittsburgh, 1983-1990.
Assistant
Professor, Department of Computer Science,
HONORS (Selective)
Nico Habermann Award, presented by Computing Research Association, June, 2006.
Selected as ACM Fellow, 1999.
Presidential
Award for Excellence in Science, Mathematics and Engineering Mentoring, White
House,
Keynote Speaker: Mid-Atlantic Student Workshop on Programming Languages and Systems, April 2005.
Keynote Speaker: Fifth
International Conference on Quality Software,
Keynote Speaker, NSF ITWF and ITR PIs Conference, October, 2004.
Keynote
Speaker, Compiler Construction Conference,
Distinguished paper, “A Family of Test Adequacy Criteria for Database-Driven Applications,” (co-authored with Greg Kapfhammer), ACM SISOFT Foundations of Software Engineering (FSE), 2003.
Most Influential papers of 20 years in ACM/SIGPLAN Programming Languages Design and Implementation (PLDI), “Complete Removal of Redundant Expressions”, (co-authored with R. Bodik and R. Gupta), 40 out of 550 papers selected and appeared in a PLDI Anniversary issue, 2003.
ACM/SIGPLAN Distinguished Service Award, June 2003.
Distinguished Speaker, IBM Lecturer Series, Notre Dame, Department of Computer Science, November, 2003.
Girl Scout Woman of Distinction for 2003.
Distinguished Speaker, Department of Computer Science,
Distinguished Speaker, Department of Computer Science
and Engineering,
Distinguished Speaker,
Dissertation Adviser of Rastislav Bodik, winner of ACM SIGPLAN Award for the Best Dissertation in Programming Languages, 2000.
Invited
Speaker, Model Checking and Program Analysis Seminar,
Teaching Award, Department of Computer Science,
Faculty
Honor Roll,
Keynote
Speaker, “Advances in Data Flow," International Symposium on Static
Analysis,
NSF Visiting Professorship for Women,
JOURNAL PUBLICATIONS
Katz, S., Allbritton, D., Aronis, J., Wilson, C., and Soffa, M. L. 2006. Gender,achievement, and persistence in an undergraduate computer science program. ACM SIGMIS Database 37, 4 (Nov. 2006), 42-57.
Min Zhao, Bruce Childers, and Mary Lou Soffa, “Model Driven Optimizations,” ACM Transactions on Architecture and Optimization, accepted May, 2006.
Barbara Ryder, Mary Lou Soffa, and Margaret Burnett, “The Impact of Software Engineering Research on Modern Programming Languages,” ACM Transactions on Software Engineering, Volume 14, Number 4, October, 2005.
Naveen Kumar, Bruce R. Childers, Dan Williams, Jack W. Davidson, and Mary Lou Soffa, “Compile-time Planning for Overhead Reduction in Software Dynamic Translators,” International Journal on Parallel Programming, Vol. 33, Nos. 2-3, June 2005.
S. Katz, D. Allbritton, J. Aronis, C.Wilson, and M.L. Soffa, “Gender and Race in Predicting Achievement in Computer Science,” IEEE Technology and Society, Special Issue on Women and Minorities in Information Technology, Volume 22, 3, 20-27, 2003.
A. Balcita, D. Carver, M.L. Soffa, “Shortchanging the Future of Information Technology: The Untapped Resource,” ACM SIGCSE Inroads, Special Issue on Women and Computing, June 2002.
A. Memon, M. Pollack, and M. L. Soffa, "Hierarchical GUI Test-Case Generation Using Automated Planning," IEEE Transactions on Software Engineering, Vol. 27, No. 2, pages 144-155, February 2001.
D. Whitfield and M. L. Soffa, "An Approach for Exploring Code Improving Transformations," ACM Transactions on Programming Languages and Systems (TOPLAS), vol. 19, no. 6, pages 1053-1084, November 1997.
E. Duesterwald, R. Gupta, and M.L. Soffa, "A Practical Framework for Demand-Driven Interprocedural Data Flow Analysis," ACM Transactions on Programming Languages and Systems (TOPLAS), vol. 19, no. 6, pages 992-1030, November, 1997
R.
Gupta, M.L. Soffa, and J. Howard, "Hybrid Slicing: Integrating Dynamic
Information with Static
Analysis," ACM Transactions of Software Engineering Methodology,
vol. 6, no. 4, pages 370-397, 1997.
C.R. Dow, S.K. Chang and M.L. Soffa, "Visual Transformation Specification," Software Visualization, World Scientific Publishing Co., pp. 141-159, 1996.
R. Gupta, M.J. Harrold, and M.L. Soffa, "Program Slicing-Based Regression Testing Techniques," Journal of Software Testing, Verification and Reliability, Vol.6, No. 2, June, 1996
R. Kramer, R. Gupta, and M.L. Soffa, "The Combining DAG: A Technique for Parallel Data Flow Analysis," IEEE Transactions on Parallel and Distributed Systems, Vol. 5, No. 8, pages 805-813, August 1994.
R. Gupta, M.L. Soffa, and D. Ombres, "Efficient Register Allocation Via Coloring using Clique Separators," ACM Transactions on Programming Languages and Systems, Vol. 16, No. 3, pages 370-386, May 1994.
B. Malloy, E. Lloyd, and M.L. Soffa, "Scheduling Dags for Asynchronous Multiprocessor Execution," IEEE Transactions on Parallel and Distributed Systems, Vol. 5, No. 5, May, 1994, pages 498-508, May, 1994.
M.J. Harrold and M.L. Soffa, "Efficient Computation of Interprocedural Definition-Use Chains," ACM Transactions of Programming Languages and Systems, Vol. 16, No. 2, pages 175-204, March, 1994.
D. Whitfield and M.L. Soffa, "The Design and Implementation of Genesis," Software-Practice and Experience, Vol. 25, No. 3, pages 307-325, March 1994.
R. Gupta and M.L. Soffa, "Employing Static information in the Generation of Test Cases," Journal of Software Testing, Verification and Reliability, Vol. 3, No. 1, pages 29-48, December 1993.
M.J. Harrold, R. Gupta, and M.L. Soffa, "A Methodology for Controlling the Size of a Test Suite," ACM Transactions on Software Engineering and Methodology, Vol. 2, No. 3, pages 270-285, July 1993.
L. Pollock and M.L. Soffa "Incremental Global Reoptimizations of Programs," ACM Transactions on Programming Languages and Systems, Vol. 14, No. 2, pages. 173-200, April 1992.
R. Gupta and M.L. Soffa, "Compile-time Techniques for Improving Scalar Access Performance in Parallel Memories," IEEE Transactions on Parallel and Distributed Systems, Vol. 2, No. 2, pages 138-148, April 1991.
M.J. Harrold and M.L. Soffa, "Selection of Data for Integration Testing," IEEE Software, pages 58-65, March 1991.
M. Bivens and M.L. Soffa, "Incremental Register Allocation," Software-Practice and Experience, Vol. 20, No. 10, pages 1015-1047, October 1990.
M.J. Harrold and M.L. Soffa, "TestInc," IEEE Software, pages 57, May 1990.
R. Gupta and M.L. Soffa, "Region Scheduling: An Approach for Detecting and Redistributing Parallelism, "IEEE Transactions on Software Engineering, Vol. 16, No. 4, pages 421-431, April 1990.
B. Malloy and M.L. Soffa, "Conversion of Simulation Processes," Software Practice and Experience, Vol.20, No. 2, pp. 191-207, Feb. 1990.
R. Gupta and M.L. Soffa, "Compilation Techniques for a Reconfigurable LIW Architecture," The Journal of Supercomputing, Vol. 3, pages 271-304, 1989.
L. Pollock and M.L. Soffa, "An Incremental Version of Iterative Data Flow Analysis," IEEE Transactions on Software Engineering, vol. 15, No. 11, pages 537-1549, December, 1989.
C.C. Wang, E. Lloyd and M.L. Soffa "On Locating Minimum Feedback Vertex Sets," Journal of Computer and System Sciences, Vol. 37, No. 3, pages 292-311, December, 1988.
J. Stephenson Blair, P. Kearns and M.L. Soffa, "An Optimistic Implementation of the Stack-Heap," The Journal of Systems and Software, Vol. 5, No. 3, pages. 193-202, March, 1985.
D Quammen, J. P. Kearns, M.L. Soffa, "Efficient Storage Management for Temporary Values in Concurrent Programming Languages," IEEE Transactions on Computers, Vol.34, No. 9, pages 832-840, 1985.
C. C. Wang, E. Lloyd and M.L. Soffa, "Feedback vertex sets and cyclically reducible graphs." Journal of ACM, Vol. 32, No. 2, pp. 296-313, February, 1985.
C.C. Wang and M. L. Soffa, "Eager Reclamation," IEEE Transactions on Software Engineering, SE-11(4) 1985, pp. 437-439.
F. Lafora and M.L. Soffa, "Reverse Execution in Debugging a Generalized Control Regime," Computer Languages, Vol. 3, No. 3, pp. 183-192, 1984
L. Coon, P. Kearns and M.L. Soffa, "The Contraction of Control Implementations," Computer Languages, vol.8, no. 1, 1983, pp. 15-25.
P. Kearns and M.L. Soffa, "The Implementation of Retention in a Coroutine Environment," Acta Informatica, vol. 19, 1983, pp. 221-233.
M. L. Soffa, "Control Discipline Necessity: Making the Languages as General as the Implementation," BIT, vol. 22, 1982, pp. 169-182.
J.P. Kearns, C. Meier and M.L. Soffa, "The Performance Evaluation of Control Implementations," IEEE Transactions on Software Engineering, SE-8(2), 1982, pp. 89-96.
G. Lindstrom and M.L. Soffa, "Referencing and Retention in Block Structured Coroutines," ACM Transactions on Programming Languages and Systems, 3(3) 1981, pp. 263-292.
M.L. Soffa and W. Pauli, "Coroutine Behavior and Implementation," Software Practice and Experience, vol. 10(3) 1980, pp. 189-204.
Apala Guha, Kim
Hazelwood, Mary Lou Soffa, “Code Lifetime Based meory
Reduction for Virtual Execution Environments,” .Proceedings of the 6th Workshop of Optimizations for DSP and Embedded Systems (ODES).
MORE TO COME
Yuqiang
Huang, Bruce R. Childers, and Mary Lou Soffa, “Catching and Identifying Bugs in
Register Allocation,” 13th International Static Analysis Symposium,
Kristen
R. Walcott, Mary Lou Soffa, Gregory M. Kapfhammer, and Robert S. Roos, “Time-Aware
Test Suite Prioritization,” ACM SIGNOFF/SIGPLAN International
Symposium on Software Testing and Analysis,
Jing
Yang, Shukang Zhou, and Mary Lou Soffa, “Dimension: An Instrumentation Tool for
Virtual Execution Environments,” Second International Conference on Virtual
Execution Environments (VEE '06).
Jason
D. Hiser, Naveen Kumar, Min Zhao, Shukang Zhou, Bruce R. Childers, Jack W.
Davidson, and Mary Lou Soffa, “Techniques and Tools for Dynamic Optimization,” NSF Next Generation Software Workshop,
collocated with the International Parallel and Distributed Processing
Symposium (NSFNGS '06).
Gregory
M. Kapfhammer, Mary Lou Soffa and Daniel Mosse, “Gregory M. Kapfhammer, Mary Lou Soffa and
Daniel Mosse,” ACM/IEEE International Conference on
Automated Software Engineering,
Naveen
Kumar, Bruce R. Childers and Mary Lou Soffa, “TDB: A Source-Level Debugger for
Dynamically Translated Programs, “ACM SIGPLAN/SIGSOFT Sixth Int'l. Symposium
on Automated and Analysis-Driven Debugging (AADEBUG'05),
Naveen Kumar, Bruce R. Childers and Mary Lou Soffa,
“Low Overhead Program Monitoring and Profiling,” ACM SIGPLAN/SIGSOFT
Workshop on Program Analysis for Software Tools and Engineering (PASTE'05),
Shukang
Zhou, Bruce Childers, and Mary Lou Soffa, “Shukang Zhou, Bruce Childers, and
Mary Lou Soffa,” ACM/USENIX Virtual Execution
Environments Conference (VEE'05),
Misurda, J. Clause, J.L. Reed, P. Gandra, B.R. Childers and M.L. Soffa “Demand-Driven Structural Testing with Dynamic Instrumentation,” International Conference on Software Engineering, St. Louis, May, 2005.
J.
Misurda, J. Clause, J.L. Reed, P. Gandra,
B.R. Childers and M.L. Soffa, “Jazz: A Tool for
Demand-Driven Structural Testing,” 14th ETAPS
International Conference on Compiler Construction (CC'05),
Min
Zhao, Bruce R. Childers and Mary Lou Soffa, “A Model-based Framework:
An Approach for Profit-driven Optimization “, ACM SIGMICRO Int'l. Conference on Code Generation and
Optimization (CGO'05),
Naveen Kumar, Jonathan Misurda, Bruce R. Childers and Mary Lou Soffa, “Instrumentation in Software Dynamic Translators for Self-Managed Systems,” ACM SIGSOFT Workshop on Self-Managing Systems (WOSS'04) during the ACM SIGSOFT Int'l. Symposium on Foundations of Software Engineering, 2004
S.
Katz, D. Allbritton, J. Aronis,
C.Wilson, and M.L. Soffa, “S. Katz, D. Allbritton, J. Aronis, C.Wilson, and M.L. Soffa,” Proceedings
of the 6th International Conference on Learning
Sciences,
S.
Katz, D. Allbritton, J. Aronis,
C.Wilson, and M.L. Soffa, “A study to identify
predictors of achievement in an introductory computer science course,” Proceedings
of SIGCPR'03: S\ IG Computer Personnel Research
Conference 2003,
M. L. Pilla, P. O. A. Navaux, F. M. G. França, A. T. da Costa, B. R. Childers, M. L. Soffa, “The Limits of Speculative Trace Reuse on Deeply Pipelined Processors,” 15th Symposium of Computer Architecture and High Performance Computing (SBAC-PAD03), Brazil, November, 2003
B. R. Childers, M. L. Soffa, J. Beaver, L. Ber, K. Cammarata, T. Kane, J. Litman, and J. Misurda,"SoftTest: A framework for software testing of Java programs,” Eclipse Technology Exchange (eTX) Workshop, held with the ACM SIGPLAN Conf. on Object-Oriented Programming, Systems, Languages, and Applications, October 27, 2003.
Bruce Childers, Jack W. Davison and Mary Lou Soffa, “Continuous Compilation: A New Approach to Aggressive and Adaptive Code Transformation,” Proceedings of the International Parallel and Distributed Processing Symposium (IPDPS'03) Nice, 2003.
A. Memon and M. L. Soffa, “Regression Testing of GUIs,” ACM SIGSOFT Foundations of Software Engineering Conference, Sept. 2003.
G. Kapfhammer and Mary Lou Soffa, “A Family of Test Adequacy Criteria for Database-Driven Applications,” ACM SIGSOFT Foundations of Software Engineering Conference, Sept. 2003, selected as a Distinguished Paper.
M.
Zhao, B. Childers and M.L. Soffa, “Predicting the Impact of Optimizations for
Embedded Systems,” 2003 ACM SIGPLAN Conference on Languages, Compilers, and
Tools for Embedded Systems,
K. Scott, N. Kumar, S. Verlusamy, B. Childers, J. Davidson and M.L. Soffa, “Retargetable and Reconfigurable Software Dynamic Translation,” Conference on Code Generation and Optimization, San Francisco, CA, March 2003.
S. Katz, J. Aronis, D. Allbritton, C. Wilson and M.L. Soffa, “An Experiment to Identify Predictors of Achievement in an Introductory Computer Science Course”, ACM Conference on Computer Personnel Research, 2003.
S. Katz, D. Allbritton, J. Aronis, C.Wilson, and M.L. Soffa, “Factors that predict achievement, gender and race differences in undergraduate computer science courses,” IEEE Technology and Society Magazine, 2003
C.
Jaramillo, R. Gupta and Mary Lou Soffa, "Verifying Optimizers through
Comparison Checking,"Compiler
Optimization Meets Compiler Verification Workshop, joint with ETAPS,
M.J.
Harrold, A. Orso, G. Rothemel,
M.L. Soffa, ''Using Component Metadata to Support the Regression Testing of
Component-Based Software,'' International Conference on Software Maintenance,
Atif Memon, Mary Lou Soffa and Martha E. Pollock, ''Coverage Criteria for GUI Testing,'' 8th European Software Engineering Conference and 9th ACM SIGSOFT Symposium on the Foundations of Software Engineering, Sept. 2001, pages 256-276, Vienna, Austria.
Tarun Nakra,
Bruce R. Childers and Mary Lou Soffa, ``Width-sensitive Scheduling for Resource
Constrained VLIW Processors,'' ACM Workshop on
Feedback-Directed and Dynamic Optimization (FDDO),
Atif M. Memon, Martha E. Pollack and Mary Lou Soffa, "Automated Test Oracles for GUIs,'' Eighth International Symposium on the Foundations of Software Engineering, (FSE2000), San Diego, CA, Nov. 6-10, 2000.
Neelam
Gupta, Aditya Mathur and Mary Lou Soffa, ``Generating Test Data for Branch
Coverage,'' 15th IEEE International Conference on Automated Software
Engineering (ASE'2000),
C.
Jaramillo, R. Gupta, and M. L. Soffa, "FULLDOC:
A Full Reporting Debugger for Optimized Code," International Static
Analysis Symposium, LNCS, Springer Verlag,
Memon, M. Pollack, M.L. Soffa, ``Plan Generation for
GUI Testing," Fifth International Conference on Artificial Intelligence
Planning and Scheduling, Brackenridge,
N.
Gupta, A. Mathur, and M.L. Soffa, "UNA Based
Iterative Test Data Generation and its Evaluation," The IEEE Automated
Software Engineering Conference (ASE),
Jaramillo, R. Gupta and M.L. Soffa, "Comparison Checking: An Approach to Avoid Debugging of Optimized Code," The Joint 7th European Software Engineering Conference (ESEC) and the ACM SIGSOFT International Symposium on the Foundations of Software Engineering (FSE), Toulouse, France, pages 268-284, Sept. 1999.
Memon, M. Pollack, M.L. Soffa, "Using a Goal-driven Approach to Generate Test Cases for GUIs," ACM/IEEE International Conference on Software Engineering (ICSE), Los Angeles, pages 257-266, May, 1999. (Selected as a best paper).
R. Bodik, R. Gupta and M.L. Soffa, "Load-Reuse Analysis: Design and Evaluation, " ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), Atlanta, Georgia, pages 64-76, May, 1999.
T. Nakra, R. Gupta and M.L. Soffa, "Value Prediction in VLIW Machines," ACM/IEEE 26th International Symposium on Computer Architectures (ISCA), pages 258-269, Atlanta, Georgia, May, 1999.
T. Nakra, R. Gupta, and M.L. Soffa "Global Context-based Value Prediction," Proceedings Fifth International Symposium on High Performance Computer Architecture (HPCA), pages 4-12, January, 1999.
N.
Gupta, M. Mathur, M.L. Soffa, "Automated Test Data Generation Using an
Iterative Relaxation
Method," ACM SIGSOFT Foundations of Software Engineering (FSE), pages 231-244, Nov. 1998.
C. Jaramillo, R. Gupta and M.L. Soffa, "Capturing the Effects of Code Improving Transformations," Proceedings of International Conference on Parallel Architectures and Compilation Techniques (PACT), pages 118-123, Oct. 1998.
D. Berson, R. Gupta and M.L. Soffa, "Integrated Instruction Scheduling and Register Allocation Techniques," International Workshop on Languages and Compilers for Parallel Computing (LCPC), Springer Verlag, Chapel Hill, North Carolina, August, 1998.
R.
Bodik, R. Gupta and M.L. Soffa, "Complete Removal of Redundant Expressions,"
Proceedings of
ACM/SIGPLAN Conference on Programming Language Design and Implementation
(PLDI), pages 1-15, June, 1998.
J. Tims, R. Gupta and M.L. Soffa, "Data flow Analysis Driven Dynamic Data Partitioning," Fourth Workshop on Languages, Compilers, and Run-time Systems for Scalable Computers, pages 75-91, CMU, Pittsburgh, Pa. May, 1998.
R. Bodik, R. Gupta and M.L. Soffa, "Refining Data Flow Information through Infeasible Path Detection and Tracing," Proceeding Sixth European Software Engineering Conference and ACM SIGSOFT Foundations of Software Engineering, Zurich, LNCS 1301, Springer Verlag, pages 361-377, 1997.
R. Bodik, R. Gupta and M.L. Soffa, "Interprocedural Conditional Branch Elimination," ACM/SIGPLAN 1997 Conference on Programming Languages Design and Implementation (PLDI) pages 146-158, June, 1997.
C.R.
Dow, M.L. Soffa and S.K. Chang, "A Unifying
Framework for Undoing Code Transformations," International Computer
Symposium (ICS),
D. Berson, P. Chang, R. Gupta and M.L. Soffa, "Integrating Program Optimizations and Transformations with the Scheduling of Instruction Level Parallelism," Ninth Annual Workshop on Languages and Compilers for Parallel Computing, Santa Jose, Ca. August 8-10, 1996.
E.
Duesterwald, R. Gupta, and M.L. Soffa, "A Demand-Driven Analyzer for Data
Flow Testing at the
Integration Level," International Conference on Software Engineering
(ICSE), pages 575-584, Berlin, Germany, March 1996.
R.
Gupta and M.L. Soffa, "Priority Based Data Flow Testing," IEEE-CS
International Conference on
Software Maintenance (ICSM), pages 348-357,
R. Gupta and M.L. Soffa, "Hybrid Slicing: An Approach for Refining Static Slices using Dynamic Information," ACM SIGSOFT Third Symposium on the Foundations of Software Engineering, pages 29-40, Washington, DC, October 1995. (Selected as a best paper)
P.
Pineo and M.L. Soffa, "A Practical Approach to Single Assignment
Code," Conference on Parallel Architectures and Compiler Technologies,
(PACT '95),
E. Duesterwald, R. Gupta, and M.L. Soffa, "Interprocedural Data Flow Analysis on Demand," The 22nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL) pages 37-48, San Francisco, California, January 1995.
D. Berson, R. Gupta, and M.L. Soffa, "GURRR: A Global Unified Resource Requirements Representation," ACM SIGPLAN Workshop on Intermediate Representations, pages 23-34, San Francisco, California, January 1995.
Chyi-Ren Dow, M.L. Soffa and S.K. Chang, "An Efficient Technique to Undo
Transformations," IEEE ICPADS 94: 1994
International Conference on Parallel and Distributed Systems,
Chyi-Ren
Dow, Shi-Kuo Chang and M.L. Soffa, "An Overview
of the PIVOT Environment for Program Restructuring," IEEE 1994
International Computer Symposium,
R. Gupta and M.L. Soffa, "A Framework for Partial Data Flow Analysis," IEEE-CS International Conference on Software Maintenance (ICSM), pages 4-13, Victoria, British Columbia, September 1994.
D. Berson, R. Gupta, and M.L. Soffa, "Resource Spackling: A Framework for Integrating Register Allocation in Local and Global Schedulers," International Conference on Parallel Architectures and Compilation Techniques, IFIP Transactions A-50, pages 135-146, Montreal, Canada, August 1994.
Chyi-Ren Dow, M.L. Soffa, and S.K. Chang, "Undoing Transformations in an Independent
Order" International Conference on Parallel Processing (ICPP),
P.
Pineo and M.L. Soffa, "A Practical Approach to the Symbolic Debugging of
Parallelized Code,"
International Conference on Compiler Construction (CC),
E. Duesterwald, R. Gupta, and M.L. Soffa, "Reducing the Cost of Data Flow Analysis By Congruence Partitioning," International Conference on Compiler Construction (CC), LNCS 786 Springer Verlag, pages 357-373, Edinburgh, Great Britain, April, 1994.
Chyi-Ren Dow, Shi-Kuo Chang and M.L. Soffa, "Program Visualization for Parallelized Code with the Aid of Visual Transformation Specifications," Software Automation for Productivity Improvement Series on Software Engineering and Knowledge Engineering, 1994.
Debbie
Whitfield and M.L. Soffa, "Investigating Properties of Code Transformations,"
International Conference on Parallel Processing, St. Charles,
E. Duesterwald, R. Gupta, and M.L. Soffa, "A Practical Data Flow Framework for Array Reference Analysis and its Application in Optimizations," ACM SIGPLAN'93 Conference on Programming Language Design and Implementation (PLDI), pages 68-77, Albuquerque, New Mexico, June 1993.
D. Berson, R. Gupta, and M.L. Soffa, "URSA: A Unified ReSource Allocator for Registers and Functional Units in VLIW Architectures," Conference on Architectures and Compilation Techniques for Fine and Medium Grain Parallelism, IFIP Transactions A-23, pages 243-254, Orlando, Florida, January 1993.
Chyi-Ren Dow, S.K. Chang and M.L. Soffa, "A Software System for the Visualization of Parallelizing Programs," The International Computer Symposium, Taiwan, pp. 768-775, December, 1992.
B. Malloy, R. Gupta, and M.L. Soffa, "A Shape Matching Approach for Scheduling Fine-Grained Parallelism," The 25th Annual ACM/IEEE International Symposium on Microarchitecture (MICRO) pages 264-267, Portland, Oregon, December 1992.
R. Gupta, M.J. Harrold, and M.L. Soffa, "An Approach to Regression Testing using Slicing," IEEE-CS International Conference on Software Maintenance, pages 299-308, Orlando, Florida, November 1992.
Chyi-Ren
Dow, M.L. Soffa, and S.K. Chang, "A
Visualization System for Parallelizing Programs," ACM International
Conference on Supercomputing '92,
T. Watts, M.L. Soffa, and R. Gupta, "Techniques for Integrating Parallelizing Transformations and Compiler Based Scheduling Methods," International Conference on Supercomputing'92, pages 830-839, Minneapolis, Minnesota, November, 1992.
E.
Duesterwald, R. Gupta, and M.L. Soffa, "Register Pipelining: An Integrated
Approach to Register
Allocation for Scalar and Subscripted Variables," International
Workshop on Compiler Construction (CC) LNCS 641 Springer Verlag, pages
192-206, Paderborn, Germany, October 1992.
R.
Gupta and M.L. Soffa, "Automatic Generation of a Compact Test Suite,"
The Twelfth IFIP World
Computer Congress, Vol. I, pages 237-243,
E.
Duesterwald, R. Gupta, and M.L. Soffa, "Distributed Slicing and Partial
Re-execution for Distributed Programs," Fifth Workshop on Languages and
Compilers for Parallel Computing, LNCS 757 Springer Verlag, pages 497-511,
Brian
Malloy, M.L. Soffa and E. Lloyd, "A Fine Grained Approach to Scheduling
Asynchronous
Multiprocessors," 4th International Conference on Computing and
Information,
Chyi-Ren Dow, S.K. Chang, and M.L. Soffa, "A Visual Optimization Specification Language," Advanced Visual Interfaces Workshop, Rome, Italy, World Scientific Series in Computer Science, Vol. 36, World Scientific Press, 289-303, May, 1992.
Shan
Fan Liu and M.L. Soffa "Parallel Task Assignment by Graph Partitioning," PARLE '92,
R. Kramer, R. Gupta, and M.L. Soffa, "The Combining DAG: A Technique for Parallel Data Flow Analysis," The Sixth International Parallel Processing Symposium (IPPS), pages 652-655, Beverly Hills, California, March 1992.
E. Duesterwald, R. Gupta, and M.L. Soffa, "Rigorous Data Flow Testing through Output Influences," The Second Irvine Software Symposium, pages 131-145, University of California, Irvine, California, March 1992.
P. Pineo and M.L. Soffa, "The Symbolic Debugging of Code Transformed for Parallel Execution," ACM/SIGPLAN Debugging Workshop '91, Albuquerque, New Mexico, 1991, pp. 23-29, November, 1991.
E. Duesterwald and M.L. Soffa, "Concurrency Analysis in the Presence of Procedures using a Data Flow Framework," ACM/IEEE Proceedings of Symposium on Testing, Analysis, and Verification, Victoria, Canada, pp. 138-148, October, 1991.
R. Sharma and M.L. Soffa, "Parallel Generational Garbage Collection," Object-Oriented Programming Systems, Languages, and Applications (OOPSLA), pp. 16-32, October, 1991.
D.
Whitfield and M.L. Soffa, "Automatic Generation of Global
Optimizations," ACM SIGPLAN '91 Conference on Programming Language
Design and Implementation,
P.
Pineo and M.L. Soffa, "Debugging Parallelized Code Using Code Liberation Technique,"
ACM SIGPLAN Workshop on Parallel and Distributed Debugging,
B. Heggy and M. L. Soffa, "Architectural Support for Register Allocation in the Presence of Aliasing," ACM International Conference on Supercomputing '90, pp. 720-729, November, 1990.
M.J. Harrold, R. Gupta, and M.L. Soffa, "A Methodology for Controlling the Size of a Test Suite," IEEE-CS International Conference on Software Maintenance, pages 302-310, San Diego, California, November 1990.
M.J. Harrold, R. Gupta, and M.L. Soffa, "TBM: A Testbed Management Tool," The Seventh International Conference on Testing Computer Software, pages 47-56, San Francisco, California, June 1990.
R.
Gupta, L. Pollock, and M.L. Soffa, "Parallelizing Data Flow Analysis,"
Workshop on Parallel Compilation,
D. Whitfield and M.L. Soffa, "An Approach to Ordering Optimizing Transformations," Second ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (PPoPP), pp. 137-146, March, 1990.
M.J. Harrold and M.L. Soffa, "Computation of Interprocedural Definition and Use Dependencies," IEEE 1990 International Conference on Computer Languages, March 1990, pp. 297-306.
L.
Pollock and M.L. Soffa, "Incremental Global Optimization for Faster
Recompilations,"
IEEE 1990 International Conference on Computer Languages, New Orleans,
La., March 1990, pp. 281-290 (selected as a best paper).
M.J. Harrold and M.L. Soffa, "Interprocedural Data Flow Testing," ACM Software Testing, Analysis and Verification Symposium, Key West, Florida, pp. 158-167, December, 1989.
R. Gupta, M.L. Soffa, and T.F. Steele, "Register Allocation via Clique Separators," ACM SIGPLAN'89 Conference on Programming Language Design and Implementation (PLDI), pages 264-275, Portland, Oregon, June 1989.
M.J. Harrold and M.L. Soffa, "An Incremental Data Flow Testing Tool," International Conference on Testing Computer Software, May, 1989.
M. Bivens and M.L. Soffa, "Reuse of Compiler Analysis in a Programming Environment," ACM 1989 Computer Science Conference February, 1989.
M.J. Harrold and M.L. Soffa, "An Incremental Approach to Unit Testing," IEEE/ACM Conference on Software Maintenance (ICSM), pp. 362-367, October, 1988.
R.
Gupta and M.L. Soffa, "Compile-time Techniques for Efficient Utilization
of Parallel Memories," ACM SIGPLAN Symposium on Parallel Programming:
Experience with Applications, Languages and Systems, pages 235-246,
R.
Gupta and M.L. Soffa, "A Matching Approach to Utilizing Fine-Grained
Parallelism," The Twenty-first Annual Hawaii International Conference
on System Sciences, Vol. I, pages 148-156,
L.
Pollock and M.L. Soffa, "High-Level Debugging with the Aid of an
Incremental Optimizers," Proceedings of
R.
Gupta and M.L. Soffa, "A Reconfigurable LIW
Architecture," International Conference on Parallel Processing (ICPP), pages 893-900,
R.
Gupta and M.L Soffa, "Region Scheduling," The
Second ACM International Conference on Supercomputing, Vol. III, pages
141-148,
M. Bivens and M.L. Soffa, "Incremental Generation of
High-Quality Code," ACM National Computer Conference,
B.
Malloy and M.L. Soffa, "An Efficient Implementation of SimCal,"
International Conference
on Modeling and Simulation,
R.
Gupta and M.L. Soffa, "SHAPE: A Highly Adaptable and Parallel
System," ACM Computer Science Conference, pages 107-114,
B. Malloy and M.L. Soffa, "SimCal: The Merger of Simula and Pascal," IEEE Winter Simulation Conference, pp. 397-403, February, 19886.
L. Pollock and M.L. Soffa, "Incromint - An INCRemental Optimizer for Machine INdependent Transformations," ACM SoftFair II, San Francisco, pp. 162-171, December, 1985.
R.
Gupta and M.L. Soffa, "The Efficiency of Storage Management Schemes for Ada Programs," ACM/SIGAda
Ada International Conference, pages 164-172,
L. Pollock and M.L. Soffa, "Incremental Compilation of Locally Optimized Code," ACM SIGPLAN Principles of Programming Languages (POPL) Symposium, pp. 152-164, January, 1985.
C.C.
Wang, E. Lloyd and M.L. Soffa, "Feedback vertex sets in polynomial time -
A new class," Twenty-Second
Annual Allerton Conference,
P.
Kearns and M.L. Soffa, "A Laboratory for Experimental Work in the
Efficient Implementation of Concurrent High Level Languages," Workshop
on Real-Time Operating Systems,
L.
Cheng, M.L. Soffa and Y.H. Yang, "Simulation of
an I/O Driven Requirements Language,"
6th IEEE COMPSAC, pp. 213-218, September,
1982.
J.P. Kearns and M.L. Soffa, "Performance Comparison of Copy-less Coroutine Implementations," 5th IEEE COMPSAC, pp. 213-218, 1981.
S. Robinson and M.L. Soffa, "An Instructional Tool for Beginning Programming Students," Eleventh SIGCSE Technical Symposium On Computer Science Education, 12(1), Feb. 1980.
M.
Lemon, M.L. Soffa and G. Lindstrom, "Control Separation in Programming
Languages," 1977 Annual ACM Conference,
GRANTS
Microsoft, “Testing for Security, 2004-2006.
National Science Foundation, “Adapting Program Code Continuously and Adaptively,” (Co-PI: Bruce Childers), Sept. 2003– March, 2006, $654,538.
National Science Foundation, “Advance: From Associate Professor to Full with Distinguished Professors Leading the Way,” (Co-PI: Jane Cuny), Sept 2003 – March 2006, $250K,
CRAW Graduate Student Cohort, Microsoft $50K, ACM $40K, (Co-PI: Jane Cuny), Jan. 2004 – Jan. 2006.
National Science Foundation, “Continuous Compilation: A New Approach to Aggressive and Adaptive Code Transformations,” (Co-PI: Bruce Childers), Sept. 2002 – March, 2004, $180,000.
IBM Eclipse Project, “SoftTest: An Eclipse Plug-in for Scalable and Flexible Software Testing of Java Programs”, November, 2002, $28,000.
National Science Foundation, “Group Travel Grant for Faculty from Minority Institutions to Attend FSE-10, Sept. 2002 – Sept. 2003, $25,000.
National Science Foundation, "Learning Behaviors and Background Characteristics that Promote Retention of Women and Minorities in Undergraduate Computer Science Programs, (Co-PI: Sandra Katz), Sept. 2000 - December 2003, $528,167.
National Science Foundation, Presidential Award for Mentoring, Sept. 1999 - August, 2001, $10,000.
National Science Foundation, "A Framework for Path and Resource Sensitive Optimizations, Grant CCR-980859, (Co-PI: Rajiv Gupta), Sept. 1998-August, 2002, $360,000.
National Science Foundation, "Experimental Software Systems: Experimental Evaluation of Scalable Optimization Techniques", Grant EIA-9806525, (Co-PIs: Rajiv Gupta, Lori Pollock, David Whalley), Oct., 1998-August, 2002, $400,000.
Hewlett Packard Laboratories,
Hewlett Packard Laboratories,
National Science Foundation, "Demand Driven Computation of Partial Data Flow and its Application in Software Engineering", Grant CCR-9402226, (Co-PI: Rajiv Gupta), Sept., 1995-May, 1999, $240,000.
National Science Foundation, Grant for Faculty at Minority and Women's Colleges and Universities, (Co-PI: Barbara Ryder and Edith Schonberg), February, 1994 - August, 1995, $20,000.
National Science Foundation,
"Unifying Framework for Parallelizing Transformations," Grant CCR
9109089, July, 1991 to December, 1994, $283,265.
National Science Foundation, "Fine and Coarse Grain Incremental Compilation", CCR-8801104, Optimized Code, May, 1988 to January, 1991, $162,198.
National Science Foundation, Research Instrumentation - Hypercube, (Co-PIs: R. Melhem and T. Znati), January, 1990 to December, 1990, $124,300.
National Science
Foundation Professorship for Women, "Incremental
Code Optimization and Generation,
National Science Foundation, Grant MCS-8119341, "Implementation of Concurrency," May 1982 to June 1987, $203,945.
National Science Foundation, Grant MCS79-06102, "Control Implementation in Programming Languages," September 1979 to February, 1984, $92,012.
National Science Foundation, Computer Science and Computer Engineering Research Equipment, 1982, (Co-PI: P. Kearns), $60,000.
National Science Foundation, Computer Science Department Research Equipment, 1979, $40,000.
Invited Speaker (last 5 years)
Invited Speaker, Microsoft
Research,
New Faculty Symposium at ICSE – May, 2006. Title: Mentoring and Advising Graduate Students
CRA Career Mentoring Workshop for Faculty, February, 2004.
Issues in the National Landscape, National Science Foundation, 2003.
National Symposium on the Advancement of Women in
Science,
Invited Speaker, Grace Murray Hopper Conference, 2002.
Clara Booth Luce Lecture Series,
CRA Career Mentoring Workshop for Faculty, February, 2002.
Georgia Tech, College of Computing, 2002
CRA Career Mentoring Workshop for Faculty, February, 2002.
PROFESSIONAL ACTIVITIES
Editorial Boards
ACM Transactions on Software Engineering Methodology, 2003 – present.
Computer Languages, 1987-present.
South African Journal of Computing, 1996-present.
Journal of Empirical Software Engineering, 2003- present.
International Journal of Parallel Programming, 1995-2003.
ACM Transactions on Programming Languages and Systems, 1993-2001.
IEEE Transactions on Software Engineering, 1994-2000.
Boards, Advisory Committees
Virginia Tech CS Advisory Board, 2006 to present.
Board of Directors, Computing Research Association (CRA), elected by CS & E Department Chairs of Ph.D. granting institutions (mostly); member: 1996-present; Vice Chair: 1997-2001.
Swedish Research Council, 2000 – 2005.
ACM SIGPLAN Programming Languages Design and Implementation (PLDI) Conference, 2001-2005.
NSF
Advance
Software Tools and Technology Transfer, Springer, 1998 - present.
Steering Committees
IEEE/IFIPS International Conference on Parallel Architectures and Compilation Techniques (PACT), 2001- 2003.
ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA), 1998-present.
ACM SIGSOFT/SIGPLAN Program Analysis for Software Tools and Engineering (PASTE), 1998-present.
ACM/SIGPLAN Programming Languages Design and Implementation Conference (PLDI), 2001-2005.
Conference/Program Chair
Conference Chair
for Code Generation and Optimizations, to be held in
Chair of CRA-W Graduate Cohort Workshop – 200 junior graduate students meet for a weekend to discuss issues of being a women in a computer science and engineering department and skills needed to achieve goals, funded by Microsoft and Google.
Chair of CRA-W Cohort of Associate Professors, funded by NSF
Co Chair of CRA Workshop for New Chairs, Snowbird Conference, 2006
Program Co-Chair, IEEE TCSE/ACM
SIGSOFT International Conference on Software Engineering (ICSE),
Chair, Emerging Technologies: Can Optimization Technology meet the demands? Dagstuhl Workshop, 2003.
Chair, Doctoral Workshop, IEEE TCSE/ACM SIGSOFT International Conference on Software Engineering, 2001 and 2003.
Conference Chair, ACM SIGSOFT Foundations of Software Engineering Conference (FSE) Sept. 2002.
Program Chair, ACM/SIGPLAN Programming Languages Design and Implementation Conference (PLDI), June 2001.
Program Chair, IEEE/IFIPS International Conference on Parallel Architectures and Compilation Techniques (PACT), October 2000.
Chair, Recruitment and Retention of Women and Minorities Panel, CRA Snowbird Conference, July, 2000.
Chair, Mentoring Senior Faculty for Career Options Panel, CRA Workshop on Careers for Women in Computer Science and Engineering, May, 1999.
Conference Chair, ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA), March 1998.
Conference Co-Chair, ACM SIGPLAN Programming Languages Design and Implementation, June 1994.
Program Committee member (since 1990)
The 2007
International Conference for High Performance Computing and Communications
(SC07),
Sixth
International Conference on Aspect-Oriented Software Development,
Virtual
Execution Environments,
Sixth International Symposium on Automated and Analysis-Driven Debugging (AADEBUG 2005)
Virtual Execution Environments,, 2005
IEEE TCSE/ACM SIGSOFT International Conference on Software Engineering (ICSE), 2005.
ACM SIGARCH/SIGOPS/SIGPLAN, International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS), 2004.
Static Analysis Symposium (SAS),
Second Technology Exchange Workshop, held with ETAPS 2004.
Second Value-Prediction and Value-Based Optimization Workshop, held with ASPLOS 2004.
ACM SIGPLAN/SIGACT Principles of Programming Languages (POPL), 2004.
IEEE TCSE/ACM SIGSOFT International Conference on Software Engineering (ICSE), 2004.
ACM SIGPLAN, Conference on Languages, Compilers and Tools for Embedded Systems, LCTES, 2003.
Static Analysis
Symposium (SAS),
Compiler Optimization meets Compiler Verification (COCV), ETAPS, 2003.
ACM SIGPLAN International Symposium on Code Generation and Optimization (CGO), 2003.
IEEE/IFIPS International Conference on Parallel Architectures and Compilation Techniques (PACT), October 2002.
Second Workshop on Compilers and Operating Systems for Low Power (COLP01), 2001.
ACM SIGPLAN Conference on Programming Languages Design and Implementation (PLDI), June 2001.
Static Analysis Symposium (SAS), September 2001.
IEEE TCSE/ACM SIGSOFT International Conference on Software Engineering May, 2001.
ACM SIGSOFT International Conference on Foundation of Software Engineering (FSE), November 2000.
ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA), August 2000.
Static Analysis Symposium (SAS'99), September 1999.
IEEE/IFIPS International Conference on Parallel Architectures and Compilation Techniques (PACT), October 1999.
Static Analysis Symposium (SAS'98), September 1998.
IEEE International Conference on Parallel and Distributed Computing and Systems (PDCS'98), October 1998.
Grace Hopper Conference, September 1997.
IEEE International Conference on Distributed Computing Systems, 1996.
IEEE/IFIPS Fourth International Conference on Parallel Architectures and Compilation Techniques (PACT'96), 1996.
IEEE International Symposium on Microarchitectures (MICRO), 1995.
IEEE TCSE/ACM SIGSOFT International Conference on Software Engineering, 1994.
International Workshop on Automated and Algorithmic Debugging, 1993, 1994, 1996.
ACM SIGARCH/SIGOPS/SIGPLAN, Architectural Support for Programming Languages and Operating Systems (ASPLOS), 1992 and 1994.
ACM SIGPLAN/SIGACT Symposium on Principles of Programming Languages (POPL), 1992.
Second Conference on Parallel and Distributed Computing, 1990.
Member/Officer/Co-Chair
Leadership Team,
Organizing Team of Grace Hopper
Conference,
Computer Research Association (CRA) Committee on Status of Women in CSE, Co-chair, 1999-2002, member 1996-present.
CRA Committee on Government Affairs, 1998-2000.
ACM SIG Board Council Representative, 2000-2002.
ACM SIG Board, Member-at-Large, 1998-2000.
ACM/SIGPLAN Chair, 1997-1999.
ACM/SIGPLAN Executive Committee, 1991-2001.
ACM/SIGPLAN vice Chair for Conferences, 1995-1997.
ACM/SIGPLAN Treasurer, 1991-1995.
ACM/SIGPLAN Professional Activities Committee (PAC), 1993-1995.
ACM/SIGSOFT Member-at-Large, 1993-1997.
Panel member in CRA Workshop for Women's Careers in Computer Science and Engineering, February, 1996 and May, 1996. bb
Expert adviser for faculty position, University of Linkoping, Sweden, 1997-98.
OOPSLA Doctoral Symposium Committee, 1996.
Advisory
Committee, Department of Computer Science, University of
Distinguished
Visitor Program,
ACM, ACM/SIGPLAN, ACM/SIGSOFT, IEEE, IEEE Computer Society
Ph.D. STUDENTS – advisor/co advisor
Graduated
Min Zhao, Profit Driven Optimization,
Atif Memon, A Framework for Testing Graphical User Interfaces, July, 2001, Assistant Professor, University of Maryland.
Tarun Nakar, a Framework for Value Prediction in VLIW, June, 2001, Research Scientist, IBM Research
Clara Jaramillo,
Source Level Debugging Techniques and Tools of Optimized Code, August,
2000; Assistant Professor,
Rastislav Bodik,
Code Optimizations for Fine-Grained Architectures, December, 1999, Recipient
of 2000 SIGPLAN Dissertation Award, Assistant Professor,
Neelam Gupta: Automated Test
Data Generation using Relaxation Methods, August, 1999, Assistant
Professor, and
Jodi Tims,
Automatic Generation of Data Distributions for Distributed Memory Machines,
August 1998, Department Chair,
Tia Watts, Integrating Parallelizing Transformations and Compiler-based Scheduling Methods, December, 1997, Associate Professor, Indiana University of Pennsylvania.
David Berson, Integrating Instruction Scheduling, Register Allocation, and Program Transformations for Fine-Grained Architectures, November, 1996, Senior Scientist, Motorola/Starcore.
Evelyn Duesterwald, A Demand Driven Approach for Efficient Interprocedural Data Flow Analysis, May, 1996, Research Scientist, IBM T.J. Watson Research Center..
Chy-Ren
Dow, A Visualization System for Transformed
Parallelized Programs, August 1994, Associate Professor,
Pat Pineo, Value Tracking in
Code Transformed for Parallelism, April, 1993, Professor,
Deborah Whitfield, A Unifying Framework for Optimizing Transformations, August, 1991, Professor, Slippery Rock College.
Brian Malloy, A Fine-Grained Approach to Scheduling Asynchronous Execution on Multiprocessors, April, 1991, Associate Professor, Clemson University.
Mary Jean Harrold, An Approach to Incremental Testing, December, 1988, Professor, Georgia Tech.
Mary Bivens,
Generation of High-Quality Target Code, August 1987, Professor,
Rajiv Gupta, Design of a Highly
Parallel System, August, 1987, Professor,
Lori Pollock, An Approach to Incremental Compilation of Optimized Code,
April, 1986, Associate Professor,
George Logothetis, On the Automatic Generation of Error-Repairing LL- and LR-based parsers, April, 1983, AT&T.
Ching-Chy Wang, An Axiomatic Approach to Control Description and Implementation, August, 1983, CEO, Leverage Design Acceleration Corporation.
Fernando Lafora-Garcia,
The Design and Implementation of Debugging Systems for Languages with
Advanced Control Structures, August, 1982, DEC Corporation,
Current Ph.D. Students
Greg Kapfhammer, Testing Applications using Databases, degree expected graduation 2007.
Shukang Zhou, Dynamic Optimization, expected 2007.
Yuqiang Huang, Checking the correctness of optimization, expected graduation 2007.
Naveen Kumar, Debugging Adaptive Code, proposal expected 2007.
Jing Yang, Software Tools for Wireless Sensor Networks, expected graduation 2008
Wei Le, Testing for Security, expected graduation 2008
Apala Guha, Virtual Execution Environments for embedded systems, expected graduation 2008.
Nguyet Nguyen, Testing for Wireless Sensor Networks, expected graduation 2008
Kristen Walcott, Time Aware Testing, expected graduation 2009
Jason Mars, Virtual Execution Environments for Multi-core architecture, expected graduation 2009.
External Member Ph.D. committees
Manos Renieris,
David
Lacey,
Bruno Blanchet, Ecole Polytechnique, Paris
Nahid Shahmehri,
M.S. STUDENTS
Adviser on 56 M.S. students' projects.
CONSULTING
Zymark
Corporation Mellon Institute - Carnegie Mellon
University
Westinghouse
Airbrake Company
Westinghouse Electric Corporation
UNIVERSITY/DEPARTMENT ACTIVITIES (SELECTED)
University Activities
Chancellor's Committee on Diversity, 2000- present.
Faculty Sponsor and helped organize: Organization of Women in Science (OWIS), 1997 – present.
Member of 3 team internal review committee of the Department of Biological Sciences, 1997.
Member, Provost Committee on Sexual Harassment, 1995-1998.
Member, Provost Committee on Internet , 1995-2000.
Chair, Search Committee for Provost, 1993-94.
University Research Council, 1991-1996.
University Council on Graduate Studies, 1991-1996.
Provost's Subcommittee for the Evaluation of Academic Programs (SEAP), 1991-1996.
Conference for Women Graduate Students, workshop leader, Nov. 1990.
Provost's Advisory Committee for Undergraduate Programs, 1990-1991.
Provost's Advisory Committee for Women's Concerns, 1989-1991
Provost Development Fund, reviewer, 1989, 1995.
Affirmative Action Committee, 1988-1990.
Conference for Women Graduate Students, workshop leader, Oct., 1988.
FAS Tenure Council, 1985-1989.
Member, Department of Electrical Engineering Chair Search Committee, 1985.
Computer Science and
Engineering," NSF Sponsored Conference,
Careers for Women in Computers,
Engineering and Science," NSF Sponsored Conference,
Department Activities
Organized first CS Day, held annually since 2000.
Chair, Graduate Program Committee, 2001-2003.
Developed and editor for first departmental newsletter, Links, 1997- 2000.
Member, Graduate Admissions and Financial Aid, 1977-1990, 1996-2002.
M