Research and Advances
Advertisement
CLOSET: Data-Driven COI Detection and Management in Peer-Review Venues
CLOSET is a data-driven system designed and developed at Nanyang Technological University for detecting and reporting unreported conflicts of interest and violations in a peer-reviewed venue.
The Veracity Grand Challenge in Computing: A Perspective from Aotearoa New Zealand
The Veracity Project is investigating challenges related to trust and truth in the context of digital technologies.
The Silent (R)evolution of SAT
Today's powerful, robust SAT solvers have become primary tools for solving hard computational problems.
Buffer-Bloated Router? How to Prevent It and Improve Performance
Home broadband routers suffering bufferbloat can degrade the user experience when accessing the Internet.
Should Robots Have Rights or Rites?
A Confucian cross-cultural exploration of the ethical treatment of robots.
On the Implicit Bias in Deep-Learning Algorithms
Examining the implicit bias in training neural networks using gradient-based methods.
Technical Perspective: What Does Provable Security Mean for Cryptographic Schemes?
For a given cryptographic scheme, as perfect security is almost never achievable, one requires a computational assumption. Computational assumptions are some well-defined problems that are widely accepted as difficult.
On the (In)Security of ElGamal in OpenPGP
We reveal that in the interoperable world of OpenPGP, unforeseen cross-configuration attacks become possible.
FoundationDB: A Distributed Key-Value Store
FoundationDB, an open-source transactional key-value store, is one of the first systems to combine the flexibility and scalability of NoSQL architectures with the power of ACID transactions.
Technical Perspective: FoundationDB Performs Balancing Act
FoundationDB, as explored in "FoundationDB: A Distributed Key-Value Store," by Jingyu Zhou et al., pioneered the development of a scalable distributed key-value store with strong consistency guarantees.
Bob Metcalfe, who co-invented Ethernet networking technology, continues to take on new challenges as a computational engineer.
On the Implicit Bias in Deep‐Learning Algorithms
Introduction Deep learning has been highly successful in recent years and has led to dramatic improvements in multiple domains. Deep‐learning algorithms often generalize quite well in practice, namely, given access to labeled training data, they return neural networks that correctly label unobserved test data. However, despite much research our theoretical understanding of generalization in deep […]
Disentangling Hype from Practicality: On Realistically Achieving Quantum Advantage
What are the promising applications to realize quantum advantage?
Unlocking the Potential of Fully Homomorphic Encryption
Exploring the transformational potential of FHE and the path toward adoption of its "stack."
Toward Basing Cryptography on the Hardness of EXP
We show that the only "gap" toward getting (infinitely-often) OWFs from the assumption that EXP ≠ BPP is the seemingly "minor" technical gap between two-sided error and errorless average-case hardness of the MKtP problem.
Development Use Cases for Semantics-Driven Modeling Languages
Choosing underlying semantic theories and definition techniques must closely follow intended use cases for the modeling language.
From Code Complexity Metrics to Program Comprehension
Understanding code depends not only on the code but also on the brain.
Technical Perspective: Finding Connections between One-Way Functions and Kolmogorov Complexity
"Toward Basing Cryptography on the Hardness of EXP," by Yanyi Liu and Rafael Pass, establishes surprisingly tight bidirectional connections between one-way functions and the cross-domain notion of Kolmogorov complexity.
Protecting Autonomous Cars from Phantom Attacks
Enabling object detectors to better distinguish between real and fake objects in semi-autonomous and fully autonomous vehicles.
Eight Reasons to Prioritize Brain-Computer Interface Cybersecurity
Defining and analyzing the impact of cyberattacks on novel generations of BCIs.
A new generation of automatic theorem provers eliminate bugs in software and mathematics.
Technical Perspective: On Abstractions and Embedded Networks
"Symbol-Synchronous Buses," by Jonathan Oostvogels et al., conceives a notion of a symbol-synchronous bus, which effectively makes a multi-hop wireless network behave like a single wire.
Symbol-Synchronous Buses: Deterministic, Low-Latency Wireless Mesh Networking with LEDs
We describe a novel networking paradigm that aims to enable a new class of latency-sensitive applications by systematically breaking networking abstractions.
Shape the Future of Computing
ACM encourages its members to take a direct hand in shaping the future of the association. There are more ways than ever to get involved.
Get InvolvedCommunications of the ACM (CACM) is now a fully Open Access publication.
By opening CACM to the world, we hope to increase engagement among the broader computer science community and encourage non-members to discover the rich resources ACM has to offer.
Learn More