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
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 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
Journal Article Preface and Acknowledgments 2024 • Proceedings of the Annual ACM SIAM Symposium on Discrete Algorithms • 2024-January: Woodruff DP
Journal Article Attributed Graph Alignment 2024 • IEEE Transactions on Information Theory • 70(8):5910-5934 Zhang N, Wang Z, Wang W, Wang L
Conference VINSat: Solving the Lost-in-Space Problem with Visual-Inertial Navigation 2024 • IEEE International Conference on Robotics and Automation • 11774-11780 McCleary K, Gu S, Manchester Z, Fisch PRM, Tayal S, Lucia B
Conference A Methodology and Testbed to Develop an Energy Model for 5G Virtualized RANs 2024 • 2024 IEEE INTERNATIONAL CONFERENCE ON COMMUNICATIONS WORKSHOPS, ICC WORKSHOPS 2024 • 982-987 Martins S, Aguiar A, Steenkiste P
Journal Article Message from the Program Chairs 2024 • ACM SIGCOMM 2024 Proceedings of the 2024 ACM SIGCOMM 2024 Conference • III-IV Sekar V, Yu M
Journal Article FlowCert: Translation Validation for Asynchronous Dataflow via Dynamic Fractional Permissions 2024 • Proceedings of the ACM on Programming Languages • 8(OOPSLA): Lin Z, Gancher J, Parno B
Conference The Role of User-Agent Interactions on Mobile Money Practices in Kenya and Tanzania 2024 • IEEE Symposium on Security and Privacy: Proceedings • 752-769 Sowon K, Luhanga E, Cranor LF, Fanti G, Tucker C, Gueye A
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 MONDEO-Tactics5G: Multistage botnet detection and tactics for 5G/6G networks 2024 • Computers and Security • 140: Sousa B, Dias D, Antunes N, Camara J, Wagner R, Schmerl B, Garlan D, Fidalgo P
Journal Article Modeling the Effect of Spatial Structure on Solid Tumor Evolution and Circulating Tumor DNA Composition 2024 • Cancers • 16(5): Rachman T, Bartlett D, Laframboise W, Wagner P, Schwartz R, Carja O
Journal Article Disentanglement with Futures, State, and Interaction 2024 • Proceedings of the ACM on Programming Languages • 8(POPL): Arora J, Muller SK, Acar UA
Conference Course Delivery Methods, Student Success, and Self-efficacy in Introductory Programming 2024 • Annual Conference on Innovation and Technology in Computer Science Education, ITiCSE • 808-808 Bogart C, Kultur C, Keylor E, Savelka J, Sakr M
Conference NETINFOF FRAMEWORK: MEASURING AND EXPLOITING NETWORK USABLE INFORMATION 2024 • 12th International Conference on Learning Representations Iclr 2024 Lee MC, Yu H, Zhang J, Ioannidis VN, Song X, Adeshina S, Zheng D, Faloutsos C
