acm-header
Sign In

Communications of the ACM

News


Latest News News Archive Refine your search:
subjectTheory
authorNeil Savage
bg-corner

An edited collection of advanced computing news from Communications of the ACM, ACM TechNews, other ACM resources, and news sites around the Web.


Getting Down to Basics
From Communications of the ACM

Getting Down to Basics

2020 ACM A.M. Turing Award recipients Alfred Aho and Jeffrey Ullman helped develop formal language theory, invented efficient algorithms to drive the tasks of a...

Your Wish Is My CMD
From Communications of the ACM

Your Wish Is My CMD

Artificial intelligence could automate software coding.

Code Talkers
From Communications of the ACM

Code Talkers

Using voice input to write programs.

Using Functions for Easier Programming
From Communications of the ACM

Using Functions for Easier Programming

Functional programming languages automate many of the details underlying specific operations.

Always Out of Balance
From Communications of the ACM

Always Out of Balance

Computational theorists prove there is no easy algorithm to find Nash equilibria, so game theory will have to look in new directions.

Weaving the Web
From Communications of the ACM

Weaving the Web

Sir Tim Berners-Lee created a paradigm shift that changed the world with his invention of the World Wide Web, Hypertext Transport Protocol, and Hypertext Markup...

Graph Matching in Theory and Practice
From Communications of the ACM

Graph Matching in Theory and Practice

A theoretical breakthrough in graph isomorphism excites complexity experts, but will it lead to any practical improvements?

When Computers Stand in the Schoolhouse Door
From Communications of the ACM

When Computers Stand in the Schoolhouse Door

Classification algorithms can lead to biased decisions, so researchers are trying to identify such biases and root them out.

Split Second
From Communications of the ACM

Split Second

The issue of whether to add a "leap second" to square the clock with the Earth's orbit pits time specialists against IT.

Forging Relationships
From Communications of the ACM

Forging Relationships

Michael Stonebraker didn't realize at the outset that it would take six years to create INGRES, one of the world's first relational databases.

Plenty of Proteins
From Communications of the ACM

Plenty of Proteins

The growth of structural biology brings new challenges for the world's protein data archive.

Gradual Evolution
From Communications of the ACM

Gradual Evolution

Dynamically typed languages adopt features of static typing to cope with growth.

General Agreement
From Communications of the ACM

General Agreement

Leslie Lamport contributed to the theory and practice of building distributed computing systems that work as intended.

Backing Creativity
From Communications of the ACM

Backing Creativity

Hacker spaces are spreading around the world, though some government funding is raising questions.

Proofs Probable
From Communications of the ACM

Proofs Probable

Shafi Goldwasser and Silvio Micali laid the foundations for modern cryptography, with contributions including interactive and zero-knowledge proofs.

Social Network Data Reveals Non-Members' Secrets
From ACM News

Social Network Data Reveals Non-Members' Secrets

People who avoid social networking sites to maintain their privacy may not be as secure as they think, German computer scientists say. 

Game Changer
From Communications of the ACM

Game Changer

Judea Pearl's passionate advocacy of the importance of probability and causality helped revolutionize artificial intelligence.

Filling Space With Polyhedra
From ACM News

Filling Space With Polyhedra

Salvatore Torquato’s unique space-packing method has implications in information theory and materials science.
Sign In for Full Access
» Forgot Password? » Create an ACM Web Account