Tracing the first four decades in the life of suffix trees, their many incarnations, and their applications.
Research and Advances
Advertisement
Multimodal Biometrics For Enhanced Mobile Device Security
Fusing information from multiple biometric traits enhances authentication in mobile devices.
How Colors in Business Dashboards Affect Users’ Decision Making
Business dashboards that overuse or misuse colors cause cognitive overload for users who then take longer to make decisions.
Technical Perspective: The State (and Security) of the Bitcoin Economy
"A Fistful of Bitcoins" examines, in the context of Bitcoin, what we could learn by studying the patterns encoded in a complete record of every single financial transaction that took place worldwide over a span of five years.
Technical Perspective: Fairness and the Coin Flip
"Secure Multiparty Computations on Bitcoin" introduces an exciting new idea for how to provide fairness: leverage Bitcoin’s existing infrastructure for distributed consensus.
A Fistful of Bitcoins: Characterizing Payments Among Men with No Names
Bitcoin has the unintuitive property that while the ownership of money is implicitly anonymous, its flow is globally visible. In this paper we explore this unique characteristic further, and consider the challenges for those seeking to use Bitcoin for criminal or fraudulent purposes at scale.
Secure Multiparty Computations on Bitcoin
In this work, we propose to use Bitcoin to design fully decentralized protocols that are secure even if no trusted third party is available.
A Differential Approach to Undefined Behavior Detection
This paper studies undefined behavior arising in systems programming languages such as C/C++. We introduce a new static checker called STACK that precisely identifies undefined behavior bugs.
Technical Perspective: Stacking Up Undefined Behaviors
In "A Differential Approach to Undefined Behavior Detection," Wang et al. hypothesize that any time a compiler is able to delete code by using reasoning based on undefined behavior, the program being compiled probably contains a bug.
This paper looks at the problem of predicting category labels that mimic how human observers would name objects.
A Lightweight Methodology For Rapid Ontology Engineering
UPON Lite focuses on users, typically domain experts without ontology expertise, minimizing the role of ontology engineers.
Repeatability in Computer Systems Research
To encourage repeatable research, fund repeatability engineering and reward commitments to sharing research artifacts.
Lessons Learned from 30 Years of MINIX
MINIX shows even an operating system can be made to be self-healing.
Technical Perspective: Taming the Name Game
In "Learning to Name Objects," the authors offer a method to determine a basic-level category name for an object in an image.
The Beckman Report on Database Research
Database researchers paint big data as a defining challenge. To make the most of the enormous opportunities at hand will require focusing on five research areas.
The Land Sharks Are on the Squawk Box
It turns out riding across America is more than a handy metaphor for building system software.
Phonetic Analytics Technology and Big Data: Real-World Cases
Data from phone interactions can help address customers' complaints, and predict their future purchasing behavior.
YFCC100M: The New Data in Multimedia Research
This publicly available curated dataset of almost 100 million photos and videos is free and legal for all.
Technical Perspective: Catching Lies (and Mistakes) in Offloaded Computation
The system described in "Pinocchio: Nearly Practical Verifiable Computation" refines an important theoretical advance by Gennaro et al. Together, these two works represent a dramatic improvement in speed, generality, and functionality.
Technical Perspective: Program Synthesis Using Stochastic Techniques
The authors of "Stochastic Program Optimization" have developed a stochastic search technique and applied it to program optimization.
Stochastic Program Optimization
By encoding constraints of transformation correctness as terms in a cost function, and using a Markov Chain Monte Carlo sampler to explore the space of all possible code sequences, we are able to generate aggressively optimized versions of a given target code sequence.
Pinocchio: Nearly Practical Verifiable Computation
We introduce Pinocchio, a built system for efficiently verifying general computations while relying only on cryptographic assumptions.
Open Data and Civic Apps: First-Generation Failures, Second-Generation Improvements
Developers first need compelling incentives and committed management.
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 InvolvedCommunications 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