Evaluation Without Ground Truth in Social Media Research
Even without it, some ingenious methods can be developed to help verify users' social media behavioral patterns.
Software Engineering and Programming Languages
Advertisement
Colored Petri Nets: A Graphical Language For Formal Modeling and Validation of Concurrent Systems
Formal executable models enable systematic evaluation of system designs prior to implementation and deployment.
Michael Stonebraker on Ingres, Postgres, dividing his time between academia and start-ups, and why "one size fits none."
The Science of Managing Data Science
Lessons learned managing a data science research team.
Learning About Parallel and Distributed Computing
Parallel and distributed computing are now in the core CS curriculum, and every CS program should be teaching their students about it. How can CS educators learn about it?
Putting the Data Science Into Journalism
News organizations increasingly use techniques like data mining, Web scraping, and data visualization to uncover information that would be impossible to identify and present manually.
Technical Perspective: Programming Multicore Computers
"Can Traditional Programming Bridge the Ninja Performance Gap for Parallel Computing Applications" advocates an appealing division of labor between a developer and a compiler to increase the opportunities for the compiler to generate and optimize parallel machine code.
Can Traditional Programming Bridge the Ninja Performance Gap For Parallel Computing Applications?
Current processor trends of integrating more cores with SIMD units have made it more to extract performance from applications. It is believed that traditional approaches to programming do not apply to these processors. We question this thinking.
Abolish Software Warranty Disclaimers
Carl Landwehr was right to suggest in his Viewpoint "We Need a Building Code for Building Code" (Feb. 2015) that there should be a building code for software.
Teach Foundational Language Principles
Industry is ready and waiting for more graduates educated in the principles of programming languages.
Privacy Behaviors After Snowden
Despite continuing media coverage, the public's privacy behaviors have hardly changed.
Incentivizing Quality and Impact in Computing Research
Developing consensus on how the computing-research publication culture should be changed has proven to be exceedingly hard. The Computing Research Association has now addressed this issue head-on in its new Best Practice Memo.
Anyone with a collection of DVD or CD-ROM disks will appreciate that we cannot rely in the long term on specialized format devices being available. It is worth some effort to pay attention to the nature of these dependencies, their scope, and the potential side effects.
Rashid, Tevanian to Receive ACM 2014 Software System Award
Microsoft's Rashid and former Apple executive Tevanian were selected for their roles as lead developers of a pioneering operating system.
Computer Security and the Risks of Online Voting
An election in Australia is the latest instance of discovering a security flaw in an online voting system, while it is being used.
We wish to clarify an account of the 2014 Turing Test experiment we conducted at the Royal Society London, U.K., as outlined by Moshe Y. Vardi in his Editor's Letter "Would Turing Have Passed the Turing Test?" (Sept. 2014).
Security Challenges For Medical Devices
Implantable devices, often dependent on software, save countless lives. But how secure are they?
Sketch-Thru-Plan: A Multimodal Interface For Command and Control
Speaking military jargon, users can create labels and draw symbols to position objects on digitized maps.
How Amazon Web Services Uses Formal Methods
Engineers use TLA+ to prevent serious but subtle bugs from reaching production.
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