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 Using Radar for Edge-based Live Learning 2025 31-36 Sturzinger E, Harkes J, Yannay N, Granevich A, Goldman G, Satyanarayanan M
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 • Proceedings of the Asia and South Pacific Design Automation Conference, ASP-DAC • 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
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 POSTER: Big Atomics and Fast Hash Tables 2025 • Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPOPP • 539-541 Anderson D, Blelloch GE, Jayanti SV
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
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 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
Conference Energy-aware Scheduling and Input Buffer Overflow Prevention for Energy-harvesting Systems 2025 • International Conference on Architectural Support for Programming Languages and Operating Systems - ASPLOS • 339-354 Desai H, Wang X, Lucia B
Journal Article The Nonstationary Newsvendor with (and Without) Predictions 2025 • Manufacturing & Service Operations Management 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
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):1-20 Lakshmipathy AS, Hodgins J, Pollard N
Journal Article Instance-specific linear relaxations of semidefinite optimization problems 2025 • Mathematical Programming Computation 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
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
Journal Article Intersectional HCI on a Budget: An Analytical Approach Powered by Types 2025 • International Journal of Human-Computer Interaction Fallatah A, Hamid MM, Moussaoui FA, Chikezie C, Erwig M, Bogart C, Sarma A, Burnett M
Conference Towards Compositional Assurance of Large Cyber-Physical Systems 2025 1-3 Moreno GA, Klein MH, Saha S, Derakhshan F, Jia L
Journal Article On the Detection of Reviewer-Author Collusion Rings From Paper Bidding 2025 • Transactions on Machine Learning Research • 2025: Jecmen S, Shah NB, Fang F, Akoglu L
Preprint AI Technicians: Developing Rapid Occupational Training Methods for a Competitive AI Workforce 2025 Savelka J, Kultur C, Agarwal A, Bogart C, Burte H, Zhang A, Sakr M
Journal Article Contrasting to Spark Creativity in Software Development: Tactics Used By High-Performing Teams 2025 • IEEE Software • 42(3):67-74 Petre M, Shaw M
Conference Leveraging Large Language Models for Preference-Based Sequence Prediction 2025 519-532 Tecson M, Chen D, Zhao M, Erickson Z, Simmons R
Conference Benchmarking Fraud Detectors on Private Graph Data 2025 378-389 Goldberg A, Fanti G, Shah N, Wu S
Journal Article Accelerated first-order methods for a class of semidefinite programs 2025 • Mathematical programming • 209(1-2):503-556 Wang AL, Kilinc-Karzan F
Journal Article Conic Mixed-Binary Sets: Convex Hull Characterizations and Applications 2025 • Operations Research • 73(1): Kilinc-Karzan F, Kucukyavuz S, Lee D, Shafieezadeh-Abadeh S
Journal Article Sc-TUSV-Ext: Single-Cell Clonal Lineage Inference from Single Nucleotide Variants, Copy Number Alterations, and Structural Variants 2025 • Journal of Computational Biology Bristy NA, Fu X, Schwartz R
Conference Inferentially-Private Private Information 2025 2579-2595 Wang S, Zheng S, Lin Z, Fanti G, Wu ZS
Journal Article Accelerated first-order methods for a class of semidefinite programs 2025 • Mathematical programming • 209(1-2):503-556 Wang AL, Kilinc-Karzan F
Journal Article A declarative approach and benchmark tool for controlled evaluation of microservice resiliency patterns 2025 • Software - Practice and Experience • 55(1):170-192 Aderaldo CM, Costa TM, Vasconcelos DM, Mendonca NC, Camara J, Garlan D
Journal Article Biological databases in the age of generative artificial intelligence 2025 • Bioinformatics Advances • 5(1): Pop M, Attwood TK, Blake JA, Bourne PE, Conesa A, Gaasterland T, Hunter L, Kingsford C, Kohlbacher O, Lengauer T, Markel S, Moreau Y, Noble WS, Orengo C, Ouellette BFF, Parida L, Przulj N, Przytycka TM, Ranganathan S, Schwartz R, Valencia A, Warnow T
Journal Article Learning-augmented sketching offers improved performance for privacy preserving and secure GWAS 2025 • iScience • 28(3): Xu J, Zhu K, Cai J, Kockan C, Dokmai N, Cho H, Woodruff DP, Sahinalp SC
Journal Article Optimal Correlated Equilibria in General-Sum Extensive-Form Games: Fixed-Parameter Algorithms, Hardness, and Two-Sided Column-Generation 2025 • Mathematics of Operations Research Zhang BH, Farina G, Celli A, Sandholm T
Journal Article Marker selection strategies for circulating tumor DNA guided by phylogenetic inference 2025 • Bioinformatics • 41(4):btaf145 Fu X, Luo Z, Deng Y, LaFramboise W, Bartlett D, Schwartz R
Conference Space Complexity of Minimum Cut Problems in Single-Pass Streams 2025 • Leibniz International Proceedings in Informatics • 325: Ding M, Garces A, Li J, Lin H, Nelson J, Shah V, Woodruff DP
Journal Article Conic Mixed-Binary Sets: Convex Hull Characterizations and Applications 2025 • Operations Research • 73(1): Kilinc-Karzan F, Kucukyavuz S, Lee D, Shafieezadeh-Abadeh S
Chapter Tolerance of Reinforcement Learning Controllers Against Deviations in Cyber Physical Systems 2025 • Lecture Notes in Computer Science • 14934:267-285 Zhang C, Kapoor P, Meira-Goes R, Garlan D, Kang E, Ganlath A, Mishra S, Ammar N
Preprint Computing Game Symmetries and Equilibria That Respect Them 2025 Tewolde E, Zhang BH, Oesterheld C, Sandholm T, Conitzer V
Journal Article Generative Manufacturing: A requirements and resource-driven approach to part making 2025 • Computers in industry (Print) • 168: Chen H, Joglekar A, Rubinstein Z, Schmerl B, Fedder G, de Nijs J, Garlan D, Smith S, Kara LB
