Research and Advances – Page 43 – Communications of the ACM

Jun 1 2014

Motion Fields For Interactive Character Locomotion

We propose a novel representation of motion data and control of virtual characters that gives highly agile responses to user input and allows a natural handling of arbitrary external disturbances.

Artificial Intelligence and Machine Learning

May 1 2014

The Community Source Approach to Software Development and the Kuali Experience

Participating educational institutions get a much more cost-effective result compared to the commercial off-the-shelf alternative.

Manlu Liu, Sean Hansen, and Qiang Tu

Architecture and Hardware

May 1 2014

Reducing the Software Value Gap

How to cope with the growing demand for software solutions at no extra cost.

Shimeon Pass and Boaz Ronen

Architecture and Hardware

Reducing the Software Value Gap, illustration

May 1 2014

Cloud Security: A Gathering Storm

Users' trust in cloud systems is undermined by the lack of transparency in existing security policies.

Mihir Nanavati, Patrick Colp, Bill Aiello, and Andrew Warfield

Architecture and Hardware

May 1 2014

Understanding the Empirical Hardness of NP-Complete Problems

Using machine learning to predict algorithm runtime.

Kevin Leyton-Brown, Holger H. Hoos, Frank Hutter, and Lin Xu

Artificial Intelligence and Machine Learning

Understanding the Empirical Hardness of NP-Complete Problems, illustration

May 1 2014

Technical Perspective: The Interplay of Neuroscience and Cryptography

An ideal scheme for password storage would enable a password with more than 20 bits of randomness to be input and output from the brain of a human being who is unconscious of the process and thus unable to give away or reveal the password.

Ari Juels and Bonnie Wong

Architecture and Hardware

May 1 2014

Neuroscience Meets Cryptography: Crypto Primitives Secure Against Rubber Hose Attacks

We present a defense against coercion attacks using the concept of implicit learning from cognitive psychology. We use a carefully crafted computer game to allow a user to implicitly learn a secret password without them having any explicit or conscious knowledge of the trained password.

Architecture and Hardware

Neuroscience Meets Cryptography, illustration

Apr 1 2014

Formally Verified Mathematics

With the help of computational proof assistants, formal verification could become the new standard for rigor in mathematics.

Jeremy Avigad and John Harrison

Artificial Intelligence and Machine Learning

Formally Verified Mathematics, illustration

Apr 1 2014

Unifying Functional and Object-Oriented Programming with Scala

Scala unifies traditionally disparate programming-language philosophies to develop new components and component systems.

Martin Odersky and Tiark Rompf

Computing Applications

Apr 1 2014

Who Does What in a Massive Open Online Course?

Student-participation data from the inaugural MITx (now edX) course — 6.002x: Circuits and Electronics — unpacks MOOC student behavior.

Computing Applications

Who Does What in a Massive Open Online Course?, illustration

Apr 1 2014

Security and Privacy For Augmented Reality Systems

AR systems pose potential security concerns that should be addressed before the systems become widespread.

Franziska Roesner, Tadayoshi Kohno, and David Molnar

Artificial Intelligence and Machine Learning

Security and Privacy for Augmented Reality Systems, illustration

Apr 1 2014

Bounded Biharmonic Weights For Real-Time Deformation

Changing an object's shape is a basic operation in computer graphics. Our goal is to make the design and control of deformations simpler by allowing the user to work freely with the most convenient combination of handle types.

Alec Jacobson, Ilya Baran, Jovan Popović, and Olga Sorkine-Hornung

Artificial Intelligence and Machine Learning

bounded biharmonic weights, illustration

Apr 1 2014

Technical Perspective: A ‘Reasonable’ Solution to Deformation Methods

Jacobson et al. construct a deformation method that allows a wide range of handle types (points, line segments, open and closed polygons) and produces deformations that are biharmonic functions.

Joe Warren

Artificial Intelligence and Machine Learning

Mar 1 2014

Making Parallel Programs Reliable with Stable Multithreading

Stable multithreading dramatically simplifies the interleaving behaviors of parallel programs, offering new hope for making parallel programming easier.

Architecture and Hardware

Making Parallel Programs Reliable with Stable Multithreading, illustration

Mar 1 2014

Big-Data Applications in the Government Sector

In the same way businesses use big data to pursue profits, governments use it to promote the public good.

Gang-Hoon Kim, Silvana Trimi, and Ji-Hyong Chung

Computing Applications

Big-Data Applications in the Government Sector, illustration

Mar 1 2014

Using Targeted Conferences to Recruit Women Into Computer Science

To inspire women to major in CS, take them to the Grace Hopper Celebration of Women in Computing.

Christine Alvarado and Eugene Judson

Computing Applications

Grace Hopper Celebration of Women in Computing poster

Mar 1 2014

Trends in Steganography

Methods for embedding secret data are more sophisticated than their ancient predecessors, but the basic principles remain unchanged.

Elżbieta Zielińska, Wojciech Mazurczyk, and Krzysztof Szczypiorski

Architecture and Hardware

Mar 1 2014

Q&A: RISC and Reward

Having helped develop Reduced Instruction Set Computing and Redundant Arrays of Inexpensive Disks, David Patterson has set his sights on interdisciplinary research.

Leah Hoffmann

Computing Applications

Mar 1 2014

TaintDroid: An Information Flow Tracking System For Real-Time Privacy Monitoring on Smartphones

Today's smartphone operating systems frequently fail to provide users with adequate control over and visibility into how third-party applications use their privacy-sensitive data. We address these shortcomings with TaintDroid.

Computing Applications

Mar 1 2014

Technical Perspective: Smartphone Security ‘Taint’ What It Used to Be

The TaintDroid project takes a runtime taint tracking approach toward analyzing Android apps.

Dan Wallach

Computing Applications

Feb 1 2014

Communication Costs of Strassen’s Matrix Multiplication

Proving lower bounds on the communication of algorithms and finding algorithms that attain these bounds are fundamental goals.

Grey Ballard, James Demmel, Olga Holtz, and Oded Schwartz

Systems and Networking

Feb 1 2014

Computation Takes Time, But How Much?

Timing analysis for hard real-time systems.

Reinhard Wilhelm and Daniel Grund

Architecture and Hardware

Feb 1 2014

Automatic Exploit Generation

The idea is to identify security-critical software bugs so they can be fixed first.

Architecture and Hardware

Automatic Exploit Generation, illustration

Feb 1 2014

Cryptography Miracles, Secure Auctions, Matching Problem Verification

A solution to the persistent problem of preventing collusion in Vickrey auctions.

Silvio Micali and Michael O. Rabin

Artificial Intelligence and Machine Learning

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