Owen. R. Cheatham Professor of Computer Science
Office: Rice Hall, Room 421
Phone: (434) 982-2277
Fax: (434) 982-2214
Email:
soffa@cs.virginia.edu
Home Page:
Mary Lou Soffa
Department of Computer Science
School of Engineering and Applied Science
University of Virginia
85 Engineer's Way,
P.O. Box 400740
Charlottesville,
Virginia 22904-4740
Areas Of Interest
Virtual executing environments, optimizing compilers, compilers for embedded systems, program analysis, debugging and testing, path sensitive analysis
Biographical Sketch
Mary Lou Soffa is the Owen R. Cheatham Professor in 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. 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 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. She has been a distinguished speaker and keynote speaker at a number of conferences and universities. Her papers have received a number of best paper awards as well as designation of one of the 40 most influential papers in 20 years to appear in the Programming Language Design and Implementation Conference, the premier conference in her area. She had directed 25 Ph.D. students to completion, half of whom are women, and over 50 M.S. students. She currently serves on the ACM Publication Board and was elected in 2008 to serve on the ACM Executive Committee. She was the Chair of the Computer Science Department at the University of Virginia from 2004-2012.
Research
Soffa's research interests include software tools for debugging and testing programs, compilers, optimizations, and program analysis. She has published over 150 papers in journals and conferences.
Selected Publications
- ReQoS: Reactive Static/Dynamic Compilation for QoS in Warehouse Scale Computers, Lingjia Tang, Jason Mars, Wei Wang, Tanima Dey, and Mary Lou Soffa, ASPLOS, 2013, to appear.
- Memory Optimization of Dynamic Binary Translators for Embedded Systems, Apala Guha, Kim Hazelwood and Mary Lou Soffa, Transactions in Architecture and Code Optimization, Vol. 9, Issue 3, September, 2012.
- THeME: A System for Testing by Hardware monitoring Events, Kristen Walcott-Justice, Jason Mars and Mary Lou Soffa, International Symposium on Software Testing and Analyses, July, 2012
- Increasing Utilization in Warehouse Scale Computers Using Bubble-Up!, Jason Mars, Lingjia Tang, Robert Hundt, Kevin Skadron, Mary Lou Soffa. Special Issue: IEEE Micro's Top Picks from 2011 Computer Architecture Conferences (MICRO TOP PICKS) 2012.
- Performance Analysis of Thread Mappings with a Holistic View of the Hardware Resources, Wei Wang, Tanima Dey, Jason Mars, Lingjia Tang, Jack Davidson, Mary Lou Soffa Proceedings of the 2012 IEEE International Symposium on Performance Analysis of Systems and Software