acm-header
Sign In

Communications of the ACM

News


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.


Hacker-Proof Code Confirmed
From ACM News

Hacker-Proof Code Confirmed

Computer scientists can prove certain programs to be error-free with the same certainty that mathematicians prove theorems. 

In Memoriam: Boris Trakhtenbrot, 1921-2016
From ACM News

In Memoriam: Boris Trakhtenbrot, 1921-2016

The mathematician discovered and proved the Gap Theorem, as well as what is now called Trakhtenbrot's Theorem.

Geneticists Attempt to Heal Rifts with Aboriginal Communities
From ACM News

Geneticists Attempt to Heal Rifts with Aboriginal Communities

In 1938, anthropologists Norman Tindale and Joseph Birdsell set off on an 18-month, 29,000-kilometre expedition to survey Australia's indigenous groups.

Federal Officials Plan Aggressive Approach to Driverless Cars
From ACM TechNews

Federal Officials Plan Aggressive Approach to Driverless Cars

U.S. Department of Transportation Secretary Anthony Foxx on Monday announced plans to aggressively influence the launch of driverless car technology.  

An Autonomous Fleet For Amsterdam
From ACM TechNews

An Autonomous Fleet For Amsterdam

The Massachusetts Institute of Technology has partnered with the Amsterdam Institute for Advanced Metropolitan Solutions to test a fleet of autonomous boats.

Researchers Eye Gaming as Tool For Boosting Computer Science Skills, Diversity in Middle Schools
From ACM TechNews

Researchers Eye Gaming as Tool For Boosting Computer Science Skills, Diversity in Middle Schools

Researchers from North Carolina State University and the University of Florida plan to use a custom-designed videogame to improve educational outcomes in middle...

The Cryptographic Key That Secures the Web Is Being Changed For the First Time
From ACM TechNews

The Cryptographic Key That Secures the Web Is Being Changed For the First Time

The Internet Corporation for Assigned Names and Numbers next month will make the first-ever revision of the Root Zone Signing Key.  

Inside Google's Internet Justice League and Its AI-Powered War on Trolls
From ACM TechNews

Inside Google's Internet Justice League and Its AI-Powered War on Trolls

Online forums and social media platforms are havens for trolls and bullies who launch campaigns of harassment can lead to the self-censorship of the people they...

In Backing Autonomous Cars, ­.s. Tells Automakers to Figure It Out
From ACM News

In Backing Autonomous Cars, ­.s. Tells Automakers to Figure It Out

The Obama administration's approach to hands-free driving is remarkably hands-off.

Obama's Science Advisors: Much Forensic Work Has No Scientific Foundation
From ACM News

Obama's Science Advisors: Much Forensic Work Has No Scientific Foundation

Last year, the US Department of Justice released a report that involved some painful self-examination.

Artificial Intelligence Software Is Booming. But Why Now?
From ACM News

Artificial Intelligence Software Is Booming. But Why Now?

This is the year artificial intelligence came into its own for mainstream businesses, at least as a marketing feature.

Remote Repairs, Healthy Crops, Police Surveillance: The Future of Drones, Ar, and Vr
From ACM News

Remote Repairs, Healthy Crops, Police Surveillance: The Future of Drones, Ar, and Vr

The future, according to the world's largest vendor of networking gear, is all part of the Internet of Things.

Loyola Faculty Win $280k Grant From National Science Foundation to Supercharge Research Computing Power Available on Campus
From ACM TechNews

Loyola Faculty Win $280k Grant From National Science Foundation to Supercharge Research Computing Power Available on Campus

Four Loyola University Maryland faculty members have received more than $280,000 to build the university's first high-performance computing cluster.

Ornl Helps Develop Hybrid Computational Strategy For Efficient Sequencing of Massive Genome Datasets
From ACM TechNews

Ornl Helps Develop Hybrid Computational Strategy For Efficient Sequencing of Massive Genome Datasets

Oak Ridge National Laboratory researchers say they have developed a novel hybrid computational strategy to efficiently discover genetic variants.

Lightweight, Wearable Tech Efficiently Converts Body Heat to Electricity
From ACM TechNews

Lightweight, Wearable Tech Efficiently Converts Body Heat to Electricity

North Carolina State University researchers have developed a new design for harvesting body heat and converting it into electricity for use in wearable electronics...

Confused About Those Emergency Cellphone Alerts? Here's How They Work.
From ACM News

Confused About Those Emergency Cellphone Alerts? Here's How They Work.

Many New York-area commuters on Monday were interrupted by this alert on their cellphones: "WANTED: Ahmad Khan Rahami, 28-yr-old male. See media for pic. Call 9...

How Random Is Your Randomness, and Why Does It Matter?
From ACM News

How Random Is Your Randomness, and Why Does It Matter?

Randomness is vital for computer security, making possible secure encryption that allows people to communicate secretly even if an adversary sees all coded messages...

How Police Trace Cellphones in Ieds Like the Ones in Nyc
From ACM News

How Police Trace Cellphones in Ieds Like the Ones in Nyc

A cellphone makes a convenient detonator for an improvised explosive device. But it's also one of the most conveniently trackable devices under the eye of American...

A Lesson of Tesla Crashes? Computer Vision Can't Do It All Yet
From ACM News

A Lesson of Tesla Crashes? Computer Vision Can't Do It All Yet

Jitendra Malik, a researcher in computer vision for three decades, doesn't own a Tesla, but he has advice for people who do.

Saving Lives By Letting Cars Talk to Each Other
From ACM TechNews

Saving Lives By Letting Cars Talk to Each Other

Wireless connectivity offers to improve safety as semi-autonomous and fully autonomous cars mature and proliferate.
Sign In for Full Access
» Forgot Password? » Create an ACM Web Account