Preprint Computing Optimal Equilibria and Mechanisms via Learning in Zero-Sum Extensive-Form Games 2023 Zhang BH, Farina G, Anagnostides I, Cacciamani F, McAleer SM, Haupt AA, Celli A, Gatti N, Conitzer V, Sandholm T
Preprint Localized Text-to-Image Generation for Free via Cross Attention Control 2023 He Y, Salakhutdinov R, Kolter JZ
Conference Concept2Box: Joint Geometric Embeddings for Learning Two-View Knowledge Graphs 2023 • Proceedings of the conference. Association for Computational Linguistics. Meeting • 10105-10118 Huang Z, Wang D, Huang B, Zhang C, Shang J, Liang Y, Wang Z, Li X, Faloutsos C, Sun Y, Wang W
Conference Smarter Atomic Smart Pointers: Safe and Efficient Concurrent Memory Management (Abstract) 2023 9-10 Anderson D, Blelloch GE, Wei Y
Journal Article Psychological Science Meets Wearable Cognitive Assistance 2023 • Current Directions in Psychological Science • 32(6):446-453 Klatzky RLL, Satyanarayanan M
Conference Algebraic Reductions of Knowledge 2023 • Lecture Notes in Computer Science • 14084:669-701 Kothapalli A, Parno B
Conference How I Learned to Stop Worrying About CCA Contention 2023 • PROCEEDINGS OF THE 22ND ACM WORKSHOP ON HOT TOPICS IN NETWORKS, HOTNETS 2023 • 229-237 Brown L, Kothari Y, Narayan A, Krishnamurthy A, Panda A, Sherry J, Shenker S
Journal Article Parallel Minimum Cuts in O(m log<SUP>2</SUP> n) Work and Low Depth 2023 • ACM Transactions on Parallel Computing • 10(4): Anderson D, Blelloch GE
Journal Article Abstract 6621: Simulating the distortion of clonal fractions in ctDNA due to spatially heterogenous selection 2023 • Cancer Research • 83(7_Supplement):6621-6621 Rachman TW, Carja O, Schwartz R
Conference RenderFusion: Balancing Local and Remote Rendering for Interactive 3D Scenes 2023 • 2023 IEEE INTERNATIONAL SYMPOSIUM ON MIXED AND AUGMENTED REALITY, ISMAR • 312-321 Lu E, Bharadwaj S, Dasari M, Smith C, Seshan S, Rowe A
Conference Mariposa: Measuring SMT Instability in Automated Program Verification 2023 • Proceedings of the 23rd Conference on Formal Methods in Computer Aided Design Fmcad 2023 • 178-188 Zhou Y, Bosamiya J, Takashima Y, Li J, Heule M, Parno B
Conference Enso: A Streaming Interface for NIC-Application Communication 2023 • PROCEEDINGS OF THE 17TH USENIX SYMPOSIUM ON OPERATING SYSTEMS DESIGN AND IMPLEMENTATION, OSDI 2023 • 1005-1025 Sadok H, Atre N, Zhao Z, Berger DS, Hoe JC, Panda A, Sherry J, Wang R
Conference Implicit Neural Head Synthesis via Controllable Local Deformation Fields 2023 • Proceedings / CVPR, IEEE Computer Society Conference on Computer Vision and Pattern Recognition. IEEE Computer Society Conference on Computer Vision and Pattern Recognition • 416-426 Chen C, O'Toole M, Bharaj G, Garrido P
Conference Read and Reap the Rewards: Learning to Play Atari with the Help of Instruction Manuals 2023 • Advances in Neural Information Processing Systems Wu Y, Fan Y, Liang PP, Azaria A, Li Y, Mitchell T
Conference ESCHER: ESCHEWING IMPORTANCE SAMPLING IN GAMES BY COMPUTING A HISTORY VALUE FUNCTION TO ESTIMATE REGRET 2023 • 11th International Conference on Learning Representations Iclr 2023 McAleer S, Farina G, Lanctot M, Sandholm T
Conference Computing Approximate ℓp Sensitivities 2023 • Advances in Neural Information Processing Systems • 36: Padmanabhan S, Woodruff DP, Zhang Q
Preprint HyperAttention: Long-context Attention in Near-Linear Time 2023 Han I, Jayaram R, Karbasi A, Mirrokni V, Woodruff DP, Zandieh A
Preprint Assisting Human Decisions in Document Matching 2023 Kim JS, Chen V, Pruthi D, Shah NB, Talwalkar A
Conference Counterfactual Evaluation of Peer-Review Assignment Policies 2023 • Advances in Neural Information Processing Systems Saveski M, Jecmen S, Shah NB, Ugander J
Journal Article Walk on Stars: A Grid-Free Monte Carlo Method for PDEs with Neumann Boundary Conditions 2023 • ACM Transactions on Graphics • 42(4): Sawhney R, Miller B, Gkioulekas I, Crane K
Preprint Solving a Random Asymmetric TSP Exactly in Quasi-Polynomial Time w.h.p 2023 Bell T, Frieze A
Journal Article Benefit-aware early prediction of health outcomes on multivariate EEG time series 2023 • Journal of Biomedical Informatics • 139: Shekhar S, Eswaran D, Hooi B, Elmer J, Faloutsos C, Akoglu L
Journal Article The Need for Unsupervised Outlier Model Selection: A Review and Evaluation of Internal Evaluation Strategies 2023 • ACM SIGKDD Explorations Newsletter • 25(1):19-35 Q. M, Zhao Y, Zhang X, Akoglu L
Journal Article Verus: Verifying Rust Programs using Linear Ghost Types 2023 • Proceedings of the ACM on Programming Languages • 7(OOPSLA): Lattuada A, Hance T, Cho C, Brun M, Subasinghe I, Zhou Y, Howell J, Parno B, Hawblitzel C
Conference Batching of Tasks by Users of Pseudonymous Forums: Anonymity Compromise and Protection 2023 89-90 Goldberg A, Fanti G, Shah NB
Journal Article Tackling Heterogeneous Traffic in Multi-access Systems via Erasure Coded Servers 2023 • Performance Evaluation Review • 50(4):59-61 Choudhury T, Wang W, Joshi G
Conference Exponential Separations Using Guarded Extension Variables 2023 • Leibniz International Proceedings in Informatics • 251: Yolcu E, Heule MJH
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
Preprint Test-Time Adaptation Induces Stronger Accuracy and Agreement-on-the-Line 2023 Kim E, Sun M, Baek C, Raghunathan A, Kolter JZ
Conference Owl: Compositional Verification of Security Protocols via an Information-Flow Type System 2023 • IEEE Symposium on Security and Privacy: Proceedings • 00:1130-1147 Gancher J, Gibson S, Singh P, Dharanikota S, Parno B
