Journal Article IMPLICIT REGULARITY AND LINEAR CONVERGENCE RATES FOR THE GENERALIZED TRUST-REGION SUBPROBLEM 2023 • SIAM Journal on Optimization • 33(2):1250-1278 Wang AL, Lu Y, Kilinc-Karzan F
Conference Designing Anthropomorphic Soft Hands through Interaction 2023 • IEEE-RAS International Conference on Humanoid Robots Mannam P, Shaw K, Bauer D, Oh J, Pathak D, Pollard N
Conference Query-optimal estimation of unitary channels in diamond distance 2023 • Annual Symposium on Foundations of Computer Science • 363-390 Haah J, Kothari R, O'Donnell R, Tang E
Conference Democratizing Drone Autonomy via Edge Computing 2023 • 2023 IEEE/ACM SYMPOSIUM ON EDGE COMPUTING, SEC 2023 • 40-52 Bala M, Eiszler T, Chen X, Harkes J, Blakley J, Pillai P, Satyanarayanan M
Preprint Deep Equilibrium Based Neural Operators for Steady-State PDEs 2023 Marwah T, Pokle A, Kolter JZ, Lipton ZC, Lu J, Risteski A
Conference Does Wearable Cognitive Assistance Require Edge Computing? 2023 144-144 Iyengar R, Dong Q, Nguyen C, Pillai P, Satyanarayanan M
Preprint A Local Appearance Model for Volumetric Capture of Diverse Hairstyle 2023 Wang Z, Nam G, Bozic A, Cao C, Saragih J, Zollhoefer M, Hodgins J
Conference On the Interplay between Social Welfare and Tractability of Equilibria 2023 • Advances in Neural Information Processing Systems Anagnostides I, Sandholm T
Preprint Restless Bandits with Average Reward: Breaking the Uniform Global Attractor Assumption 2023 Hong Y, Xie Q, Chen Y, Wang W
Conference WARDen: Specializing Cache Coherence for High-Level Parallel Languages 2023 • PROCEEDINGS OF THE 21ST ACM/IEEE INTERNATIONAL SYMPOSIUM ON CODE GENERATION AND OPTIMIZATION, CGO 2023 • 122-135 Wilkins M, Westrick S, Kandiah V, Bernat A, Suchy B, Deiana EA, Campanoni S, Acar UA, Dinda P, Hardavellas N
Journal Article Language models are weak learners 2023 • Advances in Neural Information Processing Systems Manikandan H, Jiang Y, Kolter JZ
Journal Article An Experimental Study on the Impact of Repetition of Formative Assessments in a Formal Methods Course for Software Engineers 2023 • IEEE Software • 40(6):95-101 Camara J, Garlan D
Chapter Summarizing Labeled Multi-graphs 2023 • Lecture Notes in Computer Science • 13714:53-68 Berberidis D, Liang PJ, Akoglu L
Conference Navigating Soft Robots through Wireless Heating 2023 • IEEE International Conference on Robotics and Automation • 2598-2605 Song Y, Zadan M, Misra K, Li Z, Wang J, Majidi C, Kumar S
Chapter A Logical Framework with Higher-Order Rational (Circular) Terms 2023 • Lecture Notes in Computer Science • 13992:68-88 Chen Z, Pfenning F
Preprint PaGE-Link: Path-based Graph Neural Network Explanation for Heterogeneous Link Prediction 2023 Zhang S, Zhang J, Song X, Adeshina S, Zheng D, Faloutsos C, Sun Y
Conference Practically and Theoretically Efficient Garbage Collection for Multiversioning 2023 66-78 Wei Y, Blelloch GE, Fatourou P, Ruppert E
Conference Invited Paper: ServerFilling: A better approach to packing multiserver jobs 2023 1-5 Grosof I, Harchol-Balter M
Conference Automatic Amortized Resource Analysis with Regular Recursive Types 2023 • Proceedings - Symposium on Logic in Computer Science Grosen J, Kahn DM, Hoffmann J
Conference Efficient Algorithms and Hardness Results for the Weighted k-Server Problem 2023 • Leibniz International Proceedings in Informatics • 275: Gupta A, Kumar A, Panigrahi D
Chapter Train Your Own GNN Teacher: Graph-Aware Distillation on Textual Graphs 2023 • Lecture Notes in Computer Science • 14171:157-173 Mavromatis C, Ioannidis VN, Wang S, Zheng D, Adeshina S, Ma J, Zhao H, Faloutsos C, Karypis G
Conference Intuitionistic Metric Temporal Logic 2023 • PROCEEDINGS OF THE 25TH INTERNATIONAL SYMPOSIUM ON PRINCIPLES AND PRACTICE OF DECLARATIVE PROGRAMMING, PPDP 2023 de Sa L, Toninho B, Pfenning F
Conference Tenet: A Flexible Framework for Machine-Learning-based Vulnerability Detection 2023 • 2023 IEEE/ACM 2ND INTERNATIONAL CONFERENCE ON AI ENGINEERING - SOFTWARE ENGINEERING FOR AI, CAIN • 102-103 Pinconschi E, Reis S, Zhang C, Abreu R, Erdogmus H, Pasareanu CS, Jia L
Preprint Relax: Composable Abstractions for End-to-End Dynamic Machine Learning 2023 Lai R, Shao J, Feng S, Lyubomirsky SS, Hou B, Lin W, Ye Z, Jin H, Jin Y, Liu J, Jin L, Cai Y, Jiang Z, Wu Y, Park S, Srivastava P, Roesch JG, Mowry TC, Chen T
Conference Mean estimation when you have the source code; or, quantum Monte Carlo methods 2023 • Proceedings of the Annual ACM SIAM Symposium on Discrete Algorithms • 2023-January:1186-1215 Kothari R, O'Donnell R
Conference Improved Algorithms for White-Box Adversarial Streams 2023 • INTERNATIONAL CONFERENCE ON MACHINE LEARNING, VOL 202 • 202: Feng Y, Woodruff DP
Conference Subexponential mixing for partition chains on grid-like graphs 2023 • PROCEEDINGS OF THE 2023 ANNUAL ACM-SIAM SYMPOSIUM ON DISCRETE ALGORITHMS, SODA • 3317-3329 Frieze A, Pegden W
Preprint SocioEconomicMag Meets a Platform for SES-Diverse College Students: A Case Study 2023 Agarwal P, Prem D, Bogart C, Fallatah A, Castro-Guzman AA, Chanpaisaeng P, Doehring S, Burnett M, Sarma A
Conference Human-Informed Robot Agility: Understanding Human Pushing Interactions for Skill Transfer to Humanoids 2023 • IEEE-RAS International Conference on Humanoid Robots Bauer C, Pollard NS
Conference Learning Human Contribution Preferences in Collaborative Human-Robot Tasks 2023 • CONFERENCE ON ROBOT LEARNING, VOL 229 • 229: Zhao M, Simmons R, Admoni H
Conference Explicit orthogonal and unitary designs 2023 • Annual Symposium on Foundations of Computer Science • 00:1240-1260 O’Donnell R, Servedio RA, Paredes P
Journal Article Data Augmentation is a Hyperparameter: Cherry-picked Self-Supervision for Unsupervised Anomaly Detection is Creating the Illusion of Success 2023 Akoglu L, Yoo J, Zhao T
Journal Article POMACS V7, N3, December 2023 Editorial 2023 • Proceedings of the ACM on Measurement and Analysis of Computing Systems • 7(3):1-1 Ciucu F, Fanti G, Righter R
Journal Article Split-Lohmann Multifocal Displays 2023 • ACM Transactions on Graphics • 42(4): Qin Y, Chen W-Y, O'Toole M, Sankaranarayanan AC
Conference Semantic Fast-Forwarding for Video Training Set Construction 2023 29-35 Feng Z, Satyanarayanan M
Conference Team-PSRO for Learning Approximate TMECor in Large Team Games via Cooperative Reinforcement Learning 2023 • Advances in Neural Information Processing Systems • 36: McAleer S, Farina G, Zhou G, Wang M, Yang Y, Sandholm T
Preprint Hardness of Low Rank Approximation of Entrywise Transformed Matrix Products 2023 Sarlos T, Song X, Woodruff D, Qiuyi, Zhang
Journal Article Responsive Parallelism with Synchronization 2023 • Proceedings of the ACM on Programming Languages • 7(PLDI): Muller SK, Singer K, Keeney DT, Neth A, Agrawal K, Lee I-TA, Acar UA
Conference Nash Equilibria and Pitfalls of Adversarial Training in Adversarial Robustness Games 2023 • INTERNATIONAL CONFERENCE ON ARTIFICIAL INTELLIGENCE AND STATISTICS, VOL 206 • 206: Balcan M-F, Pukdee R, Ravikumar P, Zhang H
Preprint Gradual Verification for Smart Contracts 2023 Sun H, Singh K, Ramos-Dávila J-P, Aldrich J, DiVincenzo J
Journal Article ExplainFix: Explainable spatially fixed deep networks 2023 • Wiley Interdisciplinary Reviews: Data Mining and Knowledge Discovery • 13(2): Gaudio A, Faloutsos C, Smailagic A, Costa P, Campilho A
Conference Exploratory Data Analysis in Electronic Health Records Graphs: Intuitive Features and Visualization Tools 2023 • Proceedings - IEEE Symposium on Computer-Based Medical Systems • 00:117-122 Cazzolato MT, Gutierrez MA, Traina C, Faloutsos C, Traina AJM
Conference Detecting Anomalies in IoT Device Communication Based on MUD Profiles With Zeek and Python 2022 354-354 Nunugonda R, Sekar V
Journal Article Orbital Mixer: Using Atomic Orbital Features for Basis-Dependent Prediction of Molecular Wavefunctions 2022 • Journal of Chemical Theory and Computation • 18(10):6021-6030 Shmilovich K, Willmott D, Batalov I, Kornbluth M, Mailoa J, Kolter JZ
