Preprint From Explanation to Action: An End-to-End Human-in-the-loop Framework for Anomaly Reasoning and Management 2023 Ding X, Seleznev N, Kumar S, Bruss CB, Akoglu L
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
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
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
Conference Hardness of Low Rank Approximation of Entrywise Transformed Matrix Products 2023 • Advances in Neural Information Processing Systems • 36: Sarlos T, Song X, Woodruff DP, Zhang Q
Conference A Dataset on Malicious Paper Bidding in Peer Review 2023 3816-3826 Jecmen S, Yoon M, Conitzer V, Shah NB, Fang F
Journal Article EAAI-23 Blue Sky Ideas in Artificial Intelligence Education from the AAAI/ACM SIGAI New and Future AI Educator Program 2023 • AI Matters • 9(2):24-29 Guerzhoy M, Neumann M, Virtue P, Anderson CJ, Singla YK, Orchard A, Shah RR
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
Journal Article Neural Functional Transformers 2023 • Advances in Neural Information Processing Systems Zhou A, Yang K, Jiang Y, Burns K, Xu W, Sokota S, Kolter JZ, Finn C
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
Conference Strategic Latency Reduction in Blockchain Peer-to-Peer Networks 2023 93-94 Tang W, Kiffer L, Fanti G, Juels A
Journal Article Verified Propagation Redundancy and Compositional UNSAT Checking in CakeML 2023 • International Journal on Software Tools for Technology Transfer • 25(2):167-184 Tan YK, Heule MJH, Myreen MO
Preprint Can Generative Pre-trained Transformers (GPT) Pass Assessments in Higher Education Programming Courses? 2023 Savelka J, Agarwal A, Bogart C, Song Y, Sakr M
Preprint T-MARS: Improving Visual Representations by Circumventing Text Feature Learning 2023 Maini P, Goyal S, Lipton ZC, Kolter JZ, Raghunathan A
Preprint End-to-End Augmentation Hyperparameter Tuning for Self-Supervised Anomaly Detection 2023 Yoo J, Zhao L, Akoglu L
Conference A 10.33 μJ/encryption Homomorphic Encryption Engine in 28nm CMOS with 4096-degree 109-bit Polynomials for Resource-Constrained IoT Clients 2023 • European Solid-State Circuits Conference • 193-196 Das S, van der Hagen M, Patil S, Erbagci C, Lucia B, Mai K
Preprint Which Examples to Annotate for In-Context Learning? Towards Effective and Efficient Selection 2023 Mavromatis C, Srinivasan B, Shen Z, Zhang J, Rangwala H, Faloutsos C, Karypis G
Preprint Transfer Attacks and Defenses for Large Language Models on Coding Tasks 2023 Zhang C, Wang Z, Mangal R, Fredrikson M, Jia L, Pasareanu C
Conference Optimal Anytime Coalition Structure Generation Utilizing Compact Solution Space Representation 2023 • IJCAI International Joint Conference on Artificial Intelligence • 309-316 Taguelmimt R, Aknine S, Boukredera D, Changder N, Sandholm T
Conference Low-Bandwidth Self-Improving Transmission of Rare Training Data 2023 1-15 George S, Turki H, Feng Z, Ramanan D, Pillai P, Satyanarayanan M
Conference KDD Workshop on Machine Learning in Finance 2023 • KDD : proceedings / International Conference on Knowledge Discovery & Data Mining. International Conference on Knowledge Discovery & Data Mining • 5863-5864 Akoglu L, Chawla N, Kumar S, Nagrecha S, Das M, Naware VM, Faruquie T
Conference No Root Store Left Behind 2023 • PROCEEDINGS OF THE 22ND ACM WORKSHOP ON HOT TOPICS IN NETWORKS, HOTNETS 2023 • 295-301 Larisch J, Aqeel W, Chung T, Kohler E, Levin D, Maggs BM, Parno B, Wilson C
Conference Pipestitch: An energy-minimal dataflow architecture with lightweight threads 2023 • 56TH IEEE/ACM INTERNATIONAL SYMPOSIUM ON MICROARCHITECTURE, MICRO 2023 • 1409-1422 Serafin N, Ghosh S, Desai H, Beckmann N, Lucia B
Preprint Confronting Reward Model Overoptimization with Constrained RLHF 2023 Moskovitz T, Singh AK, Strouse D, Sandholm T, Salakhutdinov R, Dragan AD, McAleer S
Conference Streaming Euclidean <i>k</i>-median and <i>k</i>-means with <i>o</i>(<i>log n</i>) Space 2023 • Annual Symposium on Foundations of Computer Science • 883-908 Cohen-Addad V, Woodruff DP, Zhou S
Conference On Robust Streaming for Learning with Experts: Algorithms and Lower Bounds 2023 • Advances in Neural Information Processing Systems • 36: Woodruff DP, Zhang F, Zhou S
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 LEARNING THE POSITIONS IN COUNTSKETCH 2023 • 11th International Conference on Learning Representations Iclr 2023 Li Y, Lin H, Liu S, Vakilian A, Woodruff DP
Preprint Sample Efficient Reinforcement Learning in Mixed Systems through Augmented Samples and Its Applications to Queueing Networks 2023 Wei H, Liu X, Wang W, Ying L
Conference Unlocking unallocated cloud capacity for long, uninterruptible workloads 2023 • PROCEEDINGS OF THE 20TH USENIX SYMPOSIUM ON NETWORKED SYSTEMS DESIGN AND IMPLEMENTATION, NSDI 2023 • 457-478 Agarwal A, Noghabi S, Goiri I, Seshan S, Badam A
Journal Article Winding Numbers on Discrete Surfaces 2023 • ACM Transactions on Graphics • 42(4): Feng N, Gillespie M, Crane K
Conference Sequential Monte Carlo Learning for Time Series Structure Discovery 2023 • INTERNATIONAL CONFERENCE ON MACHINE LEARNING, VOL 202 • 202: Saad FA, Patton BJ, Hoffmann MD, Saurous RA, Mansinghka VK
Journal Article Patches Are All You Need? 2023 • Transactions on Machine Learning Research • 2023: Trockman A, Kolter JZ
