Software Engineering and Programming Languages
Advertisement
The Value of Microprocessor Designs
Applying a centuries-old technique to modern cost estimation.
How to address the lack of transparency, trust, and acceptance in cloud services.
Symbolic Execution For Software Testing: Three Decades Later
The challenges — and great promise — of modern symbolic execution techniques, and the tools to help implement them.
Thinking Methodically About Performance
The USE method addresses shortcomings in other commonly used methodologies.
New Approaches to Security and Availability For Cloud Data
Extending the data trust perimeter from the enterprise to the public cloud requires more than encryption.
Software techniques that tolerate latency variability are vital to building responsive large-scale Web services.
Athena Award Nominations Closing Soon!
Don't miss out on the chance to nominate someone for an Athena Award from ACM-W.
Software Engineering in the Venice of the North
ESEC-FSE 2013 (in Saint Petersburg,, 18-26 August) is the place to be for software engineering in 2013.
‘caesar’ Conquers Code Review With Crowdsourcing
The Caesar system uses crowdsourcing to take the pain out of reviewing the voluminous code produced by hundreds of students enrolled in introductory computer science classes at MIT.
Teaching Real-World Programming
In this post, I describe a ubiquitous style of programming that, to my knowledge, has never been formally taught in the classroom.
Computer Science Is Not a Science
To the question Vinton G. Cerf addressed in his President's Letter "Where Is the Science in Computer Science?" (Oct. 2012), my first answer would be that there isn't any. A true science like physics or chemistry studies some aspect of physical reality.
The leading open source system for processing big data continues to evolve, but new approaches with added features are on the rise.
Future Tense: Share My Enlightenment
From the intersection of computational science and technological speculation, with boundaries limited only by our ability to imagine what could be. I self-publish, and you get to sail my aether wave for free.
Browser Security: Appearances Can Be Deceiving
A discussion with Jeremiah Grossman, Ben Livshits, Rebecca Bace, and George Neville-Neil
The Web Won’t Be Safe or Secure Until We Break It
Unless you have taken very particular precautions, assume every website you visit knows exactly who you are.
Large genomic databases with interactive access require new, layered abstractions, including separating "evidence" from "inference."
Human Mobility Characterization from Cellular Network Data
Anonymous location data from cellular phone networks sheds light on how people move around on a large scale.
FY12 was an outstanding year for ACM. Membership reached an all-time high for the 10th consecutive year. We witnessed our global hubs in Europe, India, and China take root and flourish.
Is It Time to Change How Software Developers Are Hired?
Considerations of how conventional hiring practices prevent diversification of software development groups.
Anatomy of a Solid-State Drive
While the ubiquitous SSD shares many features with the hard-disk drive, under the surface they are completely different.
Improved performance and a proven deployment strategy make SPDY a potential successor to HTTP.
Computers interacting with, not imitating, humans is the way forward.
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