Scaling Static Analyses at Facebook
Key lessons for designing static analysis tools deployed to find bugs in hundreds of millions of lines of code.
Software Engineering and Programming Languages
Advertisement
Tracing the tangled web of unsolicited and undesired email and possible strategies for its demise.
Internet of Things Search Engine
Tracing the complicated yet still relatively unripe area of the Internet of Things search engine—from concepts, to classification, and open issues.
Hazardous Enthusiasm and How Eagerness Can Kill A Project
Many otherwise competent software developers and potential contributors end up being overwhelmed by "hazardous enthusiasm." They end up overwhelmed by their excitement and instead of implementing gradual change, they try to redo entire projects. Let's take a look at what I mean.
A Design Perspective on Computational Thinking
Maybe we can just design away the need to teach computational thinking
How long can the silicon foundry sector continue to adapt, as physical limits make further shrinkage virtually impossible?
Garbage Collection as a Joint Venture
A collaborative approach to reclaiming memory in heterogeneous software systems.
Research for Practice: Troubling Trends in Machine-Learning Scholarship
Some ML papers suffer from flaws that could mislead the public and stymie future research.
The Limit of Blockchains: Infeasibility of a Smart Obama-Trump Contract
Although smart contracts are Turing complete, it is a misconception that they can fulfill all routine contracts.
Net Neutrality: Unexpected Solution to Blockchain Scaling
Cloud-delivery networks could dramatically improve blockchains' scalability, but clouds must be provably neutral first.
The many challenges to maintaining stored information and ways to overcome them.
APIs, Standards, and Enabling Infrastructure
The widespread sharing of common or standardized APIs confers rich opportunities for choices of operating system or library implementations for the programming of applications.
Fitness Monitors, Smartwatches are Not Medical Devices
Manufacturers may blur the distinctions, but they're important.
Soundness and Completeness: Defined With Precision
The two key properties of program analysis are dual of each other.
Smart watches and other wearables are evolving into medical devices that will drive significant changes in healthcare.
Pondering Variables and Direct Instruction
Robin K. Hill considers the nature of variables, while Mark Guzdial reflects on renewed interest in the "direct instruction model."
Research into next-generation storage techniques marches forward, yet tape remains the most viable, dependable medium.
Toward a European Exascale Ecosystem: The EuroHPC Joint Undertaking
European supercomputing infrastructures represent a strategic resource for understanding and responding to the increasing challenges European citizens will face in the years to come.
Connected Things Connecting Europe
Modern embedded system microcontroller and transceiver technology advancements have brought forth the kinds of systems we have defined for some time in Europe as "embedded intelligence."
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