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)

Enabling Portable and High-Performance SmartNIC Programs with Alkali NSDI 2025
Basilisk: Using Provenance Invariants to Automate Proofs of Undecidable Protocols OSDI 2025
Tintin: A Unified Hardware Performance Profiling Infrastructure to Uncover and Manage Uncertainty OSDI 2025
Building Bridges: Safe Interactions with Foreign Languages through Omniglot OSDI 2025
PoWER Never Corrupts: Tool-Agnostic Verification of Crash Consistency and Corruption Detection OSDI 2025
Fast and Synchronous Crash Consistency with Metadata Write-Once File System OSDI 2025
Decentralized, Epoch-based F2FS Journaling with Fine-grained Crash Recovery OSDI 2025
Neural Graph Map: Dense Mapping with Efficient Loop Closure Integration WACV 2025
3D Edge Sketch from Multiview Images WACV 2025
A Conic Transformation Approach for Solving the Perspective-Three-Point Problem WACV 2025
Adversarially Robust Dense-Sparse Tradeoffs via Heavy-Hitters NIPS 2024
HOPE: Shape Matching Via Aligning Different K-hop Neighbourhoods NIPS 2024
Warm-starting Push-Relabel NIPS 2024
Barely Random Algorithms and Collective Metrical Task Systems NIPS 2024
Why the Metric Backbone Preserves Community Structure NIPS 2024
GC-Bench: An Open and Unified Benchmark for Graph Condensation NIPS 2024
The Expressive Capacity of State Space Models: A Formal Language Perspective NIPS 2024
Verified Code Transpilation with LLMs NIPS 2024
Learning Plaintext-Ciphertext Cryptographic Problems via ANF-based SAT Instance Representation NIPS 2024
LinNet: Linear Network for Efficient Point Cloud Representation Learning NIPS 2024
On the cohesion and separability of average-link for hierarchical agglomerative clustering NIPS 2024
Efficient Centroid-Linkage Clustering NIPS 2024
Euclidean distance compression via deep random features NIPS 2024
Deep Homomorphism Networks NIPS 2024
Clustering with Non-adaptive Subset Queries NIPS 2024