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.
Communications of the ACM: the ACM's flagship monthly across all of computing - Turing lectures, position pieces, surveys, and historically much foundational research.
73 references
The worsening state of ransomware
Samuel Greengard (2021) · Communications of the ACM · Association for Computing Machinery
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
Fuzzing: hack, art, and science
Patrice Godefroid (2020) · Communications of the ACM · Association for Computing Machinery
seL4 in Australia: From Research to Real-World Trustworthy Systems
Gernot Heiser and others (2020) · Communications of the ACM · Association for Computing Machinery
Spectre attacks: exploiting speculative execution
Paul C. Kocher 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
The compositional architecture of the internet
Pamela Zave and others (2019) · Communications of the ACM · Association for Computing Machinery
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
Ethical considerations in network measurement papers
Craig Partridge and others (2016) · Communications of the ACM · Association for Computing Machinery
In defense of soundiness: A manifesto
Benjamin Livshits and others (2015) · 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
Security collapse in the HTTPS market
Arnbak, Axel and others (2014) · Communications of the ACM · Association for Computing Machinery (ACM)
Why is it taking so long to secure internet routing?
Sharon Goldberg (2014) · Communications of the ACM · Association for Computing Machinery
Wikidata: A Free Collaborative Knowledge Base
Denny Vrandečić and others (2014) · Communications of the ACM
x86-TSO: A rigorous and usable programmer's model for x86 multiprocessors
Peter Sewell and others (2010) · Communications of the ACM · Association for Computing Machinery (ACM)
Model checking: Algorithmic verification and debugging
Edmund M. Clarke and others (2009) · Communications of the ACM · Association for Computing Machinery
Formal verification of a realistic compiler
Xavier Leroy (2009) · Communications of the ACM · Association for Computing Machinery
Toward real microkernels
Jochen Liedtke (1996) · 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
MPEG: a video compression standard for multimedia applications
Didier Le Gall (1991) · Communications of the ACM · Association for Computing Machinery
Micropipelines
Ivan Edward Sutherland (1989) · 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)
Notable computer networks
J. Quarterman and others (1986) · Communications of the ACM · Association for Computing Machinery
Reflections on Trusting Trust
Ken Thompson (1984) · Communications of the ACM · Association for Computing Machinery
Editorial: Moral clarity in the computer age
Peter J. Denning (1983) · Communications of the ACM · Association for Computing Machinery (ACM)
Timestamps in key distribution protocols
Dorothy E. Denning and others (1981) · Communications of the ACM · Association for Computing Machinery
Shuffle languages, Petri nets, and context-sensitive grammars
Jay Loren Gischer (1981) · Communications of the ACM · Association for Computing Machinery
On approaches to the study of social issues in computing
Abbe Mowshowitz (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
Abstract Data Types and Software Validation
J.V. Guttag and others (1978) · Communications of the ACM
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
A method for obtaining digital signatures and public-key cryptosystems
Ronald L. Rivest and others (1978) · Communications of the ACM · Association for Computing Machinery
Symbolic execution and program testing
James C. King (1976) · Communications of the ACM · Association for Computing Machinery (ACM)
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
Capability-based addressing
Robert S. Fabry (1974) · 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
Protection and the control of information sharing in multics
Jerome Howard Saltzer (1974) · Communications of the ACM · Association for Computing Machinery
HYDRA: the kernel of a multiprocessor operating system
W. Wulf and others (1974) · Communications of the ACM · Association for Computing Machinery (ACM)
A note on the confinement problem
Butler Lampson (1973) · Communications of the ACM · Association for Computing Machinery
Inductive methods for proving properties of programs
Zohar Manna and others (1973) · Communications of the ACM · Association for Computing Machinery
Structured multiprogramming
Per Brinch Hansen (1972) · Communications of the ACM · Association for Computing Machinery
Fixpoint approach to the theory of computation
Zohar Manna and others (1972) · Communications of the ACM · Association for Computing Machinery (ACM)
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
A contribution to the development of ALGOL
Niklaus Wirth and others (1966) · Communications of the ACM · Association for Computing Machinery (ACM)
Solution of a problem in concurrent programming control
Edsger W. Dijkstra (1965) · Communications of the ACM · Association for Computing Machinery
Revised report on the algorithmic language ALGOL 60
P. Naur (1963) · Communications of the ACM
A machine program for theorem-proving
Martin Davis and others (1962) · 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