Preprint A Hitting Set Relaxation for $k$-Server and an Extension to Time-Windows 2021 Gupta A, Kumar A, Panigrahi D
Conference Concurrent Deferred Reference Counting with Constant-Time Overhead 2021 • PROCEEDINGS OF THE 42ND ACM SIGPLAN INTERNATIONAL CONFERENCE ON PROGRAMMING LANGUAGE DESIGN AND IMPLEMENTATION (PLDI '21) • 526-541 Anderson D, Blelloch GE, Wei Y
Journal Article Synchronization Strings and Codes for Insertions and Deletions-A Survey 2021 • IEEE Transactions on Information Theory • 67(6):3190-3206 Haeupler B, Shahrasbi A
Preprint Timeliness Through Telephones: Approximating Information Freshness in Vector Clock Models 2021 Chen DQ, An L, Niaparast A, Ravi R, Rudenko O
Journal Article Minimum-weight combinatorial structures under random cost-constraints 2021 • Electronic Journal of Combinatorics • 28(1): Frieze A, Pegden W, Sorkin GB, Tkocz T
Journal Article Optimal multiserver scheduling with unknown job sizes in heavy traffic 2021 • Performance evaluation (Print) • 145: Scully Z, Grosof I, Harchol-Balter M
Conference ConTreeDP: A consensus method of tumor trees based on maximum directed partition support problem 2021 125-130 Fu X, Schwartz R
Journal Article Multi-server queueing systems with multiple priority classes (vol 51, pg 331, 2005) 2021 • Queueing Systems • 99(3-4):397-398 Harchol-Balter M, Osogami T, Scheller-Wolf A, Wierman A
Conference Improved Quantum Data Analysis 2021 • Annual ACM Symposium on Theory of Computing • 1398-1411 Badescu C, O'Donnell R
Conference Make Your Database System Dream of Electric Sheep: Towards Self-Driving Operation 2021 • Proceedings of the VLDB Endowment • 14(12):3211-3221 Pavlo A, Butrovich M, Ma L, Menon P, Lim WS, Van Aken D, Zhang W
Preprint Self-Supervised Euphemism Detection and Identification for Content Moderation 2021 Zhu W, Gong H, Bansal R, Weinberg Z, Christin N, Fanti G, Bhat S
Journal Article "They Can Only Ever Guide" 2021 • Proceedings of the ACM on Human-Computer Interaction • 5(CSCW1):1-28 Klug D, Bogart C, Herbsleb JD
Conference Learning Compositional Radiance Fields of Dynamic Human Heads 2021 • Proceedings / CVPR, IEEE Computer Society Conference on Computer Vision and Pattern Recognition. IEEE Computer Society Conference on Computer Vision and Pattern Recognition • 00:5700-5709 Wang Z, Bagautdinov T, Lombardi S, Simon T, Saragih J, Hodgins J, Zollhöfer M
Journal Article Shortest paths with a cost constraint: A probabilistic analysis 2021 • Discrete Applied Mathematics • 302:46-53 Frieze A, Tkocz T
Conference SyRust: Automatic Testing of Rust Libraries with Semantic-Aware Program Synthesis 2021 • PROCEEDINGS OF THE 42ND ACM SIGPLAN INTERNATIONAL CONFERENCE ON PROGRAMMING LANGUAGE DESIGN AND IMPLEMENTATION (PLDI '21) • 899-913 Takashima Y, Martins R, Jia L, Pasareanu CS
Chapter Learning Assumptions for Verifying Cryptographic Protocols Compositionally 2021 • Lecture Notes in Computer Science • 13077:3-23 Zhang Z, de Amorim AA, Jia L, Pasareanu C
Journal Article The zero-rate threshold for adversarial bit-deletions is less than 1/2 2021 Guruswami V, He X, Li R
Conference The Shape of View: An Alert System for Video Viewership Anomalies 2021 • PROCEEDINGS OF THE 2021 ACM INTERNET MEASUREMENT CONFERENCE, IMC 2021 • 245-260 Manousis A, Shah H, Milner H, Li Y, Zhang H, Sekar V
Conference Six Software Engineering Principles for Smarter Cyber-Physical Systems 2021 • 2021 IEEE INTERNATIONAL CONFERENCE ON AUTONOMIC COMPUTING AND SELF-ORGANIZING SYSTEMS COMPANION (ACSOS-C 2021) • 198-203 Weyns D, Bures T, Calinescu R, Craggs B, Fitzgerald J, Garlan D, Nuseibeh B, Pasquale L, Rashid A, Ruchkin I, Schmerl B
Conference ESTIMATING LIPSCHITZ CONSTANTS OF MONOTONE DEEP EQUILIBRIUM MODELS 2021 • Iclr 2021 9th International Conference on Learning Representations Pabbaraju C, Winston E, Kolter JZ
Conference Anomaly Mining - Past, Present and Future 2021 • IJCAI International Joint Conference on Artificial Intelligence • 4932-4936 Akoglu L
Conference Single Pass Entrywise-Transformed Low Rank Approximation 2021 • INTERNATIONAL CONFERENCE ON MACHINE LEARNING, VOL 139 • 139: Jiang Y, Li Y, Sun Y, Wang J, Woodruff DP
Conference Exponentially Improved Dimensionality Reduction for l<sub>1</sub>: Subspace Embeddings and Independence Testing 2021 • CONFERENCE ON LEARNING THEORY, VOL 134 • 134: Li Y, Woodruff DP, Yasuda T
Conference HERQULES: Securing Programs via Hardware-Enforced Message Queues 2021 • ASPLOS XXVI: TWENTY-SIXTH INTERNATIONAL CONFERENCE ON ARCHITECTURAL SUPPORT FOR PROGRAMMING LANGUAGES AND OPERATING SYSTEMS • 773-788 Chen DD, Lim WS, Bakhshalipour M, Gibbons PB, Hoe JC, Parno B
Chapter Post-Quantum Multi-Party Computation 2021 • Lecture Notes in Computer Science • 12696:435-464 Agarwal A, Bartusek J, Goyal V, Khurana D, Malavolta G
Chapter Generating Extended Resolution Proofs with a BDD-Based SAT Solver 2021 • Lecture Notes in Computer Science • 12651:76-93 Bryant RE, Heule MJH
Chapter Proofs of Unsatisfiability 2021 • Frontiers in Artificial Intelligence and Applications • 635-668 Heule MJH
Conference S∗: A Heuristic Information-Based Approximation Framework for Multi-Goal Path Finding 2021 • Proceedings International Conference on Automated Planning and Scheduling, ICAPS • 2021-August:85-93 Chour K, Rathinam S, Ravi R
Conference SPAA'21 Panel Paper: Architecture-Friendly Algorithms versus Algorithm-Friendly Architectures 2021 1-7 Blelloch G, Dally W, Martonosi M, Vishkin U, Yelick K
Preprint Learning-to-learn non-convex piecewise-Lipschitz functions 2021 Balcan M-F, Khodak M, Sharma D, Talwalkar A
Journal Article Deterministic Tree Embeddings with Copies for Algorithms Against Adaptive Adversaries 2021 Haeupler B, Hershkowitz DE, Zuzic G
Preprint Fast Payoff Matrix Sparsification Techniques for Structured Extensive-Form Games 2021 Farina G, Sandholm T
Journal Article To clean or not to clean: Malware removal strategies for servers under load 2021 • European Journal of Operational Research • 292(2):596-609 Doroudi S, Avgerinos T, Harchol-Balter M
Chapter Optimal Scheduling of Parallel Jobs With Unknown Service Requirements 2021 • Advances in Systems Analysis, Software Engineering, and High Performance Computing • 18-40 Berg B, Harchol-Balter M
Journal Article Syntax and models of Cartesian cubical type theory 2021 • Mathematical Structures in Computer Science • 31(4):424-468 Angiuli C, Brunerie G, Coquand T, Harper R, Hou (favonia) K-B, Licata DR
Conference Fiber bundle codes: breaking the n 1/2 polylog( n ) barrier for Quantum LDPC codes 2021 • Annual ACM Symposium on Theory of Computing • 1276-1288 Hastings MB, Haah J, O'Donnell R
Preprint The Effect of Network Topology on Credit Network Throughput 2021 Sivaraman V, Tang W, Venkatakrishnan SB, Fanti G, Alizadeh M
Journal Article When and How to Make Breaking Changes: Policies and Practices in 18 Open Source Software Ecosystems 2021 • ACM Transactions on Software Engineering and Methodology • 30(4): Bogart C, Kastner C, Herbsleb J, Thung F
Journal Article Control strategies for physically simulated characters performing two-player competitive sports 2021 • ACM Transactions on Graphics • 40(4):1-11 Won J, Gopinath D, Hodgins J
Conference Sensor-Based Evaluation of Physical Therapy Exercises 2021 • Conference proceedings : ... Annual International Conference of the IEEE Engineering in Medicine and Biology Society. IEEE Engineering in Medicine and Biology Society. Annual Conference • 7556-7561 Whitford AS, Kim E, Halilaj E, Enseki K, Popchak A, Hodgins J
Conference Rebounding Bandits for Modeling Satiation Effects. 2021 • NeurIPS • 4003-4014 Leqi L, Kilinç-Karzan F, Lipton ZC, Montgomery AL
Conference RedPlane: Enabling Fault-Tolerant Stateful In-Switch Applications 2021 • SIGCOMM '21: PROCEEDINGS OF THE 2021 ACM SIGCOMM 2021 CONFERENCE • 223-244 Kim D, Nelson J, Ports DRK, Sekar V, Seshan S
Journal Article Discrete conformal equivalence of polyhedral surfaces 2021 • ACM Transactions on Graphics • 40(4):1-20 Gillespie M, Springborn B, Crane K
Journal Article Smart card authentication model based on elliptic curve cryptography in IoT networks 2021 • International Journal of Electronic Security and Digital Forensics • 13(5):548-569 Joy AS, Ravi R
