Automan: A Platform For Integrating Human-Based and Digital Computation
We introduce AutoMan, the first fully automatic crowdprogramming system.
Computing Profession
Advertisement
Enhancing Symbolic Execution with Veritesting
In this article, we present a new technique for generating formulas called veritesting that alternates between static symbolic execution (SSE) and dynamic symbolic execution (DSE).
Technical Perspective: Computing with the Crowd
What kinds of problems can be solved with combined human and machine computation? "AutoMan: A Platform for Integrating Human-Based and Digital Computation," by Barowy et al., provides the first steps toward answering this question.
Technical Perspective: Veritesting Tackles Path-Explosion Problem
"Enhancing Symbolic Execution with Veritesting" by Avgerinos et al. proposes an effective technique called veritesting that addresses the scalability limitations of path merging in symbolic execution.
What’s Next For Digital Humanities?
New computational tools spur advances in an evolving field.
40 years ago, Whitfield Diffie and Martin E. Hellman introduced the public key cryptography used to secure today's online transactions.
What Happens When Big Data Blunders?
Big data is touted as a cure-all for challenges in business, government, and healthcare, but as disease outbreak predictions show, big data often fails.
As my tenure as ACM president ends, I find myself reflecting on the past two years.
There is a rhythm in the affairs of the Association for Computing Machinery and June marks our annual celebration of award recipients and the biennial election of new officers.
The Solution to AI, What Real Researchers Do, and Expectations For CS Classrooms
John Langford on AlphaGo, Bertrand Meyer on Research as Research, and Mark Guzdial on correlating CS classes with laboratory results.
Making innovations happen is surprisingly easy, satisfying, and rewarding if you start small and build up.
Nine Things I Didn’t Know I Would Learn Being an Engineer Manager
Many of the skills aren't technical at all.
Standing on Distributed Shoulders of Giants
Farsighted physicists of yore were danged smart!
Q&A: Finding New Directions in Cryptography
Whitfield Diffie and Martin Hellman on their meeting, their research, and the results that billions use every day.
Athletic footwear is about to be customized in the extreme, through a combination of computer vision-enabled scanning and three-dimensional printing.
The Emerging Technology Landscape in China
Observations about the emerging technology landscape in China, looking at mobile social networking, mobile payments, taxi hailing, and same or next day delivery.
A growing number of games seek to introduce the concepts of programming to young players.
Making the World Fair and Just
Wendy Powley and Gloria Childress Townsend report on the National Center for Women & IT Annual Summit, themed "making the world fair and just."
You Can Hear the Future Calling
Hearables are not your father’s earphones, limited to taking calls and listening to music.
500,000+ Data Scientists at Your Service
Members of the online community Kaggle push the limits of what Big Data can do.
Inexpensive three-dimensional printers are making prosthetic hands and arms more widely available.
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