External Links

Journal: Communications of the ACM

Volume 68, Issue 7

0 -- 0Dennis Shasha. Electoral Trickery
5 -- 0Moshe Y. Vardi. I Teach Computer Science, and That Is Not All
6 -- 8Alex Tray. The Ethical Implications of Online Computer Science Education
9 -- 11Samuel Greengard. The Emerging Face of Digital Dentistry
12 -- 14Logan Kugler. Advancements in Weather Prediction
15 -- 17Logan Kugler. Computer Science under Trump
18 -- 22Michael A. Cusumano. DeepSeek Inside: Origins, Technology, and Impact
23 -- 25Sebastian Zimmeck. Beyond the Checkbox: Upgrading the Right to Opt Out
26 -- 28Pamela Samuelson. AI Authorship Revisited
29 -- 33Mahjabin Nahar, Sian Lee, Rebekah Guillen, Dongwon Lee 0001. Generative Artificial Intelligence Policies under the Microscope
34 -- 36Brett Danaher, Jonathan Hersh, Michael D. Smith 0002, Rahul Telang. Fighting Crime Online
37 -- 40Isabel Corpus, Eric Giannella, Allison Koenecke, Don Moynihan. As Government Outsources More IT, Highly Skilled In-House Technologists Are More Essential
42 -- 44Andrew A. Chien, Hartmut Schmeck. Welcome: Sustainability and Computing Special Section
46 -- 53Adrien Berthelot, Eddy Caron, Mathilde Jay, Laurent Lefèvre. Understanding the Environmental Impact of Generative AI Services
54 -- 61Pengfei Li 0008, Jianyi Yang 0001, Mohammad A. Islam 0001, Shaolei Ren. Making AI Less 'Thirsty'
62 -- 69Dustin Wright 0001, Christian Igel, Gabrielle Samuel, Raghavendra Selvan. Efficiency Is Not Enough: A Critical Perspective on Environmentally Sustainable AI
70 -- 73Mohammad Hajiesmaili, Shaolei Ren, Ramesh K. Sitaraman, Adam Wierman. Toward Environmentally Equitable AI
74 -- 79Alexander Kilian, Hermann de Meer, Gunnar Schomaker. Energy-Optimized Supercomputer Networks Using Wind Energy
80 -- 85Sydney Young, Udit Gupta, Josiah D. Hester. Empowering Users to Make Sustainability-Forward Decisions for Computing Services
86 -- 91Jasmine Lu, Pedro Lopes 0001. Full Stack Recycling Approaches for Computing Devices
92 -- 94Runlong Yu, Yiqun Xie, Xiaowei Jia. Environmental Computing as a Branch of Science
96 -- 101Raimundo José de Araújo Macêdo, Marcelo Pias, Esteban Clua, Marilton S. de Aguiar, Pedro Ribeiro de Andrade, Alirio Santos de Sá, Eulanda M. dos Santos, José Campos dos Santos, Lúbia Vinhas. A Brazilian Perspective on Computing for the Planet's Sustainability
102 -- 107Nikolas Herbst, Mareike Kortmann, Niklas Jaggy, Frank Thonfeld, Cristina L. Abad, Claudia Kuenzer, Jörg Müller 0003, Samuel Kounev. Continuous Earth Observation of Forest Dynamics and Biodiversity
108 -- 119Michael Davies, Karthikeyan Sankaralingam. Defying Moore: Envisioning the Economics of a Semiconductor Revolution through 12nm Specialization
120 -- 130Christos Dimoulas, Matthias Felleisen. The Rational Programmer: Investigating Programming Language Pragmatics

Volume 68, Issue 6

