Journal Article Edge-Based Live Learning for Robot Survival 2025 • IEEE Transactions on Emerging Topics in Computing • 13(1):34-47 Sturzinger E, Harkes J, Pillai P, Satyanarayanan M
Journal Article From Lecture Hall to Homeroom: Co-Designing an AI Elective with Middle School CS Teachers 2025 • International Journal of Artificial Intelligence in Education Gelder W, Yu X, Touretzky D, Gardner-McCune C, Uchidiuno J
Preprint The Complexity of Symmetric Equilibria in Min-Max Optimization and Team Zero-Sum Games 2025 Anagnostides I, Panageas I, Sandholm T, Yan J
Conference Escape or D13: Understanding Youth Perspectives of AI through Educational Game Co-design 2025 1-17 Lim JO, Barkhuff G, Awuah J, Clyde S, Sogani R, Gardner-McCune C, Touretzky D, Uchidiuno JO
Conference LLM Whisperer: An Inconspicuous Attack to Bias LLM Responses 2025 1-24 Lin W, Gerchanovsky A, Akgul O, Bauer L, Fredrikson M, Wang Z
Conference Geoduck: Nanosatellite Constellation Scheduling for Low Latency Event Detection 2025 • PROCEEDINGS OF THE 23RD ACM CONFERENCE ON EMBEDDED NETWORKED SENSOR SYSTEMS, SENSYS 2025 • 547-559 Cheng Z, Lucia B
Preprint On Learning Verifiers for Chain-of-Thought Reasoning 2025 Balcan M-F, Blum A, Li Z, Sharma D
Conference Computational Lower Bounds for No-Regret Learning in Normal-Form Games 2025 • Annual ACM Symposium on Theory of Computing • 530-541 Anagnostides I, Kalavasis A, Sandholm T
Conference Explicit Two-Sided Vertex Expanders beyond the Spectral Barrier 2025 • Annual ACM Symposium on Theory of Computing • 833-842 Hsieh J-T, Lin T-C, Mohanty S, O'Donnell R, Zhang RY
Preprint Antidistillation Sampling 2025 Savani Y, Trockman A, Feng Z, Schwarzschild A, Robey A, Finzi M, Kolter JZ
Conference GRAPHPIPE: Improving Performance and Scalability of DNN Training with Graph Pipeline Parallelism 2025 • PROCEEDINGS OF THE 30TH ACM INTERNATIONAL CONFERENCE ON ARCHITECTURAL SUPPORT FOR PROGRAMMING LANGUAGES AND OPERATING SYSTEMS, VOL 1, ASPLOS 2025 • 557-571 Jeon B, Wu M, Cao S, Kim S, Park S, Aggarwal N, Unger C, Arfeen D, Liao P, Miao X, Alizadeh M, Ganger GR, Chen T, Jia Z
Conference Relax: Composable Abstractions for End-to-End Dynamic Machine Learning 2025 • PROCEEDINGS OF THE 30TH ACM INTERNATIONAL CONFERENCE ON ARCHITECTURAL SUPPORT FOR PROGRAMMING LANGUAGES AND OPERATING SYSTEMS, VOL 2, ASPLOS 2025 • 998-1013 Lai R, Shao J, Feng S, Lyubomirsky S, Hou B, Lin W, Ye Z, Jin H, Jin Y, Liu J, Jin L, Cai Y, Jiang Z, Wu Y, Park S, Srivastava P, Roesch J, Mowry TC, Chen T
Preprint Expected Variational Inequalities 2025 Zhang BH, Anagnostides I, Tewolde E, Berker RE, Farina G, Conitzer V, Sandholm T
Journal Article Ripple: Asynchronous Programming for Spatial Dataflow Architectures 2025 • Proceedings of the ACM on Programming Languages • 9(PLDI):249-276 Ghosh S, Shi Y, Lucia B, Beckmann N
Journal Article Algorithm Configuration for Structured Pfaffian Settings 2025 • Transactions on Machine Learning Research • 2025-April: Balcan MF, Nguyen AT, Sharma D
Conference SPIDER: Fuzzing for Stateful Performance Issues in the ONOS Software-Defined Network Controller 2025 1-12 Li A, Padhye R, Sekar V
Journal Article StiffGIPC: Advancing GPU IPC for Stiff Affine-Deformable Simulation 2025 • ACM Transactions on Graphics • 44(3):1-20 Huang K, Lu X, Lin H, Komura T, Li M
Conference ApproxED: Approximate Exploitability Descent via Learned Best Responses 2025 • Proceedings of the International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS • 1454-1463 Martin C, Sandholm T
Preprint Compute-Optimal LLMs Provably Generalize Better With Scale 2025 Finzi M, Kapoor S, Granziol D, Gu A, De Sa C, Kolter JZ, Wilson AG
Journal Article Towards Mixed-State Coded Diffraction Imaging 2025 • IEEE Transactions on Pattern Analysis and Machine Intelligence • 47(8):6122-6133 Attal B, O'Toole M
Conference Parallel Cluster-BFS and Applications to Shortest Paths∗ 2025 • Proceedings of the Workshop on Algorithm Engineering and Experiments • 2025-January:42-55 Wang L, Blelloch G, Gu Y, Sun Y
Journal Article PACMNET V3, N1, March 2025 Editorial 2025 • Proceedings of the ACM on Networking • 3(CoNEXT1):1-1 Mellia M, Steenkiste P, Qazi IA, Tyson G
Preprint Learning and Computation of $\Phi$-Equilibria at the Frontier of Tractability 2025 Zhang BH, Anagnostides I, Tewolde E, Berker RE, Farina G, Conitzer V, Sandholm T
Conference Auto-Grader Feedback Utilization and Its Impacts: An Observational Study Across Five Community Colleges 2025 356-363 Zhang A, Burte H, Savelka J, Bogart C, Sakr M
Conference End-To-End Self-Tuning Self-Supervised Time Series Anomaly Detection 2025 • 2025 SIAM International Conference on Data Mining Sdm 2025 • 568-577 Deforce B, Lee MC, Baesens B, Asensio ES, Yoo J, Akoglu L
Journal Article BPF-DB: A Kernel-Embedded Transactional Database Management System For eBPF Applications 2025 • Proceedings of the ACM on Management of Data • 3(3):1-27 Butrovich M, Arch S, Lim WS, Zhang W, Patel JM, Pavlo A
Conference Learning and Computation of Φ-Equilibria at the Frontier of Tractability 2025 1105-1105 Zhang BH, Anagnostides I, Tewolde E, Berker RE, Farina G, Conitzer V, Sandholm T
Preprint Safety Pretraining: Toward the Next Generation of Safe AI 2025 Maini P, Goyal S, Sam D, Robey A, Savani Y, Jiang Y, Zou A, Lipton ZC, Kolter JZ
Journal Article Fast and fair randomized wait-free locks 2025 • Distributed Computing • 38(1):51-72 Ben-David N, Blelloch GE
Preprint Aspects of a randomly growing cluster in $\reals^d,d\geq 2 2025 Frieze A, Kannan R, Pegden W
Conference Low-Latency Volumetric Video Conferencing in Congested Networks Through L4S 2025 113-123 De Fré M, van der Hooft J, Chang C-Y, De Schepper K, Alface PR, De Vleeschauwer D, Wauters T, Steenkiste P, De Turck F
Preprint A Multiagent Path Search Algorithm for Large-Scale Coalition Structure Generation 2025 Taguelmimt R, Aknine S, Boukredera D, Changder N, Sandholm T
Conference Kronecker Generative Models for Power-Law Patterns in Real-World Hypergraphs 2025 • PROCEEDINGS OF THE ACM WEB CONFERENCE 2025, WWW 2025 • 1261-1272 Choe M, Ko J, Kwon T, Shin K, Faloutsos C
Preprint LithOS: An Operating System for Efficient Machine Learning on GPUs 2025 Coppock PH, Zhang B, Solomon EH, Kypriotis V, Yang L, Sharma B, Schatzberg D, Mowry TC, Skarlatos D
Journal Article MicroSurf: Guiding Energy Distribution inside Microwave Oven with Metasurfaces 2025 • GetMobile • 29(1):31-35 Song Y, Pan H, Ge L, Qiu L, Kumar S, Chen Y-C
Journal Article Usability Barriers for Liquid Types 2025 • Proceedings of the ACM on Programming Languages • 9(PLDI):1911-1936 Gamboa C, Reese A, Fonseca A, Aldrich J
Journal Article Analyzing the Benefits of Optical Topology Programming for Mitigating Link-Flood DDoS Attacks 2025 • IEEE Transactions on Dependable and Secure Computing • 22(1):146-163 Nance-Hall M, Liu Z, Sekar V, Durairajan R
Conference Tight Sampling Bounds for Eigenvalue Approximation 2025 • Proceedings of the Annual ACM SIAM Symposium on Discrete Algorithms • 1:489-516 Swartworth W, Woodruff DP
Chapter Rainbow Greedy Matching Algorithms 2025 • Springer Optimization and Its Applications • 220:33-50 Bennett P, Cooper C, Frieze A
Conference H4H: Hybrid Convolution-Transformer Architecture Search for NPU-CIM Heterogeneous Systems for AR/VR Applications 2025 1133-1141 Zhao Y, Chen J, Zhang SQ, Sarwar SS, Stangherlin KH, Gomez JT, Seo J-S, De Salvo B, Liu C, Gibbons PB, Li Z
Preprint PlantD: Performance, Latency ANalysis, and Testing for Data Pipelines -- An Open Source Measurement, Testing, and Simulation Framework 2025 Bogart C, Chhajer R, Singh B, Fontana T, Sakr M
Journal Article WindDancer: Understanding Acoustic Sensing under Ambient Airflow 2025 • Proceedings of the ACM on Interactive, Mobile, Wearable and Ubiquitous Technologies • 9(2): Yuan K, Li D, Zhou H, Li Z, Qiu L, Kumar S, Xiong J
Conference A Study of Undefined Behavior Across Foreign Function Boundaries in Rust Libraries 2025 2075-2086 McCormack I, Sunshine J, Aldrich J
Preprint Existing Large Language Model Unlearning Evaluations Are Inconclusive 2025 Feng Z, Xu YE, Robey A, Kirk R, Davies X, Gal Y, Schwarzschild A, Kolter JZ
Conference Certified Knowledge Compilation with Application to Formally Verified Model Counting 2025 • The journal of artificial intelligence research • 82:2057-2099 Bryant RE, Nawrocki W, Avigad J, Heule MJH
Journal Article Modal Crash Types for WAR-Aware Intermittent Computing 2025 • ACM Transactions on Programming Languages and Systems • 47(2):1-62 Dotzel M, Derakhshan F, Surbatovich M, Jia L
Journal Article The Moran Process on a Random Graph 2025 • Random structures & algorithms (Print) • 66(3): Frieze A, Pegden W
Preprint Lifting Linear Sketches: Optimal Bounds and Adversarial Robustness 2025 Gribelyuk E, Lin H, Woodruff DP, Yu H, Zhou S