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