0 -- 0Leah Hoffmann. Developing the Foundations of Reinforcment Learning
5 -- 0Vinton G. Cerf. Revenge of the Bots
6 -- 7Micah D. Beck. Accept the Consequences
8 -- 10Neil Savage. A Rewarding Line of Work
11 -- 13Neil Savage. The Collapse of GPT
14 -- 16Esther Shein. AI and Art
17 -- 19Gregory Mone. Bringing AI to the Edge
20 -- 22Steven M. Bellovin. Computer Science and the Law
23 -- 25Peter J. Denning. In Large Language Models We Trust?
26 -- 27George V. Neville-Neil. Analyzing Krazy Kode
28 -- 30Sebastian Mateos Nicolajsen, Claus Brabrand. What Is Programming?
31 -- 33Stephen J. Andriole, Noah P. Barsky. Thoughts about Some Surprising AI-Era Technology Readiness Findings
34 -- 36Bruce Schneier, Davi Ottenheimer. Web 3.0 Requires Data Integrity
38 -- 42Marc Brooker, Ankush Desai. Systems Correctness Practices at Amazon Web Services
44 -- 53Chen Avin, Stefan Schmid 0001. Revolutionizing Datacenter Networks via Reconfigurable Topologies
54 -- 61Chirag Shah 0001. From Prompt Engineering to Prompt Science with Humans in the Loop
62 -- 71Aditya K. Sood, Sherali Zeadally. Malicious AI Models Undermine Software Supply-Chain Security
74 -- 0Christine Paulin-Mohring. When Proofs Meet Programs: An Extension of Dependent Type Theory with Church's Thesis
75 -- 83Pierre-Marie Pédrot. 'Upon This Quote I Will Build My Church Thesis'
84 -- 0Parosh Aziz Abdulla. A Symbolic Approach to Verifying Quantum Systems
85 -- 93Yu-Fang Chen 0001, Kai-Min Chung, Ondrej Lengál, Jyun-Ao Lin, Wei-Lun Tsai, Di-De Yen. An Automata-Based Framework for Verification and Bug Hunting in Quantum Circuits

Volume 68, Issue 4

5 -- 0Vinton G. Cerf. Remember
6 -- 7Henrik Skaug Sætra. Leaving X
9 -- 11Chris Edwards. When Will This End?
12 -- 14Paul Marks. Guide Dogs Are Expensive and Scarce. Could Robots Do Their Job?
15 -- 17Logan Kugler. How Do You Measure AI?
18 -- 21Mari Sako, Teppo Felin. Does AI Prediction Scale to Decision Making?
22 -- 23George V. Neville-Neil. The Drunken Plagiarists
24 -- 27Evgenia Christoforou, Gianluca Demartini, Jahna Otterbacher. Crowdsourcing or AI Sourcing?
28 -- 32Shuang Wu, Bo Yu 0014, Shaoshan Liu, Yuhao Zhu 0001. Autonomy 2.0: The Quest for Economies of Scale
33 -- 36Ryen W. White, Chirag Shah 0001. Panmodal Information Interaction
38 -- 41Stacy M. Branham, Shahtab Wahid, Sheri Byrne-Haber, Jamal Mazrui, Carlos Muncharaz, Carl Myhill. The State of Digital Accessibility
42 -- 49David Gefen, Barry A. Leffew, Arik Ragowsky, René Riedl. The Importance of Distrust in Trusting Digital Worker Chatbots
50 -- 59Marianna Obrist, Carlos Velasco. Multisensory Experiences: Formation, Realization, and Responsibilities
60 -- 68Henrik Skaug Sætra. Preprinting in AI Ethics: Toward a Set of Community Guidelines
70 -- 0Kenneth Salem. Ad Hoc Transactions: What They Are and Why We Should Care
71 -- 80Chuzhe Tang, Zhaoguo Wang, Xiaodong Zhang, Qianmian Yu, Binyu Zang, Haibing Guan, Haibo Chen 0001. Many Faces of Ad Hoc Transactions
81 -- 0Xia Zhou. The Technologies that Disappear
82 -- 90Ali Kiaghadi, Jin Huang, Seyedeh Zohreh Homayounfar, Trisha Andrew, Deepak Ganesan. FabToys: Large Arrays of Fabric-Based Pressure Sensors in Plush Toys to Detect Fine-Grained Interaction
92 -- 0Dennis Shasha. Efficient Go Bags

Volume 68, Issue 3

