Preprint Pseudorandom Hashing for Space-bounded Computation with Applications in Streaming 2023 Kacham P, Pagh R, Thorup M, Woodruff DP
Conference Verified Encodings for SAT Solvers 2023 • Proceedings of the 23rd Conference on Formal Methods in Computer Aided Design Fmcad 2023 • 141-151 Codel CR, Avigad J, Heule MJH
Conference GLEMOS: Benchmark for Instantaneous Graph Learning Model Selection 2023 • Advances in Neural Information Processing Systems Park N, Rossi R, Wang X, Simoulin A, Ahmed N, Faloutsos C
Conference New Bounds for Hyperparameter Tuning of Regression Problems Across Instances 2023 • Advances in Neural Information Processing Systems Balcan M-F, Nguyen AT, Sharma D
Conference Built in Self Test on Random Test Pattern Generation for Test Compression 2023 1618-1621 Ravi R, Kannadhasan S, Ramachandran K, Deepa K, Thabathi R, Kalaivani S
Preprint Emergence of Shape Bias in Convolutional Neural Networks through Activation Sparsity 2023 Li T, Wen Z, Li Y, Lee TS
Journal Article On the Importance of Exploration for Generalization in Reinforcement Learning 2023 • Advances in Neural Information Processing Systems Jiang Y, Kolter JZ, Raileanu R
Chapter Modal Crash Types for Intermittent Computing. 2023 • Lecture Notes in Computer Science • 13990:168-196 Derakhshan F, Dotzel M, Surbatovich M, Jia L
Preprint Meta-Learning Adversarial Bandit Algorithms 2023 Khodak M, Osadchiy I, Harris K, Balcan M-F, Levy KY, Meir R, Wu ZS
Preprint Model-tuning Via Prompts Makes NLP Models Adversarially Robust 2023 Raman M, Maini P, Kolter JZ, Lipton ZC, Pruthi D
Journal Article HyperJump: Accelerating HyperBand via Risk Modelling 2023 • Proceedings of the ... AAAI Conference on Artificial Intelligence. AAAI Conference on Artificial Intelligence • 9143-9152 Mendes P, Casimiro M, Romano P, Garlan D
Conference Thrilled by Your Progress! Large Language Models (GPT-4) No Longer Struggle to Pass Assessments in Higher Education Programming Courses 2023 • PROCEEDINGS OF THE 2023 ACM CONFERENCE ON INTERNATIONAL COMPUTING EDUCATION RESEARCH V.1, ICER 2023 V1 • 78-92 Savelka J, Agarwal A, An M, Bogart C, Sakr M
Conference NeuWigs: A Neural Dynamic Model for Volumetric Hair Capture and Animation 2023 • Proceedings / CVPR, IEEE Computer Society Conference on Computer Vision and Pattern Recognition. IEEE Computer Society Conference on Computer Vision and Pattern Recognition • 8641-8651 Wang Z, Nam G, Stuyck T, Lombardi S, Cao C, Saragih J, Zollhofer M, Hodgins J, Lassner C
Conference Approximation Algorithms for Steiner Tree Augmentation Problems 2023 • PROCEEDINGS OF THE 2023 ANNUAL ACM-SIAM SYMPOSIUM ON DISCRETE ALGORITHMS, SODA • 2429-2448 Ravi R, Zhang W, Zlatin M
Conference Near-Optimal Φ-Regret Learning in Extensive-Form Games 2023 • INTERNATIONAL CONFERENCE ON MACHINE LEARNING, VOL 202 • 202:814-839 Anagnostides I, Farina G, Sandholm T
Chapter Determining an Economic Value of High Assurance for Commodity Software Security 2023 • Lecture Notes in Computer Science • 14186:228-242 Gligor V, Perrig A, Basin D
Journal Article PC Chairs' Welcome 2023 • KDD : proceedings / International Conference on Knowledge Discovery & Data Mining. International Conference on Knowledge Discovery & Data Mining • IV Akoglu L, Gunopulos D, Yan X, Kumar R, Ozcan F, Ye J
Conference Near-Linear Sample Complexity for L<i><sub>p</sub></i> Polynomial Regression 2023 • PROCEEDINGS OF THE 2023 ANNUAL ACM-SIAM SYMPOSIUM ON DISCRETE ALGORITHMS, SODA • 3959-4025 Meyer RA, Musco C, Musco C, Woodruff DP, Zhou S
Conference The SAT Museum 2023 • CEUR Workshop Proceedings • 3545:72-87 Biere A, Fleury M, Froleyks N, Heule MJH
Conference Towards Usable Security Analysis Tools for Trigger-Action Programming 2023 • PROCEEDINGS OF THE NINETEENTH SYMPOSIUM ON USABLE PRIVACY AND SECURITY, SOUPS 2023 • 301-320 McCall M, Zeng E, Shezan FH, Yang M, Bauer L, Bichhawat A, Cobb C, Jia L, Tian Y
Conference Memento: Architectural Support for Ephemeral Memory Management in Serverless Environments 2023 • 56TH IEEE/ACM INTERNATIONAL SYMPOSIUM ON MICROARCHITECTURE, MICRO 2023 • 122-136 Wang Z, Zhao K, Li P, Jacob A, Kozuch M, Mowry TC, Skarlatos D
Journal Article Looking to the future with edge computing 2023 • Futurum Careers Satyanarayanan M, Davies N
Conference Enhancing Speckle Statistics for Imaging Inside Scattering Tissue 2023 • Progress in Biomedical Optics and Imaging - Proceedings of SPIE • 12388: Chen W-Y, O'Toole M, Sankaranarayanan AC, Levin A
Journal Article Enabling hyperscale web services 2023 • BenchCouncil Transactions on Benchmarks, Standards and Evaluations • 3(1):100092 Sriraman A
Preprint HITSnDIFFs: From Truth Discovery to Ability Discovery by Recovering Matrices with the Consecutive Ones Property 2023 Chen Z, Mitra S, Ravi R, Gatterbauer W
Conference Computing Optimal Equilibria and Mechanisms via Learning in Zero-Sum Extensive-Form Games 2023 • Advances in Neural Information Processing Systems Zhang BH, Farina G, Anagnostides I, Cacciamani F, McAleer S, Haupt A, Celli A, Gatti N, Conitzer V, Sandholm T
Journal Article Contact Edit: Artist Tools for Intuitive Modeling of Hand-Object Interactions 2023 • ACM Transactions on Graphics • 42(4): Lakshmipathy AS, Feng N, Lee Y, Mahler M, Pollard NS
Preprint CFT-Forensics: High-Performance Byzantine Accountability for Crash Fault Tolerant Protocols 2023 Tang W, Sheng P, Ni R, Roy P, Wang X, Fanti G, Viswanath P
Conference Unlocking Deterministic Robustness Certification on ImageNet 2023 • Advances in Neural Information Processing Systems Hu K, Zou A, Wang Z, Leino K, Fredrikson M
Conference High Tech Vehicle Security Structure Based on PIC Using GPS and GSM 2023 1622-1626 Ravi R, Kannadhasan S, Pranesh KA, Jayaprakash KL, Selvapradap M, Gokulchandar A
Conference Platypus: Sub-mm Micro-Displacement Sensing with Passive Millimeter-wave Tags As "<i>Phase Carriers</i>" 2023 • PROCEEDINGS OF THE 2023 THE 22ND INTERNATIONAL CONFERENCE ON INFORMATION PROCESSING IN SENSOR NETWORKS, IPSN 2023 • 358-359 He J, King TH, Yao C-K, Prabhakara A, Alipour M, Kumar S, Rowe A, Soltanaghai E
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
Journal Article A Sparse Distributed Gigascale Resolution Material Point Method 2023 • ACM Transactions on Graphics • 42(2): Qiu Y, Reeve ST, Li M, Yang Y, Slattery SR, Jiang C
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
Preprint The Update-Equivalence Framework for Decision-Time Planning 2023 Sokota S, Farina G, Wu DJ, Hu H, Wang KA, Kolter JZ, Brown N
Chapter The Roles of Symbols in Neural-Based AI: They Are Not What You Think! 2023 • Frontiers in Artificial Intelligence and Applications • 369:1-28 Silver DL, Mitchell TM
Conference Timeliness Through Telephones: Approximating Information Freshness in Vector Clock Models 2023 • PROCEEDINGS OF THE 2023 ANNUAL ACM-SIAM SYMPOSIUM ON DISCRETE ALGORITHMS, SODA • 2411-2428 Chen DQ, An L, Niaparast A, Ravi R, Rudenko O
Preprint Logical Relations for Session-Typed Concurrency 2023 Balzer S, Derakhshan F, Harper R, Yao Y
Conference Raising the Level of Abstraction for Time-State Analytics With the Timeline Framework 2023 • 13th Annual Conference on Innovative Data Systems Research Cidr 2023 Milner H, Cheng Y, Zhan J, Zhang H, Sekar V, Jiang J, Stoica I
Conference From Detection to Action: a Human-in-the-loop Toolkit for Anomaly Reasoning and Management 2023 • PROCEEDINGS OF THE 4TH ACM INTERNATIONAL CONFERENCE ON AI IN FINANCE, ICAIF 2023 • 279-287 Ding X, Seleznev N, Kumar S, Bruss CB, Akoglu L
Conference Online Lewis Weight Sampling 2023 • ACM Transactions on Algorithms (TALG) • 4622-4666 Woodruff DP, Yasuda T
Conference Peeling Back the Carbon Curtain: Carbon Optimization Challenges in Cloud Computing 2023 • PROCEEDINGS OF THE 2ND ACM WORKSHOP ON SUSTAINABLE COMPUTER SYSTEMS, HOTCARBON 2023 Wang J, Gupta U, Sriraman A
Preprint A Field Test of Bandit Algorithms for Recommendations: Understanding the Validity of Assumptions on Human Preferences in Multi-armed Bandits 2023 Leqi L, Zhou G, Kılınç-Karzan F, Lipton ZC, Montgomery AL
Conference Neural Stress Fields for Reduced-order Elastoplasticity and Fracture 2023 • PROCEEDINGS OF THE SIGGRAPH ASIA 2023 CONFERENCE PAPERS Zong Z, Li X, Li M, Chiaramonte MM, Matusik W, Grinspun E, Carlberg K, Jiang C, Chen PY
Conference On the Convergence of No-Regret Learning Dynamics in Time-Varying Games 2023 • Advances in Neural Information Processing Systems Anagnostides I, Panageas I, Farina G, Sandholm T
Conference Towards Enhanced Deep CNN For Early And Precise Skin Cancer Diagnosis 2023 1-7 Malaiarasan S, Ravi R, Maheswari DR, Rubavathi CY, Ramnath M, Hemamalini V
Preprint Building Hamiltonian Cycles in the Semi-Random Graph Process in Less Than $2n$ Rounds 2023 Frieze A, Gao P, MacRury C, Prałat P, Sorkin G
Journal Article Monotone deep Boltzmann machines 2023 • Transactions on Machine Learning Research • 2023: Feng Z, Winston E, Kolter JZ
Conference Platypus: Sub-mm Micro-Displacement Sensing with Passive Millimeter-wave Tags As "<i>Phase Carriers</i>" 2023 • PROCEEDINGS OF THE 2023 THE 22ND INTERNATIONAL CONFERENCE ON INFORMATION PROCESSING IN SENSOR NETWORKS, IPSN 2023 • 136-148 King TH, He J, Yao C-K, Prabhakara A, Alipour M, Kumar S, Rowe A, Soltanaghai E
