conftrace_
← Computer Science
Computer Science ›

Foundations

1,623 papers (0 classified directly here)

Subtopics

Algorithms (1,298) Graph Theory (190) Formal Languages (113) Programming Languages (46) Data Structures (39)

Papers per year

1
7
34
188
122
'05
'10
'15
'20
'25

Papers (including subtopics)

Sifter: An Inversion-Free and Large-Capacity Programmable Packet Scheduler NSDI 2024
Swing: Short-cutting Rings for Higher Bandwidth Allreduce NSDI 2024
Sequence Abstractions for Flexible, Line-Rate Network Monitoring NSDI 2024
OctoSketch: Enabling Real-Time, Continuous Network Monitoring over Multiple Cores NSDI 2024
DRust: Language-Guided Distributed Shared Memory with Fine Granularity, Full Transparency, and Ultra Efficiency OSDI 2024
Automatically Reasoning About How Systems Code Uses the CPU Cache OSDI 2024
Anvil: Verifying Liveness of Cluster Management Controllers OSDI 2024
Optimal Non-Redundant Manipulator Surface Coverage with Rank-Deficient Manipulability Constraints RSS 2024
Link Prediction for Flow-Driven Spatial Networks WACV 2024
ESSEN: Improving Evolution State Estimation for Temporal Networks using Von Neumann Entropy NIPS 2023
Tight Bounds for Volumetric Spanners and Applications NIPS 2023
SOAR: Improved Indexing for Approximate Nearest Neighbor Search NIPS 2023
Three Iterations of (d − 1)-WL Test Distinguish Non Isometric Clouds of d-dimensional Points NIPS 2023
Improved Frequency Estimation Algorithms with and without Predictions NIPS 2023
A One-Size-Fits-All Approach to Improving Randomness in Paper Assignment NIPS 2023
An Efficient and Robust Framework for Approximate Nearest Neighbor Search with Attribute Constraint NIPS 2023
$k$-Means Clustering with Distance-Based Privacy NIPS 2023
A Graph-Theoretic Framework for Understanding Open-World Semi-Supervised Learning NIPS 2023
Multi-Swap k-Means++ NIPS 2023
Sorting with Predictions NIPS 2023
Monitor-Guided Decoding of Code LMs with Static Analysis of Repository Context NIPS 2023
Unlimiformer: Long-Range Transformers with Unlimited Length Input NIPS 2023
Exact recovery and Bregman hard clustering of node-attributed Stochastic Block Model NIPS 2023
Fast Partitioned Learned Bloom Filter NIPS 2023
Maximum Independent Set: Self-Training through Dynamic Programming NIPS 2023