0 -- 0Leah Hoffmann. Not on the Best Path
5 -- 0Moshe Y. Vardi. Homo Ratiocinator (Reckoning Human)
6 -- 8Wang Fan, Shaoshan Liu. Putting the Smarts into Robot Bodies
9 -- 11Chris Edwards. Feedback Loops Guide AI to Proof Checking
12 -- 14Mark Halper. How Software Bugs led to "One of the Greatest Miscarriages of Justice" in British History
15 -- 17Sandrine Ceurstemont. Controlling AI's Growing Energy Needs
18 -- 20Pamela Samuelson. California's AI Act Vetoed
21 -- 23Peter J. Denning. Abstractions
24 -- 26Robert West 0001, Roland Aydin. The AI Alignment Paradox
27 -- 29Charles Morphy D. Santos, João Paulo Gois. Artificial Intelligence as Catalyst for Biodiversity Understanding
30 -- 32Jack West, Jingjie Li, Kassem Fawaz. A Glimpse Into the Pandora's Box
34 -- 41Shuvendu K. Lahiri, Alexey Svyatkovskiy, Christian Bird, Erik Miejer, Terry Coatta. Program Merge: What's Deep Learning Got to Do with It?
42 -- 47Veniamin Veselovsky, Manoel Horta Ribeiro, Philip Cozzolino, Andrew Gordon, David M. Rothschild, Robert West 0001. Prevalence and Prevention of Large Language Model Use in Crowd Work
48 -- 59Xuewei Feng, Qi Li 0002, Kun Sun 0001, Ke Xu 0002, Jianping Wu. Exploiting Cross-Layer Vulnerabilities: Off-Path Attacks on the TCP/IP Protocol Suite
60 -- 69Luca Felicetti, Mauro Femminella, Gianluca Reali. Molecular Communications in Blood Vessels: Models, Analysis, and Enabling Technologies
70 -- 79Lieven Eeckhout. The Sustainability Gap for Computing: Quo Vadis?
82 -- 0Uriel Feige. The Surprising Power of Spectral Refutation
83 -- 91Venkatesan Guruswami, Pravesh K. Kothari, Peter Manohar. New Spectral Algorithms for Refuting Smoothed k-SAT
92 -- 0Graham Cormode. Technical Perspective: Toward Building a Differentially Private DBMS
93 -- 101Wei Dong 0007, Juanru Fang, Ke Yi 0001, Yuchao Tao, Ashwin Machanavajjhala. R2T: Instance-optimal Truncation for Differentially Private Query Evaluation with Foreign Keys

Volume 68, Issue 2

0 -- 0David Studebaker. A Heavenly Host
5 -- 0Vinton G. Cerf. Building Safer and Interoperable AI systems
7 -- 0Geraldine Fitzpatrick. Fit for People, Fit for Purpose: Designing Tech that Matters
8 -- 9Alex Williams. Go-ing to the Cloud
11 -- 13Samuel Greengard. Can LLMs Make Robots Smarter?
14 -- 16Esther Shein. The Evolution of Computer Science at the University Level
17 -- 19Neil Savage. Brain Implants Give People Back What They Lost
20 -- 23Michael Felderer, Michael Goedicke, Lars Grunske, Wilhelm Hasselbring, Anna-Lena Lamprecht, Bernhard Rumpe. Investigating Research Software Engineering: Toward RSE Research
24 -- 29Thomas Haigh. Artificial Intelligence Then and Now
30 -- 33Ian Gorton, Alessio Bucaioni, Patrizio Pelliccione. Technical Credit
34 -- 35George V. Neville-Neil. Building on Shaky Ground
36 -- 39David A. Patterson 0001. Life Lessons from the First Half-Century of My Career
40 -- 45Robert N. M. Watson, John Baldwin, David Chisnall, Tony Chen, Jessica Clarke 0001, Brooks Davis, Nathaniel Wesley Filardo, Brett F. Gutstein, Graeme Jenkinson, Ben Laurie, Alfredo Mazzinghi, Simon W. Moore, Peter G. Neumann, Hamed Okhravi, Alex Richardson 0001, Alex Rebert, Peter Sewell, Laurence Tratt, Murali Vijayaraghavan, Hugo Vincent, Konrad Witaszczyk. It Is Time to Standardize Principles and Practices for Software Memory Safety
46 -- 51Catherine Hayes, David Malone. Questioning the Criteria for Evaluating Non-Cryptographic Hash Functions
52 -- 63Chunqiang Tang. Meta's Hyperscale Infrastructure: Overview and Insights
64 -- 73Jennifer A. Rode, Luís A. Castro 0001, Varun K. Viswanath, María Concepción Valdez Gastelum, Afra Mashhadi, Monica Tentori, Kristof Van Laerhoven, Nadir Weibel. Justice, Equity, Diversity, and Inclusion at UbiComp/ISWC: Best Practices for Accessible and Equitable Computing Conferences
74 -- 84Kedar S. Namjoshi, Lenore D. Zuck. Program Correctness through Self-Certification
86 -- 0Richard Peng. Shortening the Path to Designing Efficient Graph Algorithms
87 -- 94Aaron Bernstein, Danupon Nanongkai, Christian Wulff-Nilsen. Negative-Weight Single-Source Shortest Paths in Near-Linear Time
95 -- 0Thorsten Holz. Unsafe Code Still a Hurdle Copilot Must Clear
96 -- 105Hammond Pearce, Baleegh Ahmad, Benjamin Tan 0001, Brendan Dolan-Gavitt, Ramesh Karri. Asleep at the Keyboard? Assessing the Security of GitHub Copilot's Code Contributions

Volume 68, Issue 1

