CACM logo

July 2009 (Vol. 52, No. 7)
Barbara Liskov: ACM's A.M. Turing Award Winner

Table of Contents

DEPARTMENT: Editor's letter

Open, Closed, or Clopen Access?

A frequent question I hear about Communications, and about ACM publishing in general, involves its access model. I am asked: "Why don't you adopt the open-access model?" Good question! Why don't we?

Page 5

DEPARTMENT: Publisher's corner

Communications' Annual Report Card

This issue marks the first anniversary of the completely revamped Communications, so I thought it would be appropriate to report on how we're doing so far.

Pages 6-7

DEPARTMENT: Letters to the editor

DEPARTMENT: blog@CACM

Sharing Ideas, Writing Apps, and Creating a Professional Web Presence

Greg Linden reveals his new approach to reading research papers, Mark Guzdial discusses how to encourage students to write computer programs, and Tessa Lau shares her ideas about the importance of Web visibility.

Pages 10-11

DEPARTMENT: CACM online

COLUMN: News

Contemporary Approaches to Fault Tolerance

Thanks to computer scientists like Barbara Liskov, researchers are making major progress with cost-efficient fault tolerance for Web-based systems.

Pages 13-15

Toward Native Web Execution

Several software projects are narrowing the performance gap between browser-based applications and their desktop counterparts. In the process, they're creating new ways to improve the security of Web-based computing.

Pages 16-17

Are We Losing Our Ability to Think Critically?

Computer technology has enhanced lives in countless ways, but some experts believe it might be affecting people's ability to think deeply.

Pages 18-19

Liskov's Creative Joy

Barbara Liskov muses about the creative process of problem solving, finding the perfect design point, and pursuing a research path.

Pages 20-22

Master of Connections

Jon Kleinberg is honored for his pioneering research on the Web and social networking.

Page 23

ACM Award Winners

Among this year's distinguished honorees are Barbara Liskov of Massachusetts Institute of Technology and Jon Kleinberg of Cornell University.

Page 25

COLUMN: Viewpoints

The Dead Souls of the Google Book Search Settlement

Why the Google Book Search settlement agreement under consideration could result in an extensive restructuring of the book industry.

Pages 28-30

Globalization of Knowledge-Intensive Professional Services

Does the trend toward standardization and modularization of professional services make outsourcing inevitable?

Pages 31-33

The Cliché Defense

A guide to playing the ploys frequently employed by cliché-driven management.

Pages 34-36

Why Computer Science Doesn't Matter

Aligning computer science with high school mathematics can help turn it into an essential subject for all students.

Pages 37-40

CS Education in the U.S.: Heading in the Wrong Direction?

Considering the most effective methods for teaching students the fundamental principles of software engineering.

Pages 41-45

SECTION: Practice

The Five-Minute Rule 20 Years Later

Revisiting Gray and Putzolu's famous rule in the age of Flash.

Pages 48-59

Fighting Physics

The laws of physics and the Internet's routing infrastructure affect performance in a big way.

Pages 60-65

SECTION: Contributed articles

Steps Toward Self-Aware Networks

Network software adapts to user needs and load variations and failures to provide reliable communications in largely unknown networks.

Pages 66-75

The Metropolis Model: A New Logic for Development of Crowdsourced Systems

It takes a city of developers to build a big system that is never done.

Pages 76-84

SECTION: Review articles

Probabilistic Databases: Diamonds in the Dirt

Treasures abound from hidden facts found in imprecise data sets.

Pages 86-94

SECTION: Research highlights

Apprenticeship Learning for Helicopter Control

Autonomous helicopter flight is widely regarded to be a highly challenging control problem. As helicopters are highly unstable and exhibit complicated dynamical behavior, it is particularly difficult to design controllers that …

Pages 97-105

Formal Verification of a Realistic Compiler

This paper reports on the development and formal verification (proof of semantic preservation) of CompCert, a compiler from Clight (a large subset of the C programming language) to PowerPC assembly code, using the Coq proof assistant …

Pages 107-115

COLUMN: Last byte

Q&A: Liskov on Liskov

Barbara Liskov talks about her ground breaking work in data abstraction and distributed computing.

Pages 120-ff

SECTION: Virtual extension

Security Challenges of the EPCglobal Network

The "Internet of Things," once reality, will have to rely on a global IT infrastructure that provides information about all those "things" in a secure and reliable manner. The …

Pages 121-125

Churchman's Inquirers as Design Templates for Knowledge Management Systems

Pages 126-129

A Relevancy-Based Services View for Driving Adoption of Wireless Web Services in the U.S.

Wireless service providers have invested heavily in upgrading their networks to the next generation standard (3G). However, consumer interest in data …

Pages 130-134

The Impact of Subversive Stakeholders on Software Projects

The literature in the field of project management, especially the literature about risk, is particularly rich in advice about addressing software failure …

Pages 135-138

Improving the Cyber Security of SCADA Communication Networks

Since SCADA networks were initially designed with little attention to security, they can be easy targets of attacks by terrorist groups.

Pages 139-142

Adoption Leadership and Early Planners: Comcast's IP Upgrade Strategy

Pages 143-146

Software Project Scope Alignment: an outcome-based approach

Decades of evidence reveal a shockingly low success rate for software projects. Although the record is slowly improving, much work remains before software project success becomes …

Pages 147-152

Technical Opinion: The Ethics of IT Professionals in China

In modern information societies, the ethical integrity and accountability of IT professionals is particularly important, given the extensive reliance …

Pages 153-155

About Communications | Join ACM External Link | Renew External Link | Subscribe External Link | Sign In | For Authors | For Advertisers External Link | Privacy | Site Map | Help | Contact Us

Copyright © 2009 by the ACM. All rights reserved.