Remembering Marge Hoogeboom: A Remote Software Development Pioneer (in 1969!)
A jokey suggestion about working from home led to the creation of a dedicated remote system and workflow.
Software Engineering and Programming Languages
Advertisement
AI is sometimes not truthful, raising questions about how safe and reliable AI tools are in software development.
Scaling Deep Learning Education in a College of Arts & Sciences
Prerequisites were reduced and students were engaged collecting data using their sense of smell.
Nonsense and Malicious Packages: LLM Hallucinations in Code Generation
Researchers cognizant of the impact of hallucinations on software development are devising methods to mitigate their effect.
Benchmarks for AI in Software Engineering
Benchmarks are important for those of us who build software development products that incorporate AI.
Protect Your Code Against Licensing Risks
Copyleft is a type of restrictive open source code that requires that any derivative uses of that specific code in other programs or products be made available under the same terms.
Security Principles for Designing an Unhackable Crypto Wallet
Resilience requires formal rigor, verification tools, and zero-trust assumptions.
Rethinking Distributed Computing for the AI Era
DeepSeek’s mixture-of-experts approach fundamentally changes the distributed computing equation by making computation sparse again.
How AI/LLMs Can Help, Hinder Developers
How to create a coding culture that harnesses AI’s potential while preserving software integrity and security.
How Can Vibe Coding Transform Programming Education?
Vibe coding development platforms enable an experimental, motivating approach to learning.
The Rational Programmer: Investigating Programming Language Pragmatics
The rational-programmer method helps assess whether linguistic features and tools can deliver useful information with software development tasks.
Technical Perspective: A Symbolic Approach to Verifying Quantum Systems
The combination of deep theoretical insights and practical tool development results in a milestone for quantum circuit verification.
An Automata-Based Framework for Verification and Bug Hunting in Quantum Circuits
The framework leverages tree automata to compactly represent sets of quantum states; transformers implement the semantics of quantum gates over this representation.
Systems Correctness Practices at Amazon Web Services
A survey of the portfolio of formal methods used across AWS to deliver complex services with high confidence in assuring systems correctness.
It turns out your mental state when writing code or solving a problem often has a bearing on the solution.
Catching the Vibe of Vibe Coding
A new breed of AI-assisted coding programs allow the use of natural language prompts to create actionable code or programs.
GenDP: A Framework of Dynamic Programming Acceleration for Genome Sequencing Analysis
The proposed GenDP framework of dynamic programming acceleration for genome sequencing analysis supports multiple DP kernels.
Technical Perspective: Toward a Generalized Accelerator for Genome Sequence Analysis
GenDP offers an important step toward addressing the need for a universal accelerator.
Most IT professionals worry their jobs will be replaced by AI tools, while more companies attribute reductions to "technology updates" rather than AI.
Deterministic Record-and-Replay
Recent research advances related to deterministic record-and-replay show its broad and enduring applicability.
Designing an Efficient Tree Index on Disaggregated Memory
Sherman demonstrates that combining RDMA hardware features and RDMA-friendly software designs can enable a high-performance index on disaggregated memory.
Technical Perspective: A Write-Optimized Distributed B+Tree Index on Disaggregated Memory
The high-performance tree index uses a lock-free search with versions to resolve read-write conflicts and exclusive locks to resolve write-write conflicts.
Hit the Goalie / With the Puck / In the Neck
Unrealistic assumptions in any application of a formal proof to the real world are the gaps which leave the neck of the application exposed to attack.
Each new step that helps automate code creation moves programmers further away from understanding the core principles of a language and conceptualizing the solution and its programming. AI code assistants accelerate this separation.
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