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 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 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):1-25 Yuan K, Li D, Zhou H, Li Z, Qiu L, Kumar S, Xiong J
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
Conference Uplink End-to-End Latency Characterization of a 5G NSA Access Network 2025 280-291 Azuaje O, Aguiar A, Steenkiste P
Journal Article Perfect Sampling in Turnstile Streams Beyond Small Moments 2025 • Proceedings of the ACM on Management of Data • 3(2):1-27 Woodruff DP, Xie S, Zhou S
Conference POSTER: Big Atomics and Fast Hash Tables 2025 • PROCEEDINGS OF THE 2025 THE 30TH ACM SIGPLAN ANNUAL SYMPOSIUM ON PRINCIPLES AND PRACTICE OF PARALLEL PROGRAMMING, PPOPP 2025 • 539-541 Anderson D, Blelloch GE, Jayanti SV
Conference Lifting Linear Sketches: Optimal Bounds and Adversarial Robustness 2025 395-406 Gribelyuk E, Lin H, Woodruff DP, Yu H, Zhou S
Preprint Nearly-Optimal Bandit Learning in Stackelberg Games with Side Information 2025 Balcan M-F, Bernasconi M, Castiglioni M, Celli A, Harris K, Wu ZS
Preprint CarbonEdge: Leveraging Mesoscale Spatial Carbon-Intensity Variations for Low Carbon Edge Computing 2025 Wu L, Hanafy WA, Souza A, Nguyen K, Harkes J, Irwin D, Satyanarayanan M, Shenoy P
Preprint Nonuniform-Tensor-Parallelism: Mitigating GPU failure impact for Scaled-up LLM Training 2025 Arfeen D, Mudigere D, More A, Gopireddy B, Inci A, Ganger GR
Journal Article Approximately Packing Dijoins via Nowhere-Zero Flows 2025 • Combinatorica • 45(3): Cornuejols G, Liu S, Ravi R
Journal Article A Saturation-Based Unification Algorithm for Higher-Order Rational Patterns 2025 • ACM Transactions on Computational Logic • 26(1): Chen Z, Pfenning F
Journal Article Providing tailored reflection instructions in collaborative learning using large language models 2025 • British Journal of Educational Technology • 56(2):531-550 Naik A, Yin JR, Kamath A, Ma Q, Wu ST, Murray RC, Bogart C, Sakr M, Rose CP
Journal Article Building Hamiltonian cycles in the semi-random graph process in less than 2 n rounds 2025 • European Journal of Combinatorics • 126:104122 Frieze A, Gao P, MacRury C, Prałat P, Sorkin GB
Preprint Sample complexity of data-driven tuning of model hyperparameters in neural networks with structured parameter-dependent dual function 2025 Balcan M-F, Nguyen AT, Sharma D
Journal Article Zhuge: Toward Consistent Low Latency With Minimal Control Loop Delay 2025 • IEEE/ACM Transactions on Networking • 33(2):624-639 Wang B, Yang X, Meng Z, Guo Y, Sun C, Sherry J, Liu HH, Xu M, Wu J
Conference Energy-aware Scheduling and Input Buffer Overflow Prevention for Energy-harvesting Systems 2025 • PROCEEDINGS OF THE 30TH ACM INTERNATIONAL CONFERENCE ON ARCHITECTURAL SUPPORT FOR PROGRAMMING LANGUAGES AND OPERATING SYSTEMS, VOL 2, ASPLOS 2025 • 339-354 Desai H, Wang X, Lucia B
Journal Article The Nonstationary Newsvendor with (and Without) Predictions 2025 • Manufacturing & Service Operations Management • 27(3): An L, Li AA, Moseley B, Ravi R
Journal Article Game Theoretic Liquidity Provisioning in Concentrated Liquidity Market Makers 2025 • Proceedings of the ACM on Measurement and Analysis of Computing Systems • 9(1): Tang W, El-Azouzi R, Lee CH, Chan E, Fanti G
Preprint Improving Upon the generalized c-mu rule: a Whittle approach 2025 Li Z, Gurushankar K, Harchol-Balter M, Scheller-Wolf A
Conference Choosing Robot Feedback Style to Optimize Human Exercise Performance 2025 • ACM/IEEE International Conference on Human-Robot Interaction • 00:658-666 Kaushik R, Hata R, Steinfeld A, Simmons R
Conference Game Theoretic Liquidity Provisioning in Concentrated Liquidity Market Makers 2025 16-18 Tang W, El-Azouzi R, Lee CH, Chan E, Fanti G
Journal Article Some online Maker-Breaker games 2025 • Discrete Mathematics • 348(6):114446 Bennett P, Frieze A
Journal Article A comparative study of AI-generated and human-crafted learning objectives in computing education 2025 • Journal of Computer Assisted Learning • 41(1): Doyle A, Sridhar P, Agarwal A, Savelka J, Sakr M
Conference AI Technicians: Developing Rapid Occupational Training Methods for a Competitive AI Workforce 2025 • PROCEEDINGS OF THE 56TH ACM TECHNICAL SYMPOSIUM ON COMPUTER SCIENCE EDUCATION, SIGCSE TS 2025, VOL 1 • 1029-1035 Savelka J, Kultur C, Agarwal A, Bogart C, Burte H, Zhang A, Sakr M
Journal Article Kinematic Motion Retargeting for Contact-Rich Anthropomorphic Manipulations 2025 • ACM Transactions on Graphics • 44(2): Lakshmipathy AS, Hodgins JK, Pollard NS
Journal Article Instance-specific linear relaxations of semidefinite optimization problems 2025 • Mathematical Programming Computation • 17(2):385-435 de Roux D, Carr R, Ravi R
Conference Statistical Modeling and Analysis of Electronic Examination Logs 2025 1761-1761 Satav R, Reese A, Railing BP
Preprint Solving partial differential equations in participating media 2025 Miller B, Sawhney R, Crane K, Gkioulekas I
Journal Article Multicenter phase I/II study of abemaciclib and ramucirumab in metastatic gastroesophageal adenocarcinoma (GEA): CDK4/6 and cyclin D1 alterations as a predictor of response and survival. 2025 • Journal of Clinical Oncology • 43(16_suppl):4063-4063 Kelly RJ, Lam VK, Paulson AS, McCollum AD, Kitchens BL, Abushahin LI, Sherry C, Anees M, LaFramboise W, Schwartz RS, Goel A, Zheng P, Wagner P, Bartlett DL, Raj MS, Anagnostou V, Zaidi AH
Journal Article Game Theoretic Liquidity Provisioning in Concentrated Liquidity Market Makers 2025 • Performance Evaluation Review • 53(1):16-18 Tang W, El-Azouzi R, Lee CH, Chan E, Fanti G
Journal Article Generalization Guarantees for Multi-Item Profit Maximization: Pricing, Auctions, and Randomized Mechanisms 2025 • Operations Research • 73(2): Balcan M-F, Sandholm T, Vitercik E
Journal Article Revisiting Abstractions for Software Architecture and Tools to Support Them 2025 • IEEE Transactions on Software Engineering • 51(3):768-773 Shaw M, Klein DV, Ross TL
Journal Article Job assignment in machine learning inference systems with accuracy constraints 2025 • Performance evaluation (Print) • 167: Choudhury T, Joshi G, Wang W
