Foundations

A Characterization of List Language Identification in the Limit COLT 2026 A Compilation-Based Under-Constrained Execution Engine OSDI 2026 Active Learning on Adversarially Corrupted Graphs COLT 2026 Actively Learning Halfspaces without Synthetic Data COLT 2026 A Depth Hierarchy for Computing the Maximum in ReLU Networks via Extremal Graph Theory COLT 2026 Ambulance: Saving BFT through Racing OSDI 2026 An Exponential Lower Bound for Spectral Density Estimation on Unweighted Graphs COLT 2026 An Information-Theoretic Foundation for the Subregular Hierarchy ACL 2026 Arctic: A Practical Lock-Free Adaptive Radix Tree OSDI 2026 A Unified Lower Bound on the Noisy Query Complexity of Boolean Functions COLT 2026 BLADE: Adaptive Wi-Fi Contention Control for Next-Generation Real-Time Communication NSDI 2026 Bodega: Localized Linearizable Reads at Anywhere Anytime via Roster Leases OSDI 2026 Breaking the Regional Perception Bottleneck of Multimodal Large Language Models via External Reasoning Framework CVPR 2026 Certified Branch-and-Bound MaxSAT Solving AAAI 2026 Chebyshev polynomials meet Nevanlinna-Pick interpolation: An automated procedure for algorithm synthesis L4DC 2026 Compressibility Barriers to Neighborhood-Preserving Data Visualization ALT 2026 Computational Complexity of Repair Problems on Simple Temporal Networks with Uncertainty UAI 2026 Computing Exact Nash Equilibria in Graphical Games: A Geometric Approach to Paths, Stars, and Caterpillars UAI 2026 Concept Sketching for Description Logics UAI 2026 Count-Based Abstractions for Performance Verification of Contention Points NSDI 2026 Counting and Sampling Subsets Using Block Covers UAI 2026 Deeper Treatment of the Bi-objective Search Framework AAAI 2026 Description Logics with Two Types of Definite Descriptions: Complexity, Expressiveness, and Automated Deduction AAAI 2026 Diffusion-Network Alignment: An Efficient Algorithm and Explicit Probability Bounds COLT 2026 Disentangling Graph Dependencies for Efficient Billion-Scale GPU Vector Search OSDI 2026