Sophia
Search
Search
Dark mode
Light mode
Explorer
Home
❯
vault
❯
State of the Art
Folder: vault/State-of-the-Art
16 items under this folder.
Oct 01, 2026
State of the Art - Code Indexing and Semantic Search
comparison
Oct 01, 2026
State of the Art - Content-Addressable Code Systems
comparison
Oct 01, 2026
State of the Art - Cross-Language Interoperability
comparison
Oct 01, 2026
State of the Art - Dependent Types in Practice
comparison
Oct 01, 2026
State of the Art - Equality Saturation and E-Graphs
comparison
Oct 01, 2026
State of the Art - Formal Semantics of Real Languages
comparison
Oct 01, 2026
State of the Art - Graph Databases for Code
comparison
Oct 01, 2026
State of the Art - IR Interchange Formats
comparison
Oct 01, 2026
State of the Art - Incremental Computation
comparison
Oct 01, 2026
State of the Art - Julia Compilation and Precompilation
comparison
Oct 01, 2026
State of the Art - Language Semantics Frameworks
comparison
Oct 01, 2026
State of the Art - Program Equivalence Checking
comparison
Oct 01, 2026
State of the Art - Proof-Carrying Code and Verified Compilation
comparison
Oct 01, 2026
State of the Art - Sea of Nodes and Graph IRs
comparison
Oct 01, 2026
State of the Art - Superoptimization and Synthesis
comparison
Oct 01, 2026
State of the Art
overview
comparison