Conference RAIZN: Redundant Array of Independent Zoned Namespaces 2023 • PROCEEDINGS OF THE 28TH ACM INTERNATIONAL CONFERENCE ON ARCHITECTURAL SUPPORT FOR PROGRAMMING LANGUAGES AND OPERATING SYSTEMS, VOL 2, ASPLOS 2023 • 660-673 Kim T, Jeon J, Arora N, Li H, Kaminsky M, Andersen DG, Ganger GR, Amvrosiadis G, Bjorling M
Journal Article A Comprehensive Survey on Graph Anomaly Detection With Deep Learning 2023 • IEEE Transactions on Knowledge and Data Engineering • 35(12):12012-12038 Ma X, Wu J, Xue S, Yang J, Zhou C, Sheng QZ, Xiong H, Akoglu L
Conference Lessons Learned From Teaching Artificial Intelligence to Middle School Students 2023 • PROCEEDINGS OF THE 54TH ACM TECHNICAL SYMPOSIUM ON COMPUTER SCIENCE EDUCATION, VOL 2, SIGCSE 2023 • 1371-1371 Touretzky D, Gardner-McCune C, Cox B, Uchidiuno J, Kolodner J, Stapleton P
Conference High Resolution Point Clouds from mmWave Radar 2023 • IEEE International Conference on Robotics and Automation • 4135-4142 Prabhakara A, Jin T, Dast A, Bhatt G, Kumarit L, Soltanaghai E, Bilmest J, Kumar S, Rowe A
Chapter On Differential Privacy and Adaptive Data Analysis with Bounded Space 2023 • Lecture Notes in Computer Science • 14006:35-65 Dinur I, Stemmer U, Woodruff DP, Zhou S
Chapter Relating Message Passing and Shared Memory, Proof-Theoretically 2023 • Lecture Notes in Computer Science • 13908:3-27 Pfenning F, Pruiksma K
Journal Article A Contact Proxy Splitting Method for Lagrangian Solid-Fluid Coupling 2023 • ACM Transactions on Graphics • 42(4): Xie T, Li M, Yang Y, Jiang C
Journal Article Vertex downgrading to minimize connectivity 2023 • Mathematical programming • 199(1-2):215-249 Aissi H, Chen DQ, Ravi R
Preprint Train Your Own GNN Teacher: Graph-Aware Distillation on Textual Graphs 2023 Mavromatis C, Ioannidis VN, Wang S, Zheng D, Adeshina S, Ma J, Zhao H, Faloutsos C, Karypis G
Conference The Geometry of Tree-Based Sorting 2023 • Leibniz International Proceedings in Informatics • 261: Blelloch GE, Dobson M
Preprint Walk on Stars: A Grid-Free Monte Carlo Method for PDEs with Neumann Boundary Conditions 2023 Sawhney R, Miller B, Gkioulekas I, Crane K
Preprint ACRoBat: Optimizing Auto-batching of Dynamic Deep Learning at Compile Time 2023 Fegade P, Chen T, Gibbons PB, Mowry TC
Journal Article The M/M/k with Deterministic Setup Times 2023 • Performance Evaluation Review • 51(1):75-76 Williams JK, Harchol-Balter M, Wang W
Preprint ApproxED: Approximate exploitability descent via learned best responses 2023 Martin C, Sandholm T
Preprint CANE: A Cascade-Control Approach for Network-Assisted Video QoE Management 2023 Hosseinzadeh M, Shankar K, Apostolaki M, Ramachandran J, Adams S, Sekar V, Sinopoli B
Preprint A Simple and Effective Pruning Approach for Large Language Models 2023 Sun M, Liu Z, Bair A, Kolter JZ
Preprint Verus: Verifying Rust Programs using Linear Ghost Types (extended version) 2023 Lattuada A, Hance T, Cho C, Brun M, Subasinghe I, Zhou Y, Howell J, Parno B, Hawblitzel C
Journal Article METRIC EMBEDDING VIA SHORTEST PATH DECOMPOSITIONS (vol 51, 290, 2022) 2023 • SIAM journal on computing (Print) • 52(5):1319-1320 Abraham I, Filtser A, Gupta A, Neiman O
Preprint TouchUp-G: Improving Feature Representation through Graph-Centric Finetuning 2023 Zhu J, Song X, Ioannidis VN, Koutra D, Faloutsos C
Conference Sia: Heterogeneity-aware, goodput-optimized ML-cluster scheduling 2023 • PROCEEDINGS OF THE TWENTY-NINTH ACM SYMPOSIUM ON OPERATING SYSTEMS PRINCIPLES, SOSP 2023 • 642-657 Subramanya SJ, Arfeen D, Lin S, Qiao A, Jia Z, Ganger GR
Conference Tainted Secure Multi-Execution to Restrict Attacker Influence 2023 • PROCEEDINGS OF THE 2023 ACM SIGSAC CONFERENCE ON COMPUTER AND COMMUNICATIONS SECURITY, CCS 2023 • 1732-1745 McCall M, Bichhawat A, Jia L
Conference Open Design Case Study - A Crowdsourcing Effort to Curate Software Design Case Studies 2023 • Proceedings - International Conference on Software Engineering • 23-28 Chong CY, Kang E, Shaw M
Preprint On the Interplay between Social Welfare and Tractability of Equilibria 2023 Anagnostides I, Sandholm T
Conference Abstracting Imperfect Information Away from Two-Player Zero-Sum Games 2023 • INTERNATIONAL CONFERENCE ON MACHINE LEARNING, VOL 202 • 202: Sokota S, D'Orazio R, Ling CK, Wu DJ, Koller JZ, Brown N
Conference The Interplay of Clustering and Evolution in the Emergence of Epidemics on Networks 2023 • 2013 National Conference on Communications, NCC 2013 • 5582-5588 Sood M, Eletreby R, Kumar S, Wu CW, Yagan O
Conference Distance-Aware Private Set Intersection 2023 • 32nd Usenix Security Symposium Usenix Security 2023 • 1:319-336 Chakraborti A, Fanti G, Reiter MK
Preprint Optimistic Policy Gradient in Multi-Player Markov Games with a Single Controller: Convergence Beyond the Minty Property 2023 Anagnostides I, Panageas I, Farina G, Sandholm T
Conference Analyzing Physical Impacts using Transient Surface Wave Imaging 2023 • Proceedings / CVPR, IEEE Computer Society Conference on Computer Vision and Pattern Recognition. IEEE Computer Society Conference on Computer Vision and Pattern Recognition • 4339-4348 Zhang T, Sheinin M, Chan D, Rau M, O'Toole M, Narasimhan SG
Conference Edge-based Privacy-Sensitive Live Learning for Discovery of Training Data 2023 • PROCEEDINGS OF THE FIRST INTERNATIONAL WORKSHOP ON NETWORKED AI SYSTEMS, NETAISYS 2023 • 19-24 George S, Turki H, Feng Z, Ramanan D, Pillai P, Satyanarayanan M
Preprint Almost Linear Constant-Factor Sketching for $\ell_1$ and Logistic Regression 2023 Munteanu A, Omlor S, Woodruff D
Journal Article USNAP: fast unique dense region detection and its application to lung cancer 2023 • Bioinformatics • 39(8):btad477 Wong SWH, Pastrello C, Kotlyar M, Faloutsos C, Jurisica I
Chapter A First Look at Third-Party Service Dependencies of Web Services in Africa 2023 • Lecture Notes in Computer Science • 13882:595-622 Kashaf A, Dou J, Belova M, Apostolaki M, Agarwal Y, Sekar V
Conference Runtime Resolution of Feature Interactions through Adaptive Requirement Weakening 2023 • ICSE Workshop on Software Engineering for Adaptive and Self-Managing Systems • 115-125 Chu S, Shedden E, Zhang C, Meira-Goes R, Moreno GA, Garlan D, Kang E
Journal Article On Using Classification Datasets to Evaluate Graph Outlier Detection: Peculiar Observations and New Insights 2023 • Big Data • 11(3):151-180 Zhao L, Akoglu L
Conference Co-Designing an AI Curriculum with University Researchers and Middle School Teachers 2023 • PROCEEDINGS OF THE 54TH ACM TECHNICAL SYMPOSIUM ON COMPUTER SCIENCE EDUCATION, VOL 2, SIGCSE 2023 • 1306-1306 Gardner-McCune C, Touretzky D, Cox B, Uchidiuno J, Jimenez Y, Bentley B, Hanna W, Jones A
Conference FastVer2: A Provably Correct Monitor for Concurrent, Key-Value Stores 2023 30-46 Arasu A, Ramananandro T, Rastogi A, Swamy N, Fromherz A, Hietala K, Parno B, Ramamurthy R
Conference Optimal Eigenvalue Approximation via Sketching 2023 • Annual ACM Symposium on Theory of Computing • 145-155 Swartworth W, Woodruff DP
Journal Article Batching of Tasks by Users of Pseudonymous Forums: Anonymity Compromise and Protection 2023 • Proceedings of the ACM on Measurement and Analysis of Computing Systems • 7(1): Goldberg A, Fanti G, Shah NB
Journal Article A new integer programming formulation of the graphical traveling salesman problem 2023 • Mathematical programming • 197(2):877-902 Carr R, Ravi R, Simonetti N
Preprint Concept2Box: Joint Geometric Embeddings for Learning Two-View Knowledge Graphs 2023 Huang Z, Wang D, Huang B, Zhang C, Shang J, Liang Y, Wang Z, Li X, Faloutsos C, Sun Y, Wang W
Preprint CaRE: Finding Root Causes of Configuration Issues in Highly-Configurable Robots 2023 Hossen MA, Kharade S, Schmerl B, Cámara J, O'Kane JM, Czaplinski EC, Dzurilla KA, Garlan D, Jamshidi P
Preprint Parametric Subtyping for Structural Parametric Polymorphism 2023 DeYoung H, Mordido A, Pfenning F, Das A
Preprint Decalf: A Directed, Effectful Cost-Aware Logical Framework 2023 Grodin H, Niu Y, Sterling J, Harper R
Preprint Steering No-Regret Learners to a Desired Equilibrium 2023 Zhang BH, Farina G, Anagnostides I, Cacciamani F, McAleer SM, Haupt AA, Celli A, Gatti N, Conitzer V, Sandholm T
