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)

Reformulating DOVER-Lap Label Mapping as a Graph Partitioning Problem INTERSPEECH 2021
Finite Time LTI System Identification JMLR 2021
Edge Sampling Using Local Network Information JMLR 2021
The ensmallen library for flexible numerical optimization JMLR 2021
A Unified Framework for Spectral Clustering in Sparse Graphs JMLR 2021
Regularized spectral methods for clustering signed networks JMLR 2021
Keyword Extraction Using Unsupervised Learning on the Document’s Adjacency Matrix NAACL 2021
Finding Invariants of Distributed Systems: It's a Small (Enough) World After All NSDI 2021
Programming Network Stack for Middleboxes with Rubik NSDI 2021
PET: Optimizing Tensor Programs with Partially Equivalent Transformations and Automated Corrections OSDI 2021
Finding Consensus Bugs in Ethereum via Multi-transaction Differential Fuzzing OSDI 2021
STORM: Refinement Types for Secure Web Applications OSDI 2021
Inexact Loops in Robotics Problems RSS 2021
Rearrangement on Lattices with Swaps: Optimality Structures and Efficient Algorithms RSS 2021
Separable Four Points Fundamental Matrix WACV 2021
Minimal Solvers for Single-View Lens-Distorted Camera Auto-Calibration WACV 2021
Taming Discrete Integration via the Boon of Dimensionality NIPS 2020
On Testing of Samplers NIPS 2020
Training Linear Finite-State Machines NIPS 2020
Learning Invariants through Soft Unification NIPS 2020
Adaptive Probing Policies for Shortest Path Routing NIPS 2020
Sliding Window Algorithms for k-Clustering Problems NIPS 2020
Impossibility Results for Grammar-Compressed Linear Algebra NIPS 2020
Adaptive Shrinkage Estimation for Streaming Graphs NIPS 2020
A mathematical model for automatic differentiation in machine learning NIPS 2020