Conference Estimators of Entropy and Information via Inference in Probabilistic Models 2022 • INTERNATIONAL CONFERENCE ON ARTIFICIAL INTELLIGENCE AND STATISTICS, VOL 151 • 151:5604-5621 Saad FA, Cusumano-Towner M, Mansinghka VK
Conference Derivations with Holes for Concept-Based Program Synthesis 2022 • PROCEEDINGS OF THE 2022 ACM SIGPLAN INTERNATIONAL SYMPOSIUM ON NEW IDEAS, NEW PARADIGMS, AND REFLECTIONS ON PROGRAMMING AND SOFTWARE, ONWARD! 2022 • 63-79 Seco JC, Aldrich J, Carvalho L, Toninho B, Ferreira C
Journal Article Dynamic Graph-Based Anomaly Detection in the Electrical Grid 2022 • IEEE Transactions on Power Systems • 37(5):3408-3422 Li S, Pandey A, Hooi B, Faloutsos C, Pileggi L
Conference Collaborative Reflection “in the flow” of Programming: Designing Effective Collaborative Learning Activities in Advanced Computer Science Contexts 2022 • Proceedings of International Conference of the Learning Sciences, ICLS • 67-74 Sankaranarayanan S, Ma L, Kandimalla SR, Markevych I, Nguyen H, Murray RC, Bogart C, Hilton M, Sakr M, Rosé CP
Conference Rethinking Data-driven Networking with Foundation Models: Challenges and Opportunities 2022 • THE 21ST ACM WORKSHOP ON HOT TOPICS IN NETWORKS, HOTNETS 2022 • 188-197 Le F, Srivatsa M, Ganti R, Sekar V
Conference Addressing the Uncertainty Interaction Problem in Software-intensive Systems: Challenges and Desiderata 2022 • PROCEEDINGS OF THE 25TH INTERNATIONAL ACM/IEEE CONFERENCE ON MODEL DRIVEN ENGINEERING LANGUAGES AND SYSTEMS, MODELS 2022 • 24-30 Camara J, Calinescu R, Cheng BHC, Garlan D, Schmerl B, Troya J, Vallecillo A
Journal Article A Community-Driven Approach to Democratize Access to Satellite Ground Stations 2022 • GetMobile • 26(1):35-38 Singh V, Prabhakara A, Zhang D, Yağan O, Kumar S
Conference PLatter: On the Feasibility of Building-scale Power Line Backscatter 2022 • PROCEEDINGS OF THE 19TH USENIX SYMPOSIUM ON NETWORKED SYSTEMS DESIGN AND IMPLEMENTATION (NSDI '22) • 897-911 Zhang J, Soltanaghai E, Balanuta A, Grimsley R, Kumar S, Rowe A
Journal Article Introduction to the Special Issue on Low PowerWide Area Networks 2022 • ACM transactions on sensor networks • 18(4): Li M, Wang J, Kumar S, Zheng Y
Chapter Storing and Retrieving Secrets on a Blockchain 2022 • Lecture Notes in Computer Science • 13177:252-282 Goyal V, Kothapalli A, Masserova E, Parno B, Song Y
Conference Frequency Estimation with One-Sided Error 2022 • Proceedings of the Annual ACM SIAM Symposium on Discrete Algorithms • 2022-January:695-707 Indyk P, Narayanan S, Woodruff DP
Conference TRIANGLE AND FOUR CYCLE COUNTING WITH PREDICTIONS IN GRAPH STREAMS 2022 • Iclr 2022 10th International Conference on Learning Representations Chen JY, Indyk P, Narayanan S, Rubinfeld R, Silwal S, Lin H, Woodruff DP, Zhang M, Wagner T, Eden T
Conference Type-Based Termination for Futures 2022 • Leibniz International Proceedings in Informatics • 228: Somayyajula S, Pfenning F
Journal Article Enabling AI innovation via data and model sharing: An overview of the NSF Convergence Accelerator Track D 2022 • AI Magazine • 43(1):93-104 Baru C, Pozmantier M, Altintas I, Baek S, Cohen J, Condon L, Fanti G, Fernandez RC, Jackson E, Lall U, Landman B, Li HH, Marin C, Lopez BM, Metaxas D, Olsen B, Page G, Shang J, Turkan Y, Zhang P
Journal Article TPC Chairs' Message 2022 • Conext 2022 Proceedings of the 18th International Conference on Emerging Networking Experiments and Technologies • VII-VIII Barcellos M, Sherry J
Conference Calibration with Privacy in Peer Review 2022 • IEEE International Symposium on Information Theory - Proceedings • 00:1635-1640 Ding W, Kamath G, Wang W, Shah NB
Chapter Round-Optimal Byzantine Agreement 2022 • Lecture Notes in Computer Science • 13275:96-119 Ghinea D, Goyal V, Chen-Da L-Z
Journal Article Kangaroo: Theory and Practice of Caching Billions of Tiny Objects on Flash 2022 • ACM Transactions on Storage • 18(3): MCallister S, Berg B, Tutuncu-Macias J, Yang J, Gunasekar S, Lu J, Berger DS, Beckmann N, Ganger GR
Journal Article A Unified Newton Barrier Method for Multibody Dynamics 2022 • ACM Transactions on Graphics • 41(4): Chen Y, Li M, Lan L, Su H, Yang Y, Jiang C
Preprint Less is More: SlimG for Accurate, Robust, and Interpretable Graph Mining 2022 Yoo J, Lee M-C, Shekhar S, Faloutsos C
Preprint Dressing Avatars: Deep Photorealistic Appearance for Physically Simulated Clothing 2022 Xiang D, Bagautdinov T, Stuyck T, Prada F, Romero J, Xu W, Saito S, Guo J, Smith B, Shiratori T, Sheikh Y, Hodgins J, Wu C
Preprint Provably tuning the ElasticNet across instances 2022 Balcan M-F, Khodak M, Sharma D, Talwalkar A
Journal Article The Role of Adaptation in Collective Human-AI Teaming 2022 • Topics in Cognitive Science Zhao M, Simmons R, Admoni H
Preprint PIM-tree: A Skew-resistant Index for Processing-in-Memory 2022 Kang H, Zhao Y, Blelloch GE, Dhulipala L, Gu Y, McGuffey C, Gibbons PB
Preprint Faster No-Regret Learning Dynamics for Extensive-Form Correlated and Coarse Correlated Equilibria 2022 Anagnostides I, Farina G, Kroer C, Celli A, Sandholm T
Journal Article Rank of the Vertex-Edge Incidence Matrix of r-Out Hypergraphs 2022 • SIAM Journal on Discrete Mathematics • 36(3):2238-2257 Cooper C, Frieze A
Journal Article Optimal Scheduling in the Multiserver-job Model under Heavy Traffic 2022 • Proceedings of the ACM on Measurement and Analysis of Computing Systems • 6(3): Grosof I, Scully Z, Harchol-Balter M, Scheller-Wolf A
Conference Random Order Online Set Cover is as Easy as Offline 2022 • Annual Symposium on Foundations of Computer Science • 1253-1264 Gupta A, Kehne G, Levin R
Preprint Low-latency Imaging and Inference from LoRa-enabled CubeSats 2022 Gadre A, Kumar S, Manchester Z
Journal Article Team Correlated Equilibria in Zero-Sum Extensive-Form Games via Tree Decompositions 2022 • Proceedings of the ... AAAI Conference on Artificial Intelligence. AAAI Conference on Artificial Intelligence • 5252-5259 Zhang BH, Sandholm T
Conference Multipurpose Intellectual Home Area Network Using Smart Phone 2022 1464-1469 Devaraj GP, Kabilan R, Muthuraman U, Gabriel JZ, Esther JM, Ravi R
Journal Article Preface for the special issue in homage to Martin Hofmann Part 2 2022 • Mathematical Structures in Computer Science • 32(6):682-684 Hoffmann J, Sannella D, Schoepp U
Conference Quartz: Superoptimization of Quantum Circuits 2022 • PROCEEDINGS OF THE 43RD ACM SIGPLAN INTERNATIONAL CONFERENCE ON PROGRAMMING LANGUAGE DESIGN AND IMPLEMENTATION (PLDI '22) • 625-640 Xu M, Li Z, Padon O, Lin S, Pointing J, Hirth A, Ma H, Palsberg J, Aiken A, Acar UA, Jia Z
Conference Maximizing Revenue under Market Shrinkage and Market Uncertainty 2022 • Advances in Neural Information Processing Systems Balcan M-F, Prasad S, Sandholm T
Conference VisPaD: Visualization and Pattern Discovery for Fighting Human Trafficking 2022 • COMPANION PROCEEDINGS OF THE WEB CONFERENCE 2022, WWW 2022 COMPANION • 273-277 Nair P, Li Y, Vajiac C, Olligschlaeger A, Lee M-C, Park N, Chau DH, Faloutsos C, Rabbany R
Conference Lumen: A Framework for Developing and Evaluating ML-Based IoT Network Anomaly Detection 2022 • PROCEEDINGS OF THE 18TH INTERNATIONAL CONFERENCE ON EMERGING NETWORKING EXPERIMENTS AND TECHNOLOGIES, CONEXT 2022 • 59-71 Sharma RA, Sabane I, Apostolaki M, Rowe A, Sekar V
Journal Article DeepSplit: Scalable Verification of Deep Neural Networks via Operator Splitting 2022 • IEEE OPEN JOURNAL OF CONTROL SYSTEMS • 1:126-140 Chen S, Wong E, Kolter JZ, Fazlyab M
Conference Learning Options via Compression 2022 • Advances in Neural Information Processing Systems Jiang Y, Liu EZ, Eysenbach B, Kolter JZ, Finn C
Conference D.MCA: Outlier Detection with Explicit Micro-Cluster Assignments 2022 • Proceedings / IEEE International Conference on Data Mining. IEEE International Conference on Data Mining • 987-992 Jiang S, Cordeiro RLF, Akoglu L
Conference SelfieStick: Towards Earth Imaging from a Low-Cost Ground Module Using LEO Satellites 2022 • 2022 21ST ACM/IEEE INTERNATIONAL CONFERENCE ON INFORMATION PROCESSING IN SENSOR NETWORKS (IPSN 2022) • 220-232 Singh V, Yagan O, Kumar S
Conference Zoom Out: Abstractions for Efficient Radar Algorithms on COTS architectures 2022 • 2022 IEEE INTERNATIONAL SYMPOSIUM ON PHASED ARRAY SYSTEMS & TECHNOLOGY (PAST) Low TM, Chi Y, Hoe J, Kumar S, Prabhakara A, Shi L, Sridhar U, Tukanov N, Wang C, Wu Y
Journal Article Armada: Automated Verification of Concurrent Code with Sound Semantic Extensibility 2022 • ACM Transactions on Programming Languages and Systems • 44(2): Lorch JR, Chen Y, Kapritsos M, Ma H, Parno B, Qadeer S, Sharma U, Wilcox JR, Zhao X
Conference Memory Bounds for the Experts Problem 2022 • Annual ACM Symposium on Theory of Computing • 1158-1171 Srinivas V, Woodruff DP, Xu Z, Zhou S
Journal Article Nested Session Types 2022 • ACM Transactions on Programming Languages and Systems • 44(3): Das A, DeYoung H, Mordido A, Pfenning F
Conference SURGEPROTECTOR: Mitigating Temporal Algorithmic Complexity Attacks using Adversarial Scheduling 2022 • SIGCOMM '22: PROCEEDINGS OF THE 2022 ACM SIGCOMM 2022 CONFERENCE • 723-738 Atre N, Sadok H, Chiang E, Wang W, Sherry J
Journal Article The MDS Queue: Analysing the Latency Performance of Erasure Codes (vol 63, pg 2822, 2017) 2022 • IEEE Transactions on Information Theory • 68(9):5850-5851 Lee K, Shah NB, Huang L, Ramchandran K
Conference Tiger: Disk-Adaptive Redundancy Without Placement Restrictions 2022 • PROCEEDINGS OF THE 16TH USENIX SYMPOSIUM ON OPERATING SYSTEMS DESIGN AND IMPLEMENTATION, OSDI 2022 • 413-429 Kadekodi S, Maturana F, Athlur S, Merchant A, Rashmi KV, Ganger GR
Preprint HeartSpot: Privatized and Explainable Data Compression for Cardiomegaly Detection 2022 Johnson E, Mohan S, Gaudio A, Smailagic A, Faloutsos C, Campilho A
