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