FAQ

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

Related topics

Related topics

31 relations
ACL2Bob FrankstonCoqEclipse
(More)

Related mentions per year

Related mentions per year

1936-2018
19401960198020002020
ACM Software System Award
World Wide Web
Java
Software system
Mach
GNU Compiler Collection

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Review
2017
Review
2017
Proceedings 14th International Workshop on the ACL2 Theorem Prover and its Applications, Austin, Texas, USA, May 22-23, 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
Proceedings Thirteenth International Workshop on the ACL2 Theorem Prover and Its Applications, Austin, Texas, USA, 1-2 October 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
Proceedings 10th International Workshop on the ACL2 Theorem Prover and its Applications, ACL2 2011, Austin, Texas, USA, November 3-4, 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
The work of ACM's awards committee
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
Amir Pnueli A Gentle Giant: Lord of the φ’s and the ψ’s
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
ACM annual report for FY07
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
ACL2s: "The ACL2 Sedan"
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
2006 ACM Elections
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
Integrating CCG Analysis into ACL2⋆
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
Real programmers don't use spreadsheets
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?