This description was written by a machine and published without a person checking it. It is what the agent made of this grouping, and not a statement anybody has stood behind.
Communications of the ACM
A conference, workshop or journal: the thing that recurs, across all its years.
The ACM's flagship monthly, read across the whole of computing rather than by one speciality. It carries Turing lectures, position pieces and survey-style articles, and historically published research that became foundational — which is why a bibliography reaching back to the 1960s meets it so often.
44 references
The decline of computers as a general purpose technology
Neil C. Thompson and others (2021) · Communications of the ACM · Association for Computing Machinery
The ethics of zero-day exploits—the NSA meets the trolley car
Stephen B. Wicker (2021) · Communications of the ACM
seL4 in Australia: From Research to Real-World Trustworthy Systems
Gernot Heiser and others (2020) · Communications of the ACM · Association for Computing Machinery
On the hourglass model
Micah Beck (2019) · Communications of the ACM
A new golden age for computer architecture
John L. Hennessy and others (2019) · Communications of the ACM · Association for Computing Machinery
Separation logic
Peter W. O'Hearn (2019) · Communications of the ACM
Formally verified software in the real world
Gerwin Klein and others (2018) · Communications of the ACM · Association for Computing Machinery
Move fast and break things
Moshe Y. Vardi (2018) · Communications of the ACM · Association for Computing Machinery
How Amazon Web Services Uses Formal Methods
Chris Newcombe and others (2015) · Communications of the ACM · Association for Computing Machinery
Propositions as types
Philip Wadler (2015) · Communications of the ACM
Why is it taking so long to secure internet routing?
Sharon Goldberg (2014) · Communications of the ACM · Association for Computing Machinery
The World-Wide Web
Tim Berners-Lee and others (1994) · Communications of the ACM · Association for Computing Machinery
Reevaluating Amdahl's law
John L. Gustafson (1988) · Communications of the ACM · Association for Computing Machinery (ACM)
Reflections on Trusting Trust
Ken Thompson (1984) · Communications of the ACM · Association for Computing Machinery
Timestamps in key distribution protocols
Dorothy E. Denning and others (1981) · Communications of the ACM · Association for Computing Machinery
Experience with processes and monitors in Mesa
Butler W. Lampson and others (1980) · Communications of the ACM · Association for Computing Machinery
Can programming be liberated from the von Neumann style? A functional style and its algebra of programs
John Backus (1978) · Communications of the ACM · Association for Computing Machinery
Distributed processes: a concurrent programming concept
Per Brinch Hansen (1978) · Communications of the ACM · Association for Computing Machinery
Communicating sequential processes
C. A. R. Hoare (1978) · Communications of the ACM · Association for Computing Machinery
Time, clocks, and the ordering of events in a distributed system
Leslie Lamport (1978) · Communications of the ACM · Association for Computing Machinery
Using encryption for authentication in large networks of computers
Roger M. Needham and others (1978) · Communications of the ACM · Association for Computing Machinery
Ethernet: Distributed Packet Switching for Local Computer Networks
Robert M. Metcalfe and others (1976) · Communications of the ACM
Verifying properties of parallel programs: An axiomatic approach
Susan Owicki and others (1976) · Communications of the ACM · Association for Computing Machinery (ACM)
Guarded commands, nondeterminacy and formal derivation of programs
Edsger W. Dijkstra (1975) · Communications of the ACM · Association for Computing Machinery
Monitors: an operating system structuring concept
C. A. R. Hoare (1974) · Communications of the ACM · Association for Computing Machinery
Formal Requirements for Virtualizable Third Generation Architectures
Gerald J. Popek and others (1974) · Communications of the ACM · Association for Computing Machinery
The UNIX time-sharing system
Dennis M. Ritchie and others (1974) · Communications of the ACM · Association for Computing Machinery
A note on the confinement problem
Butler Lampson (1973) · Communications of the ACM · Association for Computing Machinery
Structured multiprogramming
Per Brinch Hansen (1972) · Communications of the ACM · Association for Computing Machinery
On the criteria to be used in decomposing systems into modules
David Lorge Parnas (1972) · Communications of the ACM · Association for Computing Machinery
Proof of a Program: FIND
C. A. R. Hoare (1971) · Communications of the ACM · Association for Computing Machinery
The Nucleus of a Multiprogramming System
Per Brinch Hansen (1970) · Communications of the ACM · Association for Computing Machinery
A relational model of data for large shared data banks
E. F. Codd (1970) · Communications of the ACM · Association for Computing Machinery
A note on reliable full-duplex transmission over half-duplex links
Keith A. Bartlett and others (1969) · Communications of the ACM · Association for Computing Machinery
An axiomatic basis for computer programming
C. A. R. Hoare (1969) · Communications of the ACM · Association for Computing Machinery
Virtual memory, processes, and sharing in MULTICS
Robert C. Daley and others (1968) · Communications of the ACM · Association for Computing Machinery
The working set model for program behavior
Peter J. Denning (1968) · Communications of the ACM · Association for Computing Machinery
Go to statement considered harmful
Edsger W. Dijkstra (1968) · Communications of the ACM · Association for Computing Machinery
The structure of the "THE"-multiprogramming system
Edsger W. Dijkstra (1968) · Communications of the ACM · Association for Computing Machinery
Programming semantics for multiprogrammed computations
Jack B. Dennis and others (1966) · Communications of the ACM · Association for Computing Machinery
The next 700 programming languages
P. J. Landin (1966) · Communications of the ACM · Association for Computing Machinery
Solution of a problem in concurrent programming control
Edsger W. Dijkstra (1965) · Communications of the ACM · Association for Computing Machinery
Algorithm 65: find
C. A. R. Hoare (1961) · Communications of the ACM · Association for Computing Machinery
Recursive Functions of Symbolic Expressions and Their Computation by Machine, Part I
John McCarthy (1960) · Communications of the ACM · Association for Computing Machinery