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)

Selene: Pioneering Automated Proof in Software Verification ACL 2024
AutoDSL: Automated domain-specific language design for structural representation of procedures with constraints ACL 2024
Revisiting Code Similarity Evaluation with Abstract Syntax Tree Edit Distance ACL 2024
PyFoma: a Python finite-state compiler module ACL 2024
string2string: A Modern Python Library for String-to-String Algorithms ACL 2024
Sketch In, Sketch Out: Accelerating both Learning and Inference for Structured Prediction with Kernels AISTATS 2024
Fast Dynamic Sampling for Determinantal Point Processes AISTATS 2024
Scalable Algorithms for Individual Preference Stable Clustering AISTATS 2024
Importance Matching Lemma for Lossy Compression with Side Information AISTATS 2024
SVARM-IQ: Efficient Approximation of Any-order Shapley Interactions through Stratification AISTATS 2024
Equivalence Testing: The Power of Bounded Adaptivity AISTATS 2024
First Passage Percolation with Queried Hints AISTATS 2024
Building a Broad Infrastructure for Uniform Meaning Representations COLING 2024
Eesthetic: A Paralex Lexicon of Estonian Paradigms COLING 2024
The Swedish Parliament Corpus 1867 – 2022 COLING 2024
Simplified Chinese Character Distance Based on Ideographic Description Sequences COLING 2024
Low-degree phase transitions for detecting a planted clique in sublinear time COLT 2024
SVDinsTN: A Tensor Network Paradigm for Efficient Structure Search from Regularized Modeling Perspective CVPR 2024
Fitting Flats to Flats CVPR 2024
OmniSDF: Scene Reconstruction using Omnidirectional Signed Distance Functions and Adaptive Binoctrees CVPR 2024
Efficient Detection of Long Consistent Cycles and its Application to Distributed Synchronization CVPR 2024
Leveraging Camera Triplets for Efficient and Accurate Structure-from-Motion CVPR 2024
FastMAC: Stochastic Spectral Sampling of Correspondence Graph CVPR 2024
Robust Self-calibration of Focal Lengths from the Fundamental Matrix CVPR 2024
Resolution Limit of Single-Photon LiDAR CVPR 2024