Reproducibility of code is increasingly crucial to verifying scientific claims.
Security and Privacy
Advertisement
Technology Brings Online Education in Line with Campus Programs
Whether sitting in front of a screen or in a classroom, online and campus-based institutions want to verify students actually attend classes, take exams.
Creating a New Generation of Computational Thinkers
Experiences with a successful school program in Scotland.
Balancing statistical accuracy and subject privacy in large social-science datasets.
Challenges of Memory Management on Modern N-UMA Systems
Optimizing NUMA systems applications with Carrefour.
Lean Software Development: Building and Shipping Two Versions
Catering to developers' strengths while still meeting team objectives.
I suspect many computer scientists, like me, like to believe that, on the whole, computing benefits humanity. Thus, it is disturbing to realize computing is also making a major contribution to military technology.
Volunteers provide ACM with the intellectual and operational muscle power it needs to carry out myriad activities in support of computer science professionals and practitioners around the world.
Cerf Cites Challenges Facing the Internet of Things
Moving the Internet of Things forward will require, among other things, standards, the ability to configure massive numbers of devices, and a healthy dose of paranoia.
A metro map can tell a story, as well as provide good directions.
Why People Post Benevolent and Malicious Comments Online
Explaining motivations for online comments, this study looks to help establish a positive, nonthreatening online comment culture.
Hidden In-Game Intelligence in NBA Players’ Tweets
Sentiment analysis helps detect NBA players' pre-game moods from their tweets and predict their on-court performance.
Inductive Programming Meets the Real World
Inductive programming can liberate users from performing tedious and repetitive tasks.
Technical Perspective: Treating Networks Like Programs
"Software Dataplane Verification" takes existing static checking of networks to a new level by checking the real code in the forwarding path of a Click router using classical software verification tools, and not just a model of router software as in previous work.
Software Dataplane Verification
We present the result of working iteratively on two tasks: designing a domain-specific verification tool for packet-processing software, while trying to identify a minimal set of restrictions that packet-processing software must satisfy in order to be verification-friendly.
ACM Fellow and A.M. Turing Award recipient Fred Brooks reflects on his career.
How Men Can Help Women in CS; Winning ‘Computing’s Nobel Prize’
Valerie Barr suggests how men can better promote women in computing, while Michael Stonebraker shares how it feels to receive the top honor in the computer science field.
Software Patents Are Falling Down
Implications of the U.S. Supreme Court's new test for patentable subject matter.
Companies Proactively Seek Out Internal Threats
Organizations must balance their concerns with the protection of employee privacy.
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