# Mary Lou Soffa

> American computer scientist

**Wikidata**: [Q4815991](https://www.wikidata.org/wiki/Q4815991)  
**Wikipedia**: [English](https://en.wikipedia.org/wiki/Mary_Lou_Soffa)  
**Source**: https://4ort.xyz/entity/mary-lou-soffa

## Summary
Mary Lou Soffa is an American computer scientist and university professor known for her pioneering work in compilers, software engineering, and systems. She has made significant contributions to optimizing compilers and program analysis, and is recognized as a leader in mentoring the next generation of computer scientists.

## Biography
- Born: Not specified
- Nationality: United States
- Education: Ph.D. from University of Pittsburgh
- Known for: Compiler optimization, software engineering, program analysis
- Employer(s): University of Virginia (since 2004), University of Pittsburgh (1977-2004)
- Field(s): Computer science, software engineering, systems

## Contributions
Mary Lou Soffa has made fundamental contributions to compiler optimization and software engineering. Her research has focused on developing techniques for optimizing compilers, program analysis, and software testing. She has published extensively in these areas, with her work being widely cited and implemented in commercial compilers. Soffa has also been a pioneer in software testing methodologies, particularly in the area of regression testing and test case prioritization. Her research has influenced both academic research and industrial practice in compiler construction and software quality assurance.

## FAQs
### Q: What is Mary Lou Soffa known for?
A: Mary Lou Soffa is known for her pioneering work in compiler optimization, software engineering, and program analysis. She has made significant contributions to developing techniques for optimizing compilers and improving software testing methodologies.

### Q: Where does Mary Lou Soffa work?
A: Mary Lou Soffa is a professor at the University of Virginia, where she has worked since 2004. Prior to that, she was a faculty member at the University of Pittsburgh from 1977 to 2004.

### Q: What awards has Mary Lou Soffa received?
A: Mary Lou Soffa has received numerous awards including the ACM Fellow (1999), Ken Kennedy Award (2012), Anita Borg Institute Women of Vision Award (2011), and the NCWIT Harrold and Notkin Research and Graduate Mentoring Award (2020).

## Why They Matter
Mary Lou Soffa's work has fundamentally shaped how modern compilers optimize code and how software engineers approach testing and quality assurance. Her research has directly influenced the development of commercial compilers used in industry today, making software faster and more efficient. Beyond her technical contributions, Soffa has been a trailblazer for women in computer science and has mentored numerous students who have gone on to become leaders in the field. Her commitment to mentoring has been recognized with prestigious awards, and her former students now hold influential positions in academia and industry, creating a lasting legacy that extends far beyond her own research.

## Notable For
- ACM Fellow (1999) for contributions to compiler optimization and software engineering
- Ken Kennedy Award (2012) for contributions to compiler technology and mentoring
- Anita Borg Institute Women of Vision Award (2011) for technical leadership
- NCWIT Harrold and Notkin Research and Graduate Mentoring Award (2020)
- Supervised over 30 Ph.D. students who have become leaders in computer science

## Body
### Research Focus
Mary Lou Soffa's research has primarily focused on compiler optimization, software testing, and program analysis. Her work has addressed fundamental challenges in making software run faster and more reliably.

### Key Publications
Soffa has published extensively in top computer science venues, with her papers on compiler optimization and software testing being widely cited. Her research has been foundational in areas such as regression testing, test case prioritization, and compiler optimization techniques.

### Mentoring Legacy
As a doctoral advisor, Soffa has mentored numerous successful computer scientists including Mary Jean Harrold, Lori L. Pollock, Rajiv Gupta, and Jason Mars. Many of her former students now hold professorships at major universities or leadership positions in industry.

### Industry Impact
Her compiler optimization techniques have been incorporated into commercial compilers, improving the performance of software applications across various domains. Her work on software testing has influenced industry practices in quality assurance and testing methodologies.

### Academic Leadership
Soffa has served in various leadership roles in the computer science community, including serving on editorial boards of major journals and organizing key conferences in her field.

## Schema Markup
```json
{
  "@context": "https://schema.org",
  "@type": "Person",
  "name": "Mary Lou Soffa",
  "jobTitle": "Computer Scientist, University Professor",
  "worksFor": {
    "@type": "Organization",
    "name": "University of Virginia"
  },
  "nationality": {
    "@type": "Country",
    "name": "United States"
  },
  "alumniOf": [
    {
      "@type": "EducationalOrganization",
      "name": "University of Pittsburgh"
    }
  ],
  "knowsAbout": [
    "Compiler Optimization",
    "Software Engineering",
    "Program Analysis",
    "Software Testing"
  ],
  "sameAs": [
    "https://en.wikipedia.org/wiki/Mary_Lou_Soffa",
    "https://www.wikidata.org/wiki/Q138702888"
  ],
  "description": "American computer scientist known for contributions to compiler optimization and software engineering"
}

## References

1. Mathematics Genealogy Project
2. [Source](https://www.cs.virginia.edu/~soffa/)
3. [Source](https://awards.acm.org/kennedy/award-recipients)
4. [Source](https://anitab.org/profiles/abie-award-winners/mary-lou-soffa/)
5. [Source](https://awards.acm.org/fellows/award-recipients)
6. [Source](https://www.ncwit.org/blog/dr-mary-lou-soffa-announced-2020-ncwit-harrold-and-notkin-award-recipient)