Software Engineering and Programming Languages
Advertisement
The Chess Player Who Couldn’t Pass the Salt
AI: Soft and hard, weak and strong, narrow and general. Dear KV,
Computational Thinking For Teacher Education
This framework for developing pre-service teachers' knowledge does not necessarily depend on computers or other educational technology.
Attack of the Killer Microseconds
Microsecond-scale I/O means tension between performance and productivity that will need new latency-mitigating ideas, including in hardware.
A Service Computing Manifesto: The Next 10 Years
Mapping out the challenges and strategies for the widespread adoption of service computing.
Technical Perspective: Proving File Systems Meet Expectations
"Certifying a File System Using Crash Hoare Logic: Correctness in the Presence of Crashes" presents a big step toward real-world file systems that are crash-safe in a strict sense.
Certifying a File System Using Crash Hoare Logic: Correctness in the Presence of Crashes
This paper introduces Crash Hoare logic, which extends traditional Hoare logic with a crash condition, a recovery procedure, and logical address spaces for specifying disk states at different abstraction levels.
Software Synthesis Learns By Example
Neural networks will assist, rather than replace, human programmers.
In Black Box Algorithms We Trust (or Do We?)
Some issues that arise from the use of algorithms may be due to the data they are fed, rather than their black-box nature.
The Path to the Top: Insights from Career Histories of Top CIOs
Along the way, acquire technical expertise and a master's degree, even while changing positions and companies.
Technical Perspective: Data Distribution For Fast Joins
What is the most drastic way to reduce the cost of communication for parallel data processing algorithms? This is the question studied in "Reasoning on Data Partitioning for Single-Round Multi-Join Evaluation in Massively Parallel Systems."
Reasoning on Data Partitioning For Single-Round Multi-Join Evaluation in Massively Parallel Systems
We introduce a framework for reasoning about data partitioning to detect when we can avoid the data reshuffling step.
The Slow Evolution of CS For All, The Beauty of Programs
Mark Guzdial considers the steps needed to reach the goal of CS for All, while Robin K. Hill ponders the aesthetics of programming.
Nae’s Newest Members Include 17 Computer Scientists
Seventeen computer scientists were among the 84 new members and 22 new foreign members recently announced by The National Academy of Engineering.
It’s Not the Algorithm, It’s the Data
In risk assessment and predictive policing, biased data can yield biased results.
BBR: Congestion-Based Congestion Control
Measuring bottleneck bandwidth and round-trip propagation time.
Anyone can use a load balancer. Using it properly is much more difficult.
Computing History Beyond the U.K. and U.S.: Selected Landmarks from Continental Europe
It is past time to acknowledge 400 years of European computational innovation from non-English-speaking scientists and engineers.
Copyright Enforcement in the Digital Age: Empirical Evidence and Policy Implications
Government-sanctioned and market-based anti-piracy measures can both mitigate economic harm from piracy.
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