Testing a distributed system can be trying even under the best of circumstances.
Software Engineering and Programming Languages
Advertisement
Commonsense Reasoning and Commonsense Knowledge in Artificial Intelligence
AI has seen great advances of many kinds recently, but there is one critical area where progress has been extremely slow: ordinary commonsense.
Dan Boneh on pairing-based cryptography, multilinear maps, and how an 1,800-year-old "intellectual curiosity" became the foundation of all secure network traffic.
Should Conferences Meet Journals and Where?: A Proposal For 'PACM'
The ACM Publications Board Conferences Committee has been working on a proposal that brings together conference and journal publishing. Here, we offer some background leading up to this proposal, summarize the plan, and solicit your input.
The issue of whether to add a "leap second" to square the clock with the Earth's orbit pits time specialists against IT.
The Pros and Cons of the ‘PACM’ Proposal: Point
In "Should Conferences Meet Journals and Where?" ACM Publications Board co-chairs Joseph A. Konstan and Jack W. Davidson introduce a proposal that would interweave conference and journal publishing. Here, computer scientist Kathryn S. McKinley argues for and against the proposal.
May the Computational Force Be with You
There are many open questions in complexity theory concerning "a deeper reality below the one we perceive" that may be relevant, even fundamental, to Yannis Papakonstantinou's Viewpoint "Created Computed Universe" (June 2015).
Debugging High-Performance Computing Applications at Massive Scales
Dynamic analysis techniques help programmers find the root cause of bugs in large-scale parallel applications.
Trustworthy Hardware from Untrusted Components
This defense-in-depth approach uses static analysis and runtime mechanisms to detect and silence hardware backdoors.
On the Categorization of Scientific Citation Profiles in Computer Science
A new dynamic growth model reveals how citation networks evolve over time, pointing the way toward reformulated scientometrics.
Natural Language Translation at the Intersection of AI and HCI
Old questions being answered with both AI and HCI.
Meg Leta Jones's "Forgetting Made (Too) Easy" (June 2015) raised an important concern about the Court of Justice of the European Union's Google Spain judgment. Google "is without any guidance as to which interests should trump others, when, and why," she wrote. This is not quite true.
Challenges Deploying Complex Technologies in a Traditional Organization
The National Palace Museum in Taiwan had to partner with experienced cloud providers to deliver television-quality exhibits.
Programming the Quantum Future
The Quipper language offers a unified general-purpose programming framework for quantum computation.
Surveillance and Falsification Implications For Open Source Intelligence Investigations
Legitimacy of surveillance is crucial to safeguarding validity of OSINT data as a tool for law-enforcement agencies.
Silicon Brains Compete at Games
The 18th Computer Olympiad had programs vying against each other in strategic game-playing.
The Dallas Cowboys is the first professional football team to use Virtual Reality in player training; others are following suit.
A New ‘model For Models’ in Software Development Effort Estimation
Researchers put forth an automatically transformed linear model as a suitable baseline model for comparison against software estimation effort models.
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