Foundations

PET: Optimizing Tensor Programs with Partially Equivalent Transformations and Automated Corrections OSDI 2021 Practical Near Neighbor Search via Group Testing NeurIPS 2021 Present-Biased Optimization AAAI 2021 Programming Network Stack for Middleboxes with Rubik NSDI 2021 Program Synthesis as Dependency Quantified Formula Modulo Theory IJCAI 2021 Projection techniques to update the truncated SVD of evolving matrices with applications ICML 2021 Proportional Representation under Single-Crossing Preferences Revisited AAAI 2021 Putting the “Learning" into Learning-Augmented Algorithms for Frequency Estimation ICML 2021 Qualitative Spatial and Temporal Reasoning: Current Status and Future Challenges IJCAI 2021 Random Graph Matching with Improved Noise Robustness COLT 2021 Rank-one matrix estimation: analytic time evolution of gradient descent dynamics COLT 2021 Rearrangement on Lattices with Swaps: Optimality Structures and Efficient Algorithms RSS 2021 Recognizing Reduplicated Forms: Finite-State Buffered Machines ACL 2021 Reconstructing weighted voting schemes from partial information about their power indices COLT 2021 Recursion in Abstract Argumentation is Hard --- On the Complexity of Semantics Based on Weak Admissibility AAAI 2021 Recursive prosody is not finite-state ACL 2021 Reducing SAT to Max2SAT IJCAI 2021 Reformulating DOVER-Lap Label Mapping as a Graph Partitioning Problem Interspeech 2021 Regularized spectral methods for clustering signed networks JMLR 2021 Rejection Sampling for Weighted Jaccard Similarity Revisited AAAI 2021 Reusing Combinatorial Structure: Faster Iterative Projections over Submodular Base Polytopes NeurIPS 2021 Revisiting Co-Occurring Directions: Sharper Analysis and Efficient Algorithm for Sparse Matrices AAAI 2021 Revisiting Wedge Sampling for Budgeted Maximum Inner Product Search (Extended Abstract) IJCAI 2021 Sampling Partial Acyclic Orientations in Chordal Graphs by the Lovasz Local Lemma (Student Abstract) AAAI 2021 Satisfiability and Algorithms for Non-uniform Random k-SAT AAAI 2021