Research and Advances – Page 57 – Communications of the ACM

Sep 1 2010

Constraint Satisfaction Problems and Global Cardinality Constraints

In a constraint satisfaction problem (CSP) the goal is to find an assignment of a given set of variables subject to specified constraints. A global cardinality constraint is an additional requirement that prescribes how many variables must be assigned a certain value.

Andrei A. Bulatov and Dániel Marx

Systems and Networking

Sep 1 2010

Privacy Integrated Queries: An Extensible Platform For Privacy-Preserving Data Analysis

Privacy Integrated Queries (PINQ) is an extensible data analysis platform designed to provide unconditional privacy guarantees for the records of the underlying data sets. PINQ's analysis language and its implementation provide formal guarantees of differential privacy for any and all uses of the platform.

Frank McSherry

Computing Applications

Sep 1 2010

Technical Perspective: Programming With Differential Privacy

Government agencies worldwide release statistical information about population, education, and health, crime, and economic activities. In the U.S., protecting this data goes back to the 19th century, when the field of statistical disclosure limitation was born.

Johannes Gehrke

Computing Applications

Sep 1 2010

Technical Perspective: Constraint Satisfaction Problems and Computational Complexity

It takes little imagination to come up with a wealth of problems in scheduling and planning that can be expressed as Constraint Satisfaction Problems (CSPs). It's no surprise, then, that CSPs have an important place in the fields of AI and operations research.

Mark Jerrum

Systems and Networking

Aug 1 2010

The Singularity System

Safe, modern programming languages let Microsoft rethink the architectural trade-offs in its experimental operating system.

James Larus and Galen Hunt

Computing Applications

Aug 1 2010

Predicting the Popularity of Online Content

Early patterns of Digg diggs and YouTube views reflect long-term user interest.

Gabor Szabo and Bernardo A. Huberman

Computing Applications

Aug 1 2010

Memory Models: A Case For Rethinking Parallel Languages and Hardware

Solving the memory model problem will require an ambitious and cross-disciplinary research direction.

Sarita V. Adve and Hans-J. Boehm

Architecture and Hardware

Aug 1 2010

Reasoning About the Unknown in Static Analysis

Static program analysis techniques cannot know certain values, such as the value of user input or network state, at analysis time. While such unknown values need to be treated as nondeterministic choices made by the program's execution environment, it is still possible to glean very useful information about how such statically unknown values may or must influence computation.

Isil Dillig, Thomas Dillig, and Alex Aiken

Computing Applications

Aug 1 2010

Technical Persepctive: Attacks Target Web Server Logic and Prey on XCS Weaknesses

A system is secure only if the entire system is secure. While this may sound obvious, achieving total security throughout a system is rarely trivial when you consider many real-world systems are constantly evolving.

Helen Wang

Computing Applications

Aug 1 2010

Technical Persepctive: Large-Scale Sound and Precise Program Analysis

You are given a program. Will it crash? Is it subject to a spoofing, buffer overflow, or injection attack? Is this part of it dead code? Can I replace that code fragment with a more efficient one? All of these questions require program analysis.

Fritz Henglein

Computing Applications

Aug 1 2010

The Emergence of Cross Channel Scripting

Lightweight, embedded Web servers are soon about to outnumber regular Internet Web servers. We reveal a series of attacks that target Web server logic and are based on a new type of sophisticated vulnerability that we call cross channel scripting (XCS).

Hristo Bojinov, Elie Bursztein, and Dan Boneh

Computing Applications

Aug 1 2010

How a Service-Oriented Architecture May Change the Software Development Process

Software development practices have evolved substantially during the past decade. As so called "agile" approaches have gained more acceptance, the service-oriented approach to IT architecture has become an important alternative to traditional software development.

Marc N. Haines and Marcus A. Rothenberger

Architecture and Hardware

Aug 1 2010

thinkflickrthink: A Case Study on Strategic Tagging

The growth both in quantity and diversity of online communities across the World Wide Web, along with a number of new technologies that enhance both social interaction and content management, have bred an array of increasingly participatory practices.

Eugenio Tisselli

Artificial Intelligence and Machine Learning

Aug 1 2010

Intelligent Service Machine

The service sector is becoming increasingly important to the economies of many countries, especially developed countries. OECD recently released a report noting that government policy in developed countries has not been attuned to the service sector.

Wei-Fung Tung and Soe-Tsyr Yuan

Computing Applications

Aug 1 2010

Plat_Forms: Is There One Best Web Development Technology?

Software developers during their work face a multitude of options. There are methodological choices and technological choices. While solid research is available on some methodological topics, there is hardly any high-quality information on how specific technologies influence development success.

Lutz Prechelt

Computing Applications

Jul 1 2010

Application Service Providers: Market and Adoption Decisions

A relatively new form of IS outsourcing, Application Services Provision (ASP), provides applications to multiple entities from its data center across a wide area network.

Yurong Yao, Edward Watson, and Beverly K. Kahn

Computing Applications

Jul 1 2010

Computer Graphics For All

Interactive computer graphics would rival word-processing and presentation programs for everyday communications.

Takeo Igarashi

Artificial Intelligence and Machine Learning

Jul 1 2010

Commonsense Understanding of Concurrency: Computing Students and Concert Tickets

Innate understanding of concurrency helps beginners solve CS problems with multiple processes executing at the same time.

Architecture and Hardware

Jul 1 2010

Technical Perspective: A Solid Foundation For X86 Shared Memory

Multithreaded programs that communicate through shared memory are pervasive. Today they are the most obvious route to using multiple available processor cores for a single task.

Hans-J. Boehm

Computing Applications

Jul 1 2010

Phase Change Memory Architecture and the Quest For Scalability

Memory scaling is in jeopardy as charge storage and sensing mechanisms become less reliable for prevalent memory technologies. In contrast, phase change memory relies on programmable resistances, as well as scalable current and thermal mechanisms.

Benjamin C. Lee, Engin Ipek, Onur Mutlu, and Doug Burger

Architecture and Hardware

Jul 1 2010

Technical Perspective: Technology Scaling Redirects Main Memories

As predicted by Intel's Gordon Moore in 1965, the number of transistors that can be integrated on one die continues to double approximately every two years. Amazing to some, Moore's Law has prevailed for 45 years.

Mary Jane Irwin

Architecture and Hardware

Jul 1 2010

X86-TSO: A Rigorous and Usable Programmer’s Model For X86 Multiprocessors

Exploiting the multiprocessors that have recently become ubiquitous requires high-performance and reliable concurrent systems code. However, concurrent programming, which is always challenging, is made much more so by two problems.

Computing Applications

Jul 1 2010

Algorithmic Game Theory

A new era of theoretical computer science addresses fundamental problems about auctions, networks, and human behavior.

Tim Roughgarden

Artificial Intelligence and Machine Learning

Jul 1 2010

IT Programs in High Schools: Lessons from the Cisco Networking Academy Program

Student enrollment in college computer science and information technology programs are in a downward trend in most developed countries. This article examines the Cisco Networking Academy to understand what lessons we can draw for other CS/IT high school initiatives.

Alan R. Dennis, Thomas M. Duffy, and Hasan Cakir

Computing Applications

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