The Association for Computing Machinery ( ACM ) is a learned society for computing.

ACM has made almost all of its publications available to paid subscribers online at its Digital Library and also has a Guide to Computing Literature.

The ACM Fellows Program was established by Council of the Association for Computing Machinery in 1993 " to recognize and honor outstanding ACM members for their achievements in computer science and information technology and for their significant contributions to the mission of the ACM.

The ACM is a co – presenter and founding partner of the Grace Hopper Celebration of Women in Computing ( GHC ) with the Anita Borg Institute for Women and Technology.

* ACM – Infosys Foundation Award in the Computing Sciences

In 1997, ACM Press published Wizards and Their Wonders: Portraits in Computing ( ISBN 0897919602 ), written by Christopher Morgan, with new photographs by Louis Fabian Bachrach.

The term " computing " has sometimes been narrowly defined, as in a 1989 ACM report on Computing as a Discipline:

The following year, the ACM ( Association for Computing Machinery ) PODC Influential Paper Award in distributed computing was renamed the Dijkstra Prize in his honour.

ACM Computing Surveys, Volume 4, Number 3, September 1972, pp. 149 – 167

" ACM Symposium on Theory of Computing: 320 – 325.

ACM Computing Surveys, 36 ( 4 ): 335 – 371, December 2004.

* Computing Curricula 2005: The Overview Report by The Joint Task Force for Computing Curricula ACM / AIS / IEEE-CS

* Curriculum Guidelines for Undergraduate Degree Programs in Software Engineering by The Joint Task Force on Computing Curricula ACM / IEEE-CS

* Symposium on Applied Computing, an annual conference sponsored by the ACM Special Interest Group on Applied Computing

In February 2002 they received the 2001 A. M. Turing Award by the Association for Computing Machinery ( ACM ), with the citation: " For ideas fundamental to the emergence of object oriented programming, through their design of the programming languages Simula I and Simula 67.

The ACM A. M. Turing Award is an annual prize given by the Association for Computing Machinery ( ACM ) to " an individual selected for contributions of a technical nature made to the computing community ".

* ACM International Conference on Ubiquitous Computing ( Ubicomp )

His seminal paper, The Complexity of Theorem Proving Procedures, presented at the 1971 ACM SIGACT Symposium on the Theory of Computing, laid the foundations for the theory of NP-Completeness.

Association for Computing Machinery honored him as a Fellow of ACM in 2008 for his

Proceedings of ACM CHI 1992 Conference on Human Factors in Computing Systems, pp. 219 – 226.

* ACM Computing Surveys

* Luca Cardelli, " Type Systems ", ACM Computing Surveys

* Ingrid Carlbom, Joseph Paciorek, Planar Geometric Projections and Viewing Transformations, ACM Computing Surveys, v. 10 n. 4, p. 465 – 502, Dec. 1978

ACM Computing Surveys, 37 ( 4 ): 316 – 344, 2005.

ACM Computing Surveys, 17 ( 2 ): 235-265.

ACM Computing Surveys.

ACM Computing Surveys, 31 ( 4 ): 337-359.

* Skillicorn, David B. and Talia, Domenico " Models and languages for parallel computation " pp123 – 169 in ACM Computing Surveys 30 ( 2 ) June 1998

In that time he served as president, vice president, three board chairs, Member-at-Large, Editor of ACM Computing Surveys, and Editor of the monthly ACM Communications.

" ACM Computing Surveys ( September ).

ACM Computing Surveys ( December )

" ACM Computing Surveys ( September ).

* Comparison of Access Methods for Time-Evolving Data, by Betty Salzberg and Vassilis J. Tsotras, ACM Computing Surveys, Vol.

ACM Computing Surveys, 34 ( 1 ): 1 – 47, 2002.

* Logical models of argument, Carlos Chesnevar, et al., ACM Computing Surveys 32: 4, 2000.

* ACM Computing Surveys, a peer reviewed scientific journal

The family of concurrent logic programming languages ACM Computing Surveys.

In addition to student and regular members, ACM has several advanced membership grades to recognize those with multiple years of membership and " demonstrated performance that sets them apart from their peers ".

ACM – W, the ACM's committee on women in computing, is set up to support, inform, celebrate, and work with women in computing.

* The pitfalls of verifying floating-point computations, by David Monniaux, also printed in ACM Transactions on programming languages and systems ( TOPLAS ), May 2008: a compendium of non-intuitive behaviours of floating-point on popular architectures, with implications for program verification and testing

The functional language Haskell restricts side effects with a static type system ; it uses the concept of monads to do stateful and IO computations .< ref > Imperative Functional Programming, Simon Peyton Jones and Phil Wadler, < em > Conference Record of the 20th Annual ACM Symposium on Principles of Programming Languages </ em >, pages 71 – 84, 1993 </ ref >

* the 2002 ACM Turing Award, together with Rivest and Adleman, in recognition of his contributions to cryptography

Alabama played the song live with Brad Paisley at the ACM Awards in Vegas.

The Band was recently reunited at the 2011 ACM awards when they performed " Old Alabama " on stage with Brad Paisley.

In 2003, Dr. Yongguang Zhang and Dr. Wenke Lee argue for the importance of IDS in networks with mobile nodes .< ref > Intrusion Detection Techniques for Mobile Wireless Networks, ACM WINET 2003 < http :// www. cc. gatech. edu /~ wenke / papers / winet03. pdf ></ ref >

His work on automata theory earned him the ACM Turing Award in 1976, while his collaborative work with Christopher Strachey in the 1970s laid the foundations of modern approaches to the semantics of programming languages.

The Association for Computing Machinery recognized Eclipse with the 2011 ACM Software Systems Award on 26 April 2012.

She served as president of the Association for Computing Machinery ( ACM ) from 1984 to 1986, and, together with Alan Kay and Dan Ingalls, received the ACM Software Systems Award in 1987.

For his contribution to the invention of the RSA cryptosystem, Adleman, along with Ron Rivest and Adi Shamir, has been a recipient of the 1996 Paris Kanellakis Theory and Practice Award and the 2002 ACM Turing Award, often called the Nobel Prize of Computer Science.

Juris Hartmanis ( born July 5, 1928 in Riga, Latvia ) is a prominent computer scientist and computational theorist who, with Richard E. Stearns, received the 1993 ACM Turing Award " in recognition of their seminal paper which established the foundations for the field of computational complexity theory ".

" An ACM paper discusses Barger and Chris Gulker, along with other early bloggers such as Raphael Carter, as the originators of blogging as a networked practice.

SIGCOMM also produces two refereed journals, Computer Communication Review ( which appears quarterly ), and IEEE / ACM Transactions on Networking, which appears bi-monthly ( the latter co-sponsored with IEEE ).

Supported by coalition close air support the result of this initial contact was reported as 14 to 19 ACM killed in action, with no coalition losses.

* Stephen W. Smoliar, " Review of ' Literary machines ' by Ted Nelson, 1983 ", ACM SIGSOFT Software Engineering Notes, October 1983, p. 34-36, webpage: Abstract of review ( with link ), read 2009-01-26.

Headquartered at Baylor University, with autonomous regions on six continents, the ICPC is directed by Baylor Professor William B. Poucher, Executive Director, and operates under the auspices of the Association for Computing Machinery ( ACM ).

The contest evolved into its present form as a multi-tier competition in 1977, with the first finals held in conjunction with the ACM Computer Science Conference.

Headquartered at Baylor University since 1989, with regionals established within the world's university community, operating under the auspices of ACM, and with substantial industry support, the ICPC has grown into a worldwide competition with teams from 84 countries in 2005.