Conference Efficient LLM Jailbreak via Adaptive Dense-to-sparse Constrained Optimization 2024 • Advances in Neural Information Processing Systems • 37: Hu K, Yu W, Li Y, Yao T, Li X, Liu W, Yu L, Shen Z, Chen K, Fredrikson M
Conference Communication Bounds for the Distributed Experts Problem 2024 • Advances in Neural Information Processing Systems • 37: Jia Z, Pang Q, Tran T, Woodruff D, Zhang Z, Zheng W
Conference Translating Pseudo-Boolean Proofs into Boolean Clausal Proofs 2024 • Formal Methods in Computer Aided Design Fmcad • 175-185 Nukala KV, Choudhuri S, Bryant RE, Heule MJH
Preprint A Study of Undefined Behavior Across Foreign Function Boundaries in Rust Libraries 2024 McCormack I, Sunshine J, Aldrich J
Journal Article Understanding Hallucinations in Diffusion Models through Mode Interpolation 2024 • Advances in Neural Information Processing Systems • 37: Aithal SK, Maini P, Lipton ZC, Zico Kolter J
Preprint One-Step Diffusion Distillation through Score Implicit Matching 2024 Luo W, Huang Z, Geng Z, Kolter JZ, Qi G-J
Preprint OmniMatch: Effective Self-Supervised Any-Join Discovery in Tabular Data Repositories 2024 Koutras C, Zhang J, Qin X, Lei C, Ioannidis V, Faloutsos C, Karypis G, Katsifodimos A
Preprint Mistake, Manipulation and Margin Guarantees in Online Strategic Classification 2024 Shen L, Ho-Nguyen N, Giang-Tran K-H, Kılınç-Karzan F
Preprint Efficient $\Phi$-Regret Minimization with Low-Degree Swap Deviations in Extensive-Form Games 2024 Zhang BH, Anagnostides I, Farina G, Sandholm T
Conference EAGLEEYE: Nanosatellite constellation design for high-coverage, high-resolution sensing 2024 • PROCEEDINGS OF THE 29TH ACM INTERNATIONAL CONFERENCE ON ARCHITECTURAL SUPPORT FOR PROGRAMMING LANGUAGES AND OPERATING SYSTEMS, ASPLOS 2024, VOL 1 • 117-132 Cheng Z, Denby B, McCleary K, Lucia B
Conference DATALORE: Can a Large Language Model Find All Lost Scrolls in a Data Repository? 2024 • Proceedings - International Conference on Data Engineering • 00:5170-5176 Lou Y, Lei C, Qin X, Wang Z, Faloutsos C, Anubhai R, Rangwala H
Preprint GraphPipe: Improving Performance and Scalability of DNN Training with Graph Pipeline Parallelism 2024 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
Journal Article Walkin' Robin: Walk on Stars with Robin Boundary Conditions 2024 • ACM Transactions on Graphics • 43(4): Miller B, Sawhney R, Crane K, Gkioulekas I
Journal Article PACMNET, V2, CoNEXT2, June 2024 Editorial 2024 • Proceedings of the ACM on Networking • 2(CoNEXT2):1-1 Mellia M, Steenkiste P, Tyson G, Qazi IA
Journal Article Large-scale calcium imaging reveals a systematic V4 map for encoding natural scenes 2024 • Nature Communications • 15(1): Wang T, Lee TS, Yao H, Hong J, Li Y, Jiang H, Andolina IM, Tang S
Conference Prudentia: Findings of an Internet Fairness Watchdog 2024 • PROCEEDINGS OF THE 2024 ACM SIGCOMM 2024 CONFERENCE, ACM SIGCOMM 2024 • 506-520 Philip AA, Athapathu R, Ware R, Mkocheko FF, Schlomer A, Shou M, Meng Z, Seshan S, Sherry J
Journal Article The Bright Side of Simple Heuristics for the TSP 2024 • Electronic Journal of Combinatorics • 31(4): Frieze A, Pegden W
Preprint Tolerance of Reinforcement Learning Controllers against Deviations in Cyber Physical Systems 2024 Zhang C, Kapoor P, Kang E, Meira-Goes R, Garlan D, Ganlath A, Mishra S, Ammar N
Conference ProInspector: Uncovering Logical Bugs in Protocol Implementations 2024 • 9TH EUROPEAN SYMPOSIUM ON SECURITY AND PRIVACY, EUROS&P 2024 • 617-632 Zhang Z, Jia L, Pasareanu C
Conference Towards Ubiquitous IoT through Long Range Wireless Energy Harvesting 2024 21-30 Ahmed MI, Bansal A, Yuan K, Zhang J, Kumar S
Conference Faster Algorithms for Schatten-p Low Rank Approximation 2024 • Leibniz International Proceedings in Informatics • 317: Kacham P, Woodruff DP
Preprint A System for Microserving of LLMs 2024 Jin H, Lai R, Ruan CF, Wang Y, Mowry TC, Miao X, Jia Z, Chen T
Journal Article Abstract 2326: Integrating single nucleotide variants (SNVs), copy number alterations (CNAs), and structural variants (SVs) into single-cell clonal lineage inference 2024 • Cancer Research • 84(6_Supplement):2326-2326 Bristy N, Fu X, Schwartz R
Conference DeWinder: Single-Channel Wind Noise Reduction using Ultrasound Sensing 2024 • Proceedings of the Annual Conference of the International Speech Communication Association, INTERSPEECH • 627-631 Yuan K, Han S, Kumar S, Raj B
Journal Article Welcome from the Program Chair 2024 • Annual ACM Symposium on Theory of Computing • iii-iv Mohar B, Shinkar I, O'Donnell R
Conference Even Sparser Graph Transformers 2024 • Advances in Neural Information Processing Systems • 37: Shirzad H, Lin H, Venkatachalam B, Velingker A, Woodruff DP, Sutherland DJ
Journal Article Message from the Program Chairs 2024 • Leibniz International Proceedings in Informatics • 313: Aldrich J, Salvaneschi G
Journal Article THE UPDATE-EQUIVALENCE FRAMEWORK FOR DECISION-TIME PLANNING 2024 • 12th International Conference on Learning Representations Iclr 2024 Sokota S, Farina G, Wu DJ, Hu H, Wang KA, Kolter JZ, Brown N
Conference UNDERSTANDING AUGMENTATION-BASED SELF-SUPERVISED REPRESENTATION LEARNING VIA RKHS APPROXIMATION AND REGRESSION 2024 • 12th International Conference on Learning Representations Iclr 2024 Zhai R, Liu B, Risteski A, Kolter Z, Ravikumar P
Preprint Inference Optimal VLMs Need Fewer Visual Tokens and More Parameters 2024 Li KY, Goyal S, Semedo JD, Kolter JZ
Preprint Text Descriptions are Compressive and Invariant Representations for Visual Learning 2023 Feng Z, Bair A, Kolter JZ
Conference Database Gyms 2023 • 13th Annual Conference on Innovative Data Systems Research Cidr 2023 Lim WS, Crotty A, Butrovich M, Ma L, Zhang W, Xu P, Gehrke J, Pavlo A
Conference CALLMINE: Fraud Detection and Visualization of Million-Scale Call Graphs 2023 • PROCEEDINGS OF THE 32ND ACM INTERNATIONAL CONFERENCE ON INFORMATION AND KNOWLEDGE MANAGEMENT, CIKM 2023 • 4509-4515 Cazzolato M, Vijayakumar S, Lee M-C, Vajiac C, Park N, Fidalgo P, Traina AJM, Faloutsos C
Conference Optimizing User Experience in Wearable Cognitive Assistance through Model Specialization 2023 14-20 Nguyen C, Satyanarayanan M
Preprint Projected Off-Policy Q-Learning (POP-QL) for Stabilizing Offline Reinforcement Learning 2023 Roderick M, Manek G, Berkenkamp F, Kolter JZ
Journal Article Leaf: Modularity for Temporary Sharing in Separation Logic 2023 • Proceedings of the ACM on Programming Languages • 7(OOPSLA): Hance T, Howell J, Padon O, Parno B
Conference Sharding the State Machine: Automated Modular Reasoning for Complex Concurrent Systems 2023 • PROCEEDINGS OF THE 17TH USENIX SYMPOSIUM ON OPERATING SYSTEMS DESIGN AND IMPLEMENTATION, OSDI 2023 • 911-929 Hance T, Zhou Y, Lattuada A, Achermann R, Conway A, Stutsman R, Zellweger G, Hawblitzel C, Howell J, Parno B
Journal Article The I/O Driven Server: From SmartNICs to Data Movement Controllers 2023 • Computer Communication Review • 53(3):9-17 Sherry J
Journal Article Dual-Shutter Optical Vibration Sensing 2023 • IEEE Transactions on Pattern Analysis and Machine Intelligence • PP(99):1-12 Sheinin M, Chan D, O'Toole M, Narasimhan SG
Conference Lower Bounds on Adaptive Sensing for Matrix Recovery 2023 • Advances in Neural Information Processing Systems Kacham P, Woodruff DP
Conference Kodan: Addressing the Computational Bottleneck in Space 2023 • PROCEEDINGS OF THE 28TH ACM INTERNATIONAL CONFERENCE ON ARCHITECTURAL SUPPORT FOR PROGRAMMING LANGUAGES AND OPERATING SYSTEMS, VOL 3, ASPLOS 2023 • 392-403 Denby B, Chintalapudi K, Chandra R, Lucia B, Noghabi S
Preprint Investigating Robustness in Cyber-Physical Systems: Specification-Centric Analysis in the face of System Deviations 2023 Zhang C, Kapoor P, Meira-Goes R, Garlan D, Kang E, Ganlath A, Mishra S, Ammar N
Preprint A Gold Standard Dataset for the Reviewer Assignment Problem 2023 Stelmakh I, Wieting J, Xi S, Neubig G, Shah NB
Journal Article Boundary Value Caching for Walk on Spheres 2023 • ACM Transactions on Graphics • 42(4): Miller B, Sawhney R, Crane K, Gkioulekas I
Journal Article DeltaShield: Information Theory for Human- Trafficking Detection 2023 • ACM Transactions on Knowledge Discovery from Data • 17(2): Vajiac C, Lee M-C, Kulshrestha A, Levy S, Park N, Olligschlaeger A, Jones C, Rabbany R, Faloutsos C
Journal Article A UNIFIED APPROACH TO REINFORCEMENT LEARNING, QUANTAL RESPONSE EQUILIBRIA, AND TWO-PLAYER ZERO-SUM GAMES 2023 • 11th International Conference on Learning Representations Iclr 2023 Sokota S, D'Orazio R, Kolter JZ, Loizou N, Lanctot M, Mitliagkas I, Brown N, Kroer C
