Software Engineering and Programming Languages Archives - Page 75 of 283

Opinion Jan 1 2012

eBooks Will Abound in the ACM Digital Library

ACM is preparing to offer a new and exciting member benefit for 2012; eBooks accessible via the ACM Digital Library! Expanding the eBooks Collections in the ACM Learning Center, ACM will make available full-text versions of eBook titles published by Morgan Kaufmann and Syngress.

Scott Delman

News Jan 1 2012

ACM’s Annual Report

FY11 was a defining year for ACM as the largest educational and scientific computing society in the world. Many of the initiatives we have set forth over the last few years have taken root and we now see tangible evidence of their success.

Alain Chesnais

News Dec 27 2011

The Perfect Software Tester?

As Aspiritech and other companies are discovering, autistic individuals possess certain unique skills that make them ideal as software testers.

Paul Hyman

BLOG@CACM Dec 4 2011

Hadoop AllReduce and Terascale Learning

In a breakthrough last summer, we came up with the first learning algorithm I've seen that is provably faster than any future single machine learning algorithm.

John Langford

Practice Dec 1 2011

Postmortem Debugging in Dynamic Environments

Many modern dynamic languages lack tools for understanding complex failures.

David Pacheco

Practice Dec 1 2011

How Will Astronomy Archives Survive the Data Tsunami?

Astronomers are collecting more data than ever. What practices can keep them ahead of the flood?

G. Bruce Berriman and Steven L. Groom

Practice Dec 1 2011

Coding Guidelines: Finding the Art in the Science

Computer science is both a science and an art. Yet, when it comes time for implementation, there is a combination of artistic flare, nuanced style, and technical prowess that separates good code from great code.

Robert Green and Henry Ledgard

Research and Advances Dec 1 2011

Technical Perspective: Safety First!

Software misbehaves all too often. This is a truism, but also the driving force behind many computing techniques intended to increase software reliability, safety, and security, ranging from basic testing to full formal verification.

Xavier Leroy

Research and Advances Dec 1 2011

Safe to the Last Instruction: Automated Verification of a Type-Safe Operating System

High-level computer applications build on services provided by lower-level software layers. Unfortunately, today's low-level software still suffers from a steady stream of bugs, often leaving computers vulnerable to attack until the bugs are patched.

Jean Yang and Chris Hawblitzel

Opinion Dec 1 2011

Q&A: Scaling Up

M. Frans Kaashoek talks about multicore computing, security, and operating system design.

Leah Hoffmann

News Dec 1 2011

The Rise of Molecular Machines

The field of molecular computing is achieving new levels of control over biochemical processes and fostering sophisticated connections between computer science and the biological sciences.

Kirk L. Kroeker

wiring diagram specifying a biochemical circuit

News Dec 1 2011

Dennis Ritchie, 1941-2011

Colleagues recall the creator of C and codeveloper Unix, an unassuming but brilliant man who enjoyed playing practical jokes on his coworkers.

Paul Hyman

Opinion Dec 1 2011

Debugging on Live Systems

It is more of a social than a technical problem.

George V. Neville-Neil

Research and Advances Dec 1 2011

Formal Analysis of MPI-Based Parallel Programs

The goal is reliable parallel simulations, helping scientists understand nature, from how foams compress to how ribosomes construct proteins.

Research and Advances Dec 1 2011

Visual Crowd Surveillance Through a Hydrodynamics Lens

People in high-density crowds appear to move with the flow of the crowd, like particles in a liquid.

Brian E. Moore, Saad Ali, Ramin Mehran, and Mubarak Shah

Research and Advances Dec 1 2011

License Risks from Ad Hoc Reuse of Code from the Internet

Software developers' reuse of code from the Internet bears legal and economic risks for their employers.

Manuel Sojer and Joachim Henkel

Opinion Dec 1 2011

Life, Death, and the iPad: Cultural Symbols and Steve Jobs

In the days that followed Steve Jobs' death, he was frequently compared to Henry Ford and Thomas Edison. But Jobs was creating experiences, not technologies or products. He, and Apple, were creating a new symbolic register in which we all might participate.

Genevieve Bell

Opinion Dec 1 2011

Computing For Humans

Leibniz conceived of a universal mathematical language in which all human knowledge can be expressed, and calculational rules carried out by machines to derive all logical relationships. His definition of computing captures, I believe, the essence of our field.

Moshe Y. Vardi

Opinion Dec 1 2011

The Most Ancient Marketing

Before Apple, Steve Jobs famously went to India with a college friend. While I never had occasion to talk to Jobs about it, I have a theory I wish I had a chance to try out on him. The theory is that Jobs saw gurus in India, focal points of love and respect, surrounded by devotees, and thought to himself, "I want that job!"

Jaron Lanier

BLOG@CACM Nov 12 2011

Exciting New Research Presented at Grace Hopper

The Grace Hopper Conference includes a Ph.D. Forum that showcases the research of current Ph.D. students, with the additional goal of providing support and mentoring.

Valerie Barr

Opinion Nov 1 2011

Justice For Jahromi

The computer science community is deeply concerned over the fate of Masaud Jahromi, chairman of the Department of Computer Science and Engineering at Ahlia University in Bahrain. Jahromi was arrested and taken from his home April 14, 2011.

CACM Staff

Opinion Nov 1 2011

Will Software Engineering Ever Be Engineering?

Considering whether software engineering and engineering can share a profession.

Michael Davis

Will Software Engineering Ever Be Engineering?, illustration

Practice Nov 1 2011

Java Security Architecture Revisited

Difficult technical problems and tough business challenges.

Li Gong

Java Security Architecture Revisited, illustration

Practice Nov 1 2011

The Software Industry is the Problem

The time has come for software liability laws.

Poul-Henning Kamp

The Software Industry is the Problem, illustration

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