Notifications Help

Explore

clear filters

Newest Feeds

Domains

Users

acm.org ×

Formal Mechanised Semantics of CHERI C: Capabilities, Undefined Behaviour

acm.org

Memory safety issues are a persistent source of security vulnerabilities, with conventional architectures and the C...

Memory safety issues are a persistent source of security vulnerabilities, with conventional architectures and the C codebase chronically prone to exploitable errors. The CHERI research project has shown how one can provide radically improved security for that existing codebase with minimal modification, using unforg...

Specifying the Power and Limitations of Randomness

acm.org

Drawn to computer science at the suggestion of his parents—who thought the field might provide a...

Drawn to computer science at the suggestion of his parents—who thought the field might provide a more practical outlet for his love of mathematics—Avi Wigderson, the 2023 ACM A.M. Turing Award recipient, has made lasting contributions to the theory of computational complexity. Wigderson’s voracious intellectual curi...

2023 ACM Turing Prize awarded to Avi Wigderson

acm.org

ACM has named Avi Wigderson as recipient of the 2023 ACM A.M. Turing Award for foundational...

ACM has named Avi Wigderson as recipient of the 2023 ACM A.M. Turing Award for foundational contributions to the theory of computation, including reshaping our understanding of the role of randomness in computation, and for his decades of intellectual leadership in theoretical computer science. Wigderson is the Herb...

avi wigderson

In Memoriam: Ross Anderson, 1956-2024

acm.org

Ross Anderson unexpectedly passed away in his sleep on March 28th in his home in Cambridge....

Ross Anderson unexpectedly passed away in his sleep on March 28th in his home in Cambridge. He was 67. I can’t remember when I first met Ross. It was well before 2008, when we created the Security and Human Behavior workshop. It was before 2001, when we created the Workshop on Economics and Information Security (oka...

Trusting Trust: Ken Thompson on supply chain security (1984)

acm.org

Survey of Distributed File System Design Choices | ACM Transactions on Storage

acm.org

Skip Abstract SectionDecades of research on distributed file systems and storage systems exists. New researchers and...

Skip Abstract SectionDecades of research on distributed file systems and storage systems exists. New researchers and engineers have a lot of literature to study, but only a comparatively small number of high-level design choices are available when creating a distributed file system. And within each aspect of the sys...

design options distributed distributed file systems distributed storage osdev

Communications of the ACM Relaunched as Open Access, Web-First Publication

acm.org

New York, NY, March 12, 2023 – ACM, the Association for Computing Machinery, has relaunched Communications...

New York, NY, March 12, 2023 – ACM, the Association for Computing Machinery, has relaunched Communications of the ACM (CACM), the organization’s flagship magazine, as a web-first publication, accessible to everyone without charge. First published in 1958, CACM is one of the most respected information technology maga...

Interval Parsing Grammars for File Format Parsing (2023) [pdf]

acm.org

Immutability Changes Everything (2016)

acm.org

January 20, 2016Volume 13, issue 9 PDF We need it, we can afford it, and the...

January 20, 2016Volume 13, issue 9 PDF We need it, we can afford it, and the time is now Pat Helland There is an inexorable trend toward storing and sending immutable data. We need immutability to coordinate at a distance, and we can afford immutability as storage gets cheaper. This article is an amuse-bouche sampli...

IBM Research: Experience with an Uncommon Lisp (1986) [pdf]

acm.org

Edge AI devices eye lifetime learning

acm.org

Today, artificial intelligence (AI) devices at the network’s edge—such as the billions of Internet of Things...

Today, artificial intelligence (AI) devices at the network’s edge—such as the billions of Internet of Things (IoT) devices IDC predicts will net $1 trillion by 2026—should have lifelong learning built-in, according to a collaborative project by experts at the Air Force Research Laboratory, Argonne National Laborator...

More Fixpoints (Functional Pearl) [pdf]

acm.org

Computing Without Processors

acm.org

From the programmer’s perspective the distinction between hardware and software is being blurred. As programmers struggle...

From the programmer’s perspective the distinction between hardware and software is being blurred. As programmers struggle to meet the performance requirements of today’s systems they will face an ever increasing need to exploit alternative computing elements such as graphics processing units (GPUs), which are graphi...

How the C preprocessor solves the Halting Problem

acm.org

Measuring GitHub Copilot’s Impact on Productivity – Communications of the ACM

acm.org

CACM Is Now Open Access – Communications of the ACM

acm.org

compsci historical science

The Lincoln TX-2 Computer Development (1957) [pdf]

acm.org

In Memoriam: Niklaus Wirth

acm.org

Computing Pioneer Niklaus Wirth died on January 1, 2024, just 45 days short of his 90th...

Computing Pioneer Niklaus Wirth died on January 1, 2024, just 45 days short of his 90th birthday. Wirth was born in Switzerland in 1934. He received his B.S. from Swiss Federal Institute of Technology (ETH) in Zurich in 1959, and his M.Sc. degree from Université Laval in Montreal in 1960. He then attended the Univer...

Co-Developing Programs and Their Proof of Correctness

acm.org

Credit: Balein / Shutterstock Twenty years ago, Sir Tony Hoare proposed a grand challenge to the...

Credit: Balein / Shutterstock Twenty years ago, Sir Tony Hoare proposed a grand challenge to the computing research community: to develop a verifying compiler [which] uses mathematical and logical reasoning to check the correctness of the programs that it compiles. Hoare went on to set demanding success criteria for...

formalmethods programming

What DNS Is Not (2009)

acm.org

November 5, 2009Volume 7, issue 10 PDF What DNS Is Not Paul Vixie, Internet Systems Consortium...

November 5, 2009Volume 7, issue 10 PDF What DNS Is Not Paul Vixie, Internet Systems Consortium DNS is many things to many people—perhaps too many things to too many people. DNS (Domain Name System) is a hierarchical, distributed, autonomous, reliable database. The first and only of its kind, it offers realtime perfo...

Patent Absurdity

acm.org

Kode Vicious - @kode_vicious September 29, 2021Volume 19, issue 4 PDF Kode Vicious A case when...

Kode Vicious - @kode_vicious September 29, 2021Volume 19, issue 4 PDF Kode Vicious A case when ignorance is the best policy Dear KV, I had been reading through a bunch of patents related to some code I'm writing so I could avoid coding up something that was known to be patented. This seemed to be a good idea, but wh...

Explore

Tags

Domains

Users