Software Engineering and Programming Languages Archives - Page 43 of 283

Research and Advances Feb 1 2017

A Messy State of the Union: Taming the Composite State Machines of TLS

We systematically test popular TLS implementations and find unexpected transitions in many of their state machines that have stayed hidden for years. We show how some of these flaws lead to critical security vulnerabilities.

Research and Advances Feb 1 2017

Technical Perspective: Cleaning Up Flaws in TLS Implementations

One unfortunate fact about protocols is that as they get older and applied to more scenarios — and TLS is used basically everywhere — they tend to gain weight. A truism of the security community is that "complexity is the enemy of security." What is the community doing about this?

Eric Rescorla

Research and Advances Feb 1 2017

Model Learning

Model learning emerges as an effective method for black-box state machine models of hardware and software components.

Frits Vaandrager

News Jan 26 2017

How AI Is Changing Software Development

Artificial intelligence technologies like advanced machine learning, deep learning, and natural language processing will help build better software faster.

Esther Shein

News Jan 5 2017

The U.S. Goes All-In on Tech Inclusion

A wave of U.S. federal funding aims to make the science, technology, engineering, and mathematics fields more inclusive.

Logan Kugler

COMPUgirls participants program a Nao robot to dance.

Research and Advances Jan 1 2017

Bottom-Up Enterprise Information Systems: Rethinking the Roles of Central It Departments

Central IT needs to guide functional areas and departments toward effective operational and procurement practices.

Cecil Eng Huang Chua and Veda C. Storey

Bottom-Up Enterprise Information Systems, illustration

Research and Advances Jan 1 2017

Technical Perspective: Mapping the Universe

"HACC: Extreme Scaling and Performance Across Diverse Architectures" describes the Hardware/Hybrid Accelerated Cosmology Code (HACC) framework, which uses a novel algorithmic structure to map code onto multiple supercomputer platforms, whether heterogeneous CPU/GPU or multi/many-core systems.

Valentina Salapura

Research and Advances Jan 1 2017

HACC: Extreme Scaling and Performance Across Diverse Architectures

In this Research Highlight, we demonstrate the success of HACC on two very different machines, the CPU/GPU system Titan and the BG/Q systems Sequoia and Mira, attaining very high levels of scalable performance.

News Jan 1 2017

Bias in Technology

As leading companies release troubling diversity statistics, experts search for solutions.

Gregory Mone

Practice Jan 1 2017

Faucet: Deploying SDN in the Enterprise

Using OpenFlow and DevOps for rapid development.

Josh Bailey and Stephen Stuart

Faucet: Deploying SDN in the Enterprise, illustration

BLOG@CACM Jan 1 2017

How We Teach CS2All, and What to Do About Database Decay

Valerie Barr considers how to make computer science education meaningful and relevant to all, while a team from the Massachusetts Institute of Technology Computer Science and Artificial Intelligence Laboratory offers strategies to counter database decay.

News Dec 27 2016

Settling p via Closed Loop Digital Wallets

Starbucks and others are providing app-based alternatives to Apple Pay, Android Pay.

Mark Broderick

BLOG@CACM Dec 20 2016

Null-Pointer Crashes, No More

Void safety is a guarantee that no code will ever catch a reference with its pants down.

Bertrand Meyer

News Dec 9 2016

In Memoriam: Andrew Birrell 1951-2016

He specialized in "in the general area of operating systems and distributed systems, with occasional excursions into security."

Lawrence M. Fisher

News Dec 8 2016

A Drug Laboratory on Wheels

Decentralizing the way medicines are made.

Joe Dysart

The portable drug lab could decentralize the way drugs are made.

News Dec 6 2016

Coding Comics

Macarthur Fellow Gene Luen Yang's graphic novels introduce kids to computer programming.

Erica Klarreich

Research and Advances Dec 1 2016

Creating Connection with Autonomous Facial Animation

Biologically based computational modeling promises virtual characters capable of face-to-face human interaction.

Mark Sagar, Mike Seymour, and Annette Henderson

Research and Advances Dec 1 2016

Interactive Visualization of 3D Scanned Mummies at Public Venues

A full-body virtual autopsy of an ancient Egyptian mummy showed visitors he was likely murdered.

Opinion Dec 1 2016

Learning to Learn

Do you get stuck when it is time to learn something new? Read this.

Peter J. Denning and Gloria Flores

Research and Advances Dec 1 2016

Software-Defined Batteries

In this paper, we present a new hardware-software system, called Software Defined Battery, which allows system designers to integrate batteries of different chemistries.

Research and Advances Dec 1 2016

Technical Perspective: The Chemistry of Software-Defined Batteries

A time-tested principle in computer systems design is to use an interface to separate an abstraction from its implementation. "Software-Defined Batteries" represents a convergence of these two evolutionary threads.

Srinivasan Keshav

News Dec 1 2016

Containers Push Toward the Mayfly Server

The container revolution represents a large-scale shift in thinking about multitasking systems.

Chris Edwards

News Dec 1 2016

Cracking the Code on Biology

Genetic engineering promises to revolutionize everything from agriculture and biofuels to medicine and food safety.

Samuel Greengard

Cracking the Code on Biology, illustrative photo

Practice Dec 1 2016

Functional at Scale

Applying functional programming principles to distributed computing projects.

Marius Eriksen

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 Involved

Communications 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