ACM Software System Award

Known as: ACM Software Systems Award, Software System Award 
The ACM Software System Award is an annual award that honors people or an organization "for developing a software system that has had a lasting… (More)
Wikipedia

Topic mentions per year

Topic mentions per year

1992-2017
01219922017

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Review
2017
Review
2017
This volume contains the proceedings of the Fourteenth International Workshop on the ACL2 Theorem Prover and Its Applications… (More)
Is this relevant?
2015
2015
This volume contains the proceedings of the Thirteenth International Workshop on the ACL2 Theorem Prover and Its Applications… (More)
Is this relevant?
2011
2011
This volume contains the proceedings of ACL2 2011, the International Workshop on the ACL2 Theorem Prover and its Applications… (More)
Is this relevant?
2010
2010
acm awards committee ACM established its first award—the A.M. Turing Award—in 1966. This honor is given annually to an individual… (More)
Is this relevant?
2010
2010
Photo by David Harel Most of this piece focuses onAmir’s personality, since FACS readers are unlikely to need too much… (More)
Is this relevant?
2008
2008
I n recent months we have celebrated ACM's 60th Anniversary and the 50th Anniversary of its flagship publication , Communications… (More)
Is this relevant?
2007
2007
ACL2 is the latest inception of the Boyer-Moore theorem prover, the 2005 recipient of the ACM Software System Award. In the hands… (More)
Is this relevant?
2006
2006
BIOGRAPHY ■ Stu Feldman is Vice President for Computer Science Research at IBM. He is expanding long term and exploratory… (More)
Is this relevant?
2006
2006
ACL2 [6–8] is a powerful, industrial strength theorem proving system, which has been used on numerous verification projects. It… (More)
  • figure 1
Is this relevant?
1992
1992
Spreadsheets were invented more than ten years ago and they are used as the only or primary computer language by millions of… (More)
Is this relevant?