The quest for the fastest linked list
https://johnnysswlab.com/the-quest-for-the-fastest-linked-list/
https://johnnysswlab.com/the-quest-for-the-fastest-linked-list/
Johnny's Software Lab
The quest for the fastest linked list - Johnny's Software Lab
Linked lists are celebrity data structures of software development. They are celebrities because every engineer has had something to do with them in one part of their career. They are used in many places: from low-level memory management in operating systems…
explicit-level-imports.pdf
315.7 KB
Explicit Level Imports (GHC)
https://www.well-typed.com/blog/aux/files/explicit-level-imports.pdf
https://www.well-typed.com/blog/aux/files/explicit-level-imports.pdf
2404.04552v3.pdf
346.5 KB
Fast and Simple Sorting Using Partial Information
https://arxiv.org/abs/2404.04552
https://arxiv.org/abs/2404.04552
Optimizations in C++ Compilers
https://queue.acm.org/detail.cfm?id=3372264
https://queue.acm.org/detail.cfm?id=3372264
queue.acm.org
Optimizations in C++ Compilers - ACM Queue
There
Structure and Interpretation of Computer Programs (SICP)
https://mitp-content-server.mit.edu/books/content/sectbyfn/books_pres_0/6515/sicp.zip/index.html
https://mitp-content-server.mit.edu/books/content/sectbyfn/books_pres_0/6515/sicp.zip/index.html
computation-by-interaction.pdf
429.8 KB
Computation by Interaction for Space-Bounded Functional Programming
https://www.ulrichschoepp.de/Docs/intml_long.pdf
https://www.ulrichschoepp.de/Docs/intml_long.pdf
implicit-complexity.pdf
352.8 KB
Implicit computation complexity in higher-order programming languages
https://www.cambridge.org/core/services/aop-cambridge-core/content/view/0E9A155F520EA7294C6A64F039479D33/S0960129521000505a.pdf
https://www.cambridge.org/core/services/aop-cambridge-core/content/view/0E9A155F520EA7294C6A64F039479D33/S0960129521000505a.pdf
3-SAT-2-2-NP.pdf
186.4 KB
Monotone 3-Sat-(2,2) is NP-complete
https://arxiv.org/pdf/1912.08032
https://arxiv.org/pdf/1912.08032
SAT-linear.pdf
471.9 KB
Selecting and covering colored points
https://www.sciencedirect.com/science/article/pii/S0166218X18302695
https://www.sciencedirect.com/science/article/pii/S0166218X18302695
type-theory-workbench.pdf
364.2 KB
Type Theory as a Language Workbench
https://arxiv.org/pdf/2301.12852
https://arxiv.org/pdf/2301.12852
hardware-graph-reduction.pdf
1.2 MB
Heron: Modern Hardware Graph Reduction
https://dl.acm.org/doi/pdf/10.1145/3652561.3652564
https://dl.acm.org/doi/pdf/10.1145/3652561.3652564
cantrill.pdf
154.8 KB
Dynamic Instrumentation of Production Systems (DTrace)
https://www.usenix.org/legacy/publications/library/proceedings/usenix04/tech/general/full_papers/cantrill/cantrill.pdf
https://www.usenix.org/legacy/publications/library/proceedings/usenix04/tech/general/full_papers/cantrill/cantrill.pdf
n3519.pdf
195.5 KB
Understanding Effective Type Aliasing in C
https://www.open-std.org/JTC1/SC22/WG14/www/docs/n3519.pdf
https://www.open-std.org/JTC1/SC22/WG14/www/docs/n3519.pdf
book.pdf
692.7 KB
Programming in Martin-Löf ’s Type Theory
https://www.cse.chalmers.se/research/group/logic/book/book.pdf
https://www.cse.chalmers.se/research/group/logic/book/book.pdf
Function pointers in C
https://frama-c.com/2013/08/24/Function-pointers-in-C.html
https://frama-c.com/2013/08/24/Function-pointers-in-C.html
2505.12540v2.pdf
2.7 MB
Harnessing the Universal Geometry of Embeddings
https://arxiv.org/abs/2505.12540
https://arxiv.org/abs/2505.12540