Preprint Solving a Random Asymmetric TSP Exactly in Quasi-Polynomial Time w.h.p 2023 Bell T, Frieze A
Journal Article Towards Optimal Moment Estimation in Streaming and Distributed Models 2023 • ACM Transactions on Algorithms (TALG) • 19(3):1-35 Jayaram R, Woodruff DP
Journal Article Strategic Latency Reduction in Blockchain Peer-to-Peer Networks 2023 • Proceedings of the ACM on Measurement and Analysis of Computing Systems • 7(2): Tang W, Kiffer L, Fanti G, Juels A
Journal Article A Type System for Safe Intermittent Computing 2023 • Proceedings of the ACM on Programming Languages • 7(PLDI): Surbatovich M, Spargo N, Jia L, Lucia B
Journal Article Surface Simplification using Intrinsic Error Metrics 2023 • ACM Transactions on Graphics • 42(4): Liu H-TD, Gillespie M, Chislett B, Sharp N, Jacobson A, Crane K
Conference NODEMEDIC: End-to-End Analysis of Node.js Vulnerabilities with Provenance Graphs 2023 • 2023 IEEE 8TH EUROPEAN SYMPOSIUM ON SECURITY AND PRIVACY, EUROS&P • 1101-1127 Cassel D, Wong WT, Jia L
Preprint Perception of Human Motion with Different Geometric Models 2023 Hodgins JK, O'Brien JF, Tumblin J
Preprint Surface Simplification using Intrinsic Error Metrics 2023 Liu H-TD, Gillespie M, Chislett B, Sharp N, Jacobson A, Crane K
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 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
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
Chapter Introduction to Wireless Networking and Its Impact on Applications 2023 • Synthesis Lectures on Mobile and Pervasive Computing Steenkiste P
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
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 MANIC: A 19μW @ 4MHz, 256 MOPS/mW, RISC-V microcontroller with embedded MRAM main memory and vector-dataflow co-processor in 22nm bulk finFET CMOS 2023 • IEEE International Symposium on Circuits and Systems proceedings. IEEE International Symposium on Circuits and Systems Gobieski G, Atli O, Erbagci C, Mai K, Beckmann N, Lucia B
Conference Exponential Separations Using Guarded Extension Variables 2023 • Leibniz International Proceedings in Informatics • 251: Yolcu E, Heule MJH
Journal Article Winding Numbers on Discrete Surfaces 2023 • ACM Transactions on Graphics • 42(4): Feng N, Gillespie M, Crane K
Preprint Text Descriptions are Compressive and Invariant Representations for Visual Learning 2023 Feng Z, Bair A, Kolter JZ
Preprint Mixed-Type Tabular Data Synthesis with Score-based Diffusion in Latent Space 2023 Zhang H, Zhang J, Srinivasan B, Shen Z, Qin X, Faloutsos C, Rangwala H, Karypis G
Preprint Is Certifying $\ell_p$ Robustness Still Worthwhile? 2023 Mangal R, Leino K, Wang Z, Hu K, Yu W, Pasareanu C, Datta A, Fredrikson M
Conference Offload Shaping for Wearable Cognitive Assistance 2023 • 2023 IEEE INTERNATIONAL CONFERENCE ON EDGE COMPUTING AND COMMUNICATIONS, EDGE • 183-189 Iyengar R, Dong Q, Chanh N, Pillai P, Satyanarayanan M
Preprint Manifold Preserving Guided Diffusion 2023 He Y, Murata N, Lai C-H, Takida Y, Uesaka T, Kim D, Liao W-H, Mitsufuji Y, Kolter JZ, Salakhutdinov R, Ermon S
Preprint Leaf: Modularity for Temporary Sharing in Separation Logic (Extended Version) 2023 Hance T, Howell J, Padon O, Parno B
Journal Article An Empirical Evaluation of Columnar Storage Formats 2023 • Proceedings of the VLDB Endowment • 17(2):148-161 Zeng X, Hui Y, Shen J, Pavlo A, McKinney W, Zhang H
Journal Article Strong Formulations for Distributionally Robust Chance-Constrained Programs with Left-Hand Side Uncertainty Under Wasserstein Ambiguity 2023 • INFORMS Journal on Optimization • 5(2):211-232 Ho-Nguyen N, Kilinç-Karzan F, Küçükyavuz S, Lee D
Journal Article Ten simple rules for writing a <i>PLOS Computational Biology</i> quick tips article 2023 • PLoS Computational Biology • 19(12): Palagi PM, Schwartz R, Markel S, Ouellette BFF
Conference Pseudorandom Hashing for Space-bounded Computation with Applications in Streaming 2023 • Annual Symposium on Foundations of Computer Science • 1515-1550 Kacham P, Pagh R, Thorup M, Woodruff DP
Conference Light-Efficient Holographic Illumination for Continuous-Wave Time-of-Flight Imaging 2023 1-10 Chan D, O'Toole M
Conference Near-Optimal k-Clustering in the Sliding Window Model 2023 • Advances in Neural Information Processing Systems • 36: Woodruff DP, Zhong P, Zhou S
Conference ROBUST ALGORITHMS ON ADAPTIVE INPUTS FROM BOUNDED ADVERSARIES 2023 • 11th International Conference on Learning Representations Iclr 2023 Cherapanamjeri Y, Silwal S, Woodruff DP, Zhang F, Zhang Q, Zhou S
Preprint Runtime Resolution of Feature Interactions through Adaptive Requirement Weakening 2023 Chu S, Shedden E, Zhang C, Meira-Góes R, Moreno GA, Garlan D, Kang E
