Preprint Amortized Analysis via Coalgebra 2024 • Electronic Notes in Theoretical Informatics and Computer Science • 4:11 Grodin H, Harper R
Conference Model-Free Preference Elicitation 2024 • IJCAI International Joint Conference on Artificial Intelligence • 3493-3503 Martin C, Boutilier C, Meshi O, Sandholm T
Conference Atomique: A Quantum Compiler for Reconfigurable Neutral Atom Arrays 2024 • Proceedings / Annual International Symposium on Computer Architecture. International Symposium on Computer Architecture • 293-309 Wang H, Liu P, Tan DB, Li Y, Gu J, Pan DZ, Cong J, Acar UA, Han S
Conference POSTER: User-Controllable Congestion Mitigation for Low-Latency Applications 2024 • PROCEEDINGS OF THE 2024 SIGCOMM POSTER AND DEMO SESSIONS, SIGCOMM POSTERS AND DEMOS 2024 • 54-56 Schlomer A, Philip AA, Sherry J, Meng Z
Journal Article Hit the Gym: Accelerating Query Execution to Efficiently Bootstrap Behavior Models for Self-Driving Database Management Systems 2024 • Proceedings of the VLDB Endowment • 17(11):3680-3693 Lim WS, Ma L, Zhang W, Butrovich M, Arch S, Pavlo A
Conference Attacks and Defenses for Large Language Models on Coding Tasks 2024 • Proceedings / IEEE International Conference, Automated Software Engineering ; sponsored by IEEE Computer Society, NASA Ames Research Center, in cooperation with AAAI, ACM SIGART and SIGSOFT. IEEE International Automated Software Enginee... • 2268-2272 Zhang C, Wang Z, Zhao R, Mangal R, Fredrikson M, Jia L, Pasareanu CS
Conference Learning to Compare Hints: Combining Insights from Student Logs and Large Language Models 2024 • AI FOR EDUCATION WORKSHOP • 257:162-169 Zhang T, Kumar HA, Schmucker R, Azaria A, Mitchell T
Conference Poster: Circa: Re-imagining Network Telemetry from an Approximation-First Perspective 2024 • PROCEEDINGS OF THE 2024 SIGCOMM POSTER AND DEMO SESSIONS, SIGCOMM POSTERS AND DEMOS 2024 • 57-59 Srivastava M, Sekar V
Conference A Roadmap for the Democratization of Space-Based Communications 2024 • PROCEEDINGS OF THE 2024 THE 23RD ACM WORKSHOP ON HOT TOPICS IN NETWORKS, HOTNETS 2024 • 17-24 Muriga V, Kumar S, Sriraman A, Gueye A
Journal Article Sharp Waiting-Time Bounds for Multiserver Jobs 2024 • Stochastic Systems • 14(4):455-478 Hong Y, Wang W
Journal Article PACMNET, V2, CoNEXT4, December 2024 Editorial 2024 • Proceedings of the ACM on Networking • 2(CoNEXT4):1-1 Mellia M, Steenkiste P, Qazi IA, Tyson G
Conference Using Radar for Edge-based Live Learning 2024 • PROCEEDINGS OF THE 2025 THE 26TH INTERNATIONAL WORKSHOP ON MOBILE COMPUTING SYSTEMS AND APPLICATIONS, HOTMOBILE 2025 • 121-121 Sturzinger E, Harkes J, Yannay N, Granevich A, Goldman G, Satyanarayanan M
Conference RFBridge: Ultra Wideband Reconfigurable Metamaterial Surface Enabling Frequency Conversion 2024 • PROCEEDINGS OF THE 2025 THE 26TH INTERNATIONAL WORKSHOP ON MOBILE COMPUTING SYSTEMS AND APPLICATIONS, HOTMOBILE 2025 • 67-72 Liu Y, Aggarwal S, Ibrahim M, Sharma P, Kumar S
Conference On Socially Fair Low-Rank Approximation and Column Subset Selection 2024 • Advances in Neural Information Processing Systems • 37: Song Z, Vakilian A, Woodruff DP, Zhou S
Preprint Prompt Recovery for Image Generation Models: A Comparative Study of Discrete Optimizers 2024 Williams JN, Schwarzschild A, He Y, Kolter JZ
Journal Article The RESET and MARC Techniques, with Application to Multiserver-Job Analysis 2024 • Performance Evaluation Review • 51(4):6-7 Grosof I, Hong Y, Harchol-Balter M, Scheller-Wolf A
Journal Article Generating Situated Reflection Triggers About Alternative Solution Paths: A Case Study of Generative AI for Computer-Supported Collaborative Learning 2024 • Lecture Notes in Computer Science • 14829:46-59 Naik A, Yin JR, Kamath A, Ma Q, Wu ST, Murray C, Bogart C, Sakr M, Rose CP
Preprint McCatch: Scalable Microcluster Detection in Dimensional and Nondimensional Datasets 2024 Vinces BVS, Cordeiro RLF, Faloutsos C
Conference Minkowski Penalties: Robust Differentiable Constraint Enforcement for Vector Graphics 2024 • PROCEEDINGS OF SIGGRAPH 2024 CONFERENCE PAPERS Minarcik J, Estep S, Ni W, Crane K
Preprint Ruffle&Riley: Insights from Designing and Evaluating a Large Language Model-Based Conversational Tutoring System 2024 Schmucker R, Xia M, Azaria A, Mitchell T
Conference Tartan: Microarchitecting a Robotic Processor 2024 • Proceedings / Annual International Symposium on Computer Architecture. International Symposium on Computer Architecture • 548-565 Bakhshalipour M, Gibbons PB
Preprint Cost-sensitive computational adequacy of higher-order recursion in synthetic domain theory 2024 • Electronic Notes in Theoretical Informatics and Computer Science • 4:11 Niu Y, Sterling J, Harper R
Conference Exponential Lower Bounds on the Double Oracle Algorithm in Zero-Sum Games 2024 • IJCAI International Joint Conference on Artificial Intelligence • 3032-3039 Zhang BH, Sandholm T
Journal Article The Holon Approach for Simultaneously Tuning Multiple Components in a Self-Driving Database Management System with Machine Learning via Synthesized Proto-Actions 2024 • Proceedings of the VLDB Endowment • 17(11):3373-3387 Zhang W, Lim WS, Butrovich M, Pavlo A
Journal Article BlockGraph: a scalable secure distributed ledger that exploits locality 2024 • Distributed and Parallel Databases • 42(2):217-244 Goldstein SC, Gao S, Sun Z
Journal Article PACMNET, V2, CoNEXT3, September 2024 Editorial 2024 • Proceedings of the ACM on Networking • 2(CoNEXT3):1-1 Mellia M, Steenkiste P, Qazi IA, Tyson G
Conference Work-in-Progress: CANGen: Practical Synthetic CAN Traces Generation using Deep Generative Models 2024 • 9TH IEEE EUROPEAN SYMPOSIUM ON SECURITY AND PRIVACY WORKSHOPS, EUROS&PW 2024 • 390-398 Yin Y, Merchan JG, Pappachan P, Sekar V
Conference Inductive Invariants That Spark Joy: Using Invariant Taxonomies to Streamline Distributed Protocol Proofs 2024 • PROCEEDINGS OF THE 18TH USENIX SYMPOSIUM ON OPERATING SYSTEMS DESIGN AND IMPLEMENTATION, OSDI 2024 • 837-853 Zhang TN, Hance T, Kapritsos M, Chajed T, Parno B
Conference Statistic Maximal Leakage 2024 • IEEE International Symposium on Information Theory - Proceedings • 2742-2747 Wang S, Lin Z, Fanti G
Conference Quantum Circuit Mapping Based on Incremental and Parallel SAT Solving 2024 • Leibniz International Proceedings in Informatics • 305: Yang J, Kharkov YA, Shi Y, Heule MJH, Dutertre B
Conference Real-Time Demonstration of Low-Latency Video Delivery via Hybrid Unicast-Broadcast Networks 2024 • 2024 20TH INTERNATIONAL CONFERENCE ON NETWORK AND SERVICE MANAGEMENT, CNSM 2024 Haems C, van der Hooft J, Mareen H, Steenkiste P, Van Wallendael G, Wauters T, De Turck F
Journal Article WORST-CASE INPUT GENERATION FOR CONCURRENT PROGRAMS UNDER NON-MONOTONE RESOURCE METRICS 2024 • Logical Methods in Computer Science • 20(4): Pham L, Hoffmann J
Journal Article The ISCB competency framework v. 3: a revised and extended standard for bioinformatics education and training 2024 • Bioinformatics Advances • 4(1): Brooksbank C, Brazas MD, Mulder N, Schwartz R, Ras V, Morgan SL, Llinares ML, Lopez PC, Larcombe L, Ghouila A, Hancocks T, Satagopam V, de las Rivas J, Mazandu G, Gaeta B
Conference Using Radar for Edge-based Live Learning 2024 • PROCEEDINGS OF THE 2025 THE 26TH INTERNATIONAL WORKSHOP ON MOBILE COMPUTING SYSTEMS AND APPLICATIONS, HOTMOBILE 2025 • 31-36 Sturzinger E, Harkes J, Yannay N, Granevich A, Goldman G, Satyanarayanan M
Preprint DeWinder: Single-Channel Wind Noise Reduction using Ultrasound Sensing 2024 Yuan K, Han S, Kumar S, Raj B
Conference John Ellipsoids via Lazy Updates 2024 • Advances in Neural Information Processing Systems • 37: Woodruff DP, Yasuda T
Journal Article GenSQL: A Probabilistic Programming System for Querying Generative Models of Database Tables 2024 • Proceedings of the ACM on Programming Languages • 8(PLDI): Huot M, Ghavami M, Lew AK, Schaechtle U, Freer CE, Shelby Z, Rinard MC, Saad FA, Mansinghka VK
Journal Article MANIFOLD PRESERVING GUIDED DIFFUSION 2024 • 12th International Conference on Learning Representations Iclr 2024 He Y, Murata N, Lai CH, Takida Y, Uesaka T, Kim D, Liao WH, Mitsufuji Y, Kolter JZ, Salakhutdinov R, Ermon S
Preprint Transformers to SSMs: Distilling Quadratic Knowledge to Subquadratic Models 2024 Bick A, Li KY, Xing EP, Kolter JZ, Gu A
Journal Article One-Step Diffusion Distillation through Score Implicit Matching 2024 • Advances in Neural Information Processing Systems • 37: Luo W, Huang Z, Geng Z, Kolter JZ, Qi GJ
Journal Article The Internet of Batteryless Things 2024 • Communications of the ACM • 67(3):64-73 Ahmed S, Islam B, Yildirim KS, Zimmerling M, Pawelczak P, Alizai MH, Lucia B, Mottola L, Sorber J, Hester J
Journal Article Modeling and Analyzing Evaluation Cost of CUDA Kernels 2024 • ACM Transactions on Parallel Computing • 11(1): Muller SK, Hoffmann J
Chapter Chapter 3 Machine learning applications in cancer genomics 2024 41-72 El-Charif O, Schwartz R, Yuan Y, Tao Y
Conference Designing Modular Auto-graded Programming Projects 2024 • Annual Conference on Innovation and Technology in Computer Science Education, ITiCSE • 814-814 Kultur C, Savelka J, Bogart C, Sakr M
Preprint Asymptotically Optimal Scheduling of Multiple Parallelizable Job Classes 2024 Berg B, Moseley B, Wang W, Harchol-Balter M
Journal Article Efficient Static Vulnerability Analysis for JavaScript with Multiversion Dependency Graphs 2024 • Proceedings of the ACM on Programming Languages • 8(PLDI): Ferreira M, Monteiro M, Brito T, Coimbra ME, Santos N, Jia L, Fragoso Santos J
Conference RobotPerf: An Open-Source, Vendor-Agnostic, Benchmarking Suite for Evaluating Robotics Computing System Performance 2024 • IEEE International Conference on Robotics and Automation • 8288-8297 Mayoral-Vilches V, Jabbour J, Hsiao Y-S, Wan Z, Crespo-Alvarez M, Stewart M, Reina-Munoz JM, Nagras P, Vikhe G, Bakhshalipour M, Pinzger M, Rass S, Panigrahi S, Corradi G, Roy N, Gibbons PB, Neuman SM, Plancher B, Reddi VJ
Conference Imperfect-Recall Games: Equilibrium Concepts and Their Complexity 2024 • IJCAI International Joint Conference on Artificial Intelligence • 2994-3004 Tewolde E, Zhang BH, Oesterheld C, Zampetakis M, Sandholm T, Goldberg P, Conitzer V
