Program Correctness through Self-Certification
Self-certification is simpler to apply than formal verification, and fully validates only the program runs that actually occur.
Research and Advances
Advertisement
Initiatives created for the 2023 UbiComp/ISWC conference illustrate what can and should be done to support the needs of a diverse, increasingly global computing community.
Considering Trauma in Accessible Design for Adults with Intellectual and Developmental Disabilities
Research into making smart-device-based computing apps accessible to people with intellectual and developmental disabilities has revealed several design suggestions.
The realization of a self-designing software system is faced with key challenges.
Improving CS Performance by Developing Spatial Skills
Research suggests that attention to the type of games and puzzles we play can improve performance in CS degree programs and beyond.
The EU AI Act and the Wager on Trustworthy AI
The EU AI Act serves as a reminder for developers to always prioritize the well being of individuals and society as a whole.
Ethics and Cultural Background as Key Factors for an Attractive Metaverse
Lessons from South Korea could hold the key to more widespread adoption of the metaverse.
Belt and Braces: When Federated Learning Meets Differential Privacy
An overview of differential privacy-enabled federated learning with a focus on utility optimization techniques.
Human-Centered Cybersecurity Revisited: From Enemies to Partners
It is time to reconsider how we deal with the human factor in cybersecurity.
Reevaluating Google’s Reinforcement Learning for IC Macro Placement
Crosschecked data indicates that the integrity of a 2021 paper in Nature by Mirhoseini, Goldie, et al. is substantially undermined, owing to errors in conduct, analysis, and reporting.
The Paradigm Shifts in Artificial Intelligence
To understand the state of the art of AI and where it is heading, it is important to track its scientific history.
Directions of Technical Innovation for Regulatable AI Systems
What advances in AI systems are needed for them to be effectively regulated?
mCaptcha: Replacing Captchas with Rate Limiters to Improve Security and Accessibility
An overview of mCaptcha, a variable-difficulty-based proof-of-work captcha system that addresses the security, usability, and privacy issues with other captchas.
A Brief History of Blockchain Interoperability
Four trends shaping today's interconnected blockchain ecosystems.
Advances in AI and HCI can power intelligent, interactive, and accessible reading interfaces to improve scholarly reading.
Advancing the Search Frontier with AI Agents
AI agents are advancing the search frontier to make more tasks actionable and help make inroads into complex task completion.
The Vulnerability-Adaptive Protection Paradigm
Resiliency solutions for autonomous machines make trade-offs between resiliency and cost.
An Analysis of the Math Requirements of 199 CS BS/BA Degrees at 158 U.S. Universities
While most CS departments in the U.S. require calculus, there is no consensus as to where in the degree program it should be placed.
Automatic Pronunciation Assessment Systems for English Students from Argentina
Computer-aided training systems can help learners of a second language improve their pronunciation skills.
The Digital Degree Certification Revolution in Brazil and Beyond
The issuance and validation of paper-based degree certificates in Brazil presents a significant hurdle.
The Role of Computing in the Study of Latin American Cultural Heritage
Computing can be a game-changing technology to accelerate the progress of cultural heritage research in Latin America.
Requirements Engineering in Latin America: The Case of the WER
The Workshop on Requirements Engineering, a platform for research that addresses emerging trends and challenges, has been a springboard for emerging scholars.
Exploring Stereotypes and Biases in Language Technologies in Latin America
Research about fairness in computational applications and in language technologies has grown considerably in recent years.
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