On the Requirements Engineer Role
The requirements engineer role is defined differently within most organizations.
Theory
Advertisement
Shaping the Foundations of Programming Languages
ACM A.M. Turing Award recipients Alfred Aho and Jeffrey Ullman discuss their early work, the 'Dragon Book,' and the future of 'live' computer science education.
2020 ACM A.M. Turing Award recipients Alfred Aho and Jeffrey Ullman helped develop formal language theory, invented efficient algorithms to drive the tasks of a compiler, and put them all together in 'The Dragon Book.'
The Risks of Election Believability (or Lack Thereof)
With 90% of the 2020 U.S. general election ballot contents verifiable by paper, why do only 65% of voters trust the results?
Code needs to run anywhere as long as the necessary dependencies can be resolved.
Collusion Rings Threaten the Integrity of Computer Science Research
Experiences discovering attempts to subvert the peer-review process.
Trustworthy Scientific Computing
Addressing the trust issues underlying the current limits on data sharing.
Technical Perspective: Robust Statistics Tackle New Problems
"Robustness Meets Algorithms," by Ilias Diakonikolas, et al., represents the beginning of a long and productive line of work on robust statistics in high dimensions.
Seeking to rectify the two mutually exclusive ways of comparing computational power — encoding and simulation.
The 10 Best Practices for Remote Software Engineering
Focusing on the human element of remote software engineer productivity.
Symbolic automata better balances how automata are implemented in practice.
We give the first efficient algorithm for estimating the parameters of a high-dimensional Gaussian that is able to tolerate a constant fraction of corruptions that is independent of the dimension.
Isomorphism, Canonization, and Definability for Graphs of Bounded Rank Width
In this paper we study the graph isomorphism problem and the closely related graph canonization problem as well as logical definability and descriptive complexity on graph classes of bounded rank width.
Technical Perspective: A Logical Step Toward the Graph Isomorphism Problem
In "Isomorphism, Canonization, and Definability for Graphs of Bounded Rank Width," Grohe and Neuen show that the Weisfeiler-Leman algorithm in its plain form solves the isomorphism problem for bounded-rank width graphs.
Deep Learning Speeds MRI Scans
Machine intelligence significantly reduces the time needed for an MRI scan, which can help reduce patient anxiety.
The Worsening State of Ransomware
Sophisticated, dangerous ransomware is the new normal … and there is no simple fix.
The Non-Psychopath’s Guide to Managing an Open Source Project
Respect your staff, learn from others, and know when to let go.
Considering the fundamental nature and malleability of programming.
Building a Multilingual Wikipedia
Seeking to develop a multilingual Wikipedia where content can be shared among language editions.
Safe Systems Programming in Rust
The promise and the challenges of the first industry-supported language to master the trade-off between safety and control.
Transformers Aftermath: Current Research and Rising Trends
Attention, particularly self-attention, is a standard in current NLP literature, but to achieve meaningful models, attention is not enough.
Higher Education Readies for a Quantum Leap
The nascent quantum industry is calling on higher education to begin preparing a quantum workforce with a broader, less specialized range of technical skills.
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