0 -- 0Dennis Shasha. Cylinder Lottery
5 -- 0Moshe Y. Vardi. I Was Wrong about the Ethics Crisis
6 -- 7CACM Staff. Is It Math or CS? Or Is It Both?
8 -- 9Micah Beck, Brenna Bentley, Anika Roskowski. Connecting the Unconnected
11 -- 13Chris Edwards. The Secret of Ramsey Numbers: A new order forms out of randomness
14 -- 16Logan Kugler. Who Owns AI's Output?
17 -- 19Don Monroe. Addressing the Data Storage Crisis
20 -- 23Virgílio Almeida 0001, Ricardo Fabrino Mendonça, Fernando Filgueiras. Thinking of Algorithms as Institutions
24 -- 26Erik Deumens, Carolyn Ellis. Compliance Requirements in Research
27 -- 29James Grimmelmann. The Fine Line Between Persuasion and Coercion
30 -- 32Michael A. Cusumano. Intel's Fall from Grace
33 -- 35Hans Hüttel. On Program Synthesis and Large Language Models
36 -- 38Hilde G. Corneliussen. 'Superpowers' of Gender Equality Failing to Establish Gender Balance in IT
40 -- 45Jim Waldo, Soline Boussard. GPTs and Hallucination
46 -- 49Phil Vachon. Test Accounts: A Hidden Risk
50 -- 59Barry Porter, Penny Faulkner Rainford, Roberto Rodrigues Filho. Self-Designing Software
60 -- 67Krishna Venkatasubramanian, Tina-Marie Ranalli, Piriyankan Kirupaharan, Liam Cannon. Considering Trauma in Accessible Design for Adults with Intellectual and Developmental Disabilities
68 -- 75Jack Parkinson, Lauren Margulieux. Improving CS Performance by Developing Spatial Skills
78 -- 0Gene Tsudik. Tracing the Network Traffic Fingerprinting Techniques of OpenVPN
79 -- 87Diwen Xue, Reethika Ramesh, Arham Jain, Michalis Kallitsis 0001, J. Alex Halderman, Jedidiah R. Crandall, Roya Ensafi. OpenVPN is Open to VPN Fingerprinting
88 -- 0Timothy Neate. Can AI Keep Accessible Communication in the Picture?
89 -- 96Maurício Fontana de Vargas, Jiamin Dai, Karyn Moffatt. AAC with Automated Vocabulary from Photographs: Insights from School and Speech-Language Therapy Settings

Volume 68, Issue 05

0 -- 0Mina Rezaei. Explorers' Intangible Power
5 -- 0Moshe Y. Vardi. Big Tech, You Need Academia. Speak Up!
6 -- 7Robin K. Hill. In Pursuit of Professionalism
9 -- 11Samuel Greengard. Shining a Light on AI Hallucinations
12 -- 14Esther Shein. The Outlook for Programmers
15 -- 17Sandrine Ceurstemont. Automating Tools for Prompt Engineering
18 -- 20James Grimmelmann. The TikTok Ban and Its Consequences
21 -- 23Sabine Weber. Can We Build AI That Does Not Harm Queer People?
24 -- 26Mona Sloane. Boolean Clashes: Discretionary Decision Making in AI-Driven Recruiting
27 -- 30Antonis C. Kakas. The Pollution of AI
32 -- 34Andrew Quinn 0001, Peter Alvaro. Deterministic Record-and-Replay
36 -- 47Jean-Yves Marion. Ransomware: Extortion Is My Business
48 -- 57Jizhi Zhang, Keqin Bao, Wenjie Wang 0007, Yang Zhang 0072, Wentao Shi 0002, Wanhong Xu, Fuli Feng, Tat-Seng Chua. Envisioning Recommendations on an LLM-Based Agent Platform
58 -- 68Annalu Waller, Tom Griffiths 0003, Per Ola Kristensson. 'What I Think about When I Type about Talking': Reflections on Text-Entry Acceleration Interfaces
69 -- 76Peter Buneman, Dennis Dosso, Matteo Lissandrini, Gianmaria Silvello, He Sun 0001. Can We Measure the Impact of a Database?
80 -- 0Yatish Turakhia. Toward a Generalized Accelerator for Genome Sequence Analysis
81 -- 90Yufeng Gu, Arun Subramaniyan 0001, Timothy Dunn, Alireza Khadem, Kuan-Yu Chen 0001, Somnath Paul, Mohammad Vasimuddin, Sanchit Misra, David T. Blaauw, Satish Narayanasamy, Reetuparna Das. GenDP: A Framework of Dynamic Programming Acceleration for Genome Sequencing Analysis
91 -- 0Tim Kraska. A Write-Optimized Distributed B+Tree Index on Disaggregated Memory
92 -- 100Qing Wang 0031, Youyou Lu, Jiwu Shu. Designing an Efficient Tree Index on Disaggregated Memory
runs on