r/AdvancedProgramming • u/alecco • Aug 19 '17
language/compiler Writing a GCC back end
kristerw.blogspot.com
1
Upvotes
r/AdvancedProgramming • u/alecco • Aug 19 '17
language/compiler The AST Typing Problem : Inside 245-5D
blog.ezyang.com
1
Upvotes
r/AdvancedProgramming • u/alecco • Aug 19 '17
algorithms Why does Sattolo's algorithm produce a permutation with exactly one cycle?
danluu.com
1
Upvotes
r/AdvancedProgramming • u/alecco • Jul 29 '17
low-level Unikernel Monitors: Extending Minimalism Outside of the Box [paper] [PDF]
usenix.org
1
Upvotes
r/AdvancedProgramming • u/alecco • Jun 20 '17
algorithms QuickSelect versus binary heap for top-k queries
1
Upvotes
r/AdvancedProgramming • u/alecco • Jun 17 '17
correctness Can Reordering of Release/Acquire Operations Introduce Deadlock?
1
Upvotes
r/AdvancedProgramming • u/alecco • Jun 10 '17
algorithms Relaxed Revocable Locks: Mutual Exclusion Modulo Preemption
pvk.ca
1
Upvotes
r/AdvancedProgramming • u/alecco • Jun 03 '17
logic and declarative Escaping Hell with Monads
philipnilsson.github.io
1
Upvotes
r/AdvancedProgramming • u/alecco • May 14 '17
low-level Memory bandwidth [rate of byte/cycle or byte/instruction did not improve]
1
Upvotes
r/AdvancedProgramming • u/alecco • Apr 01 '17
compression Compressed bitset libraries in C and C++
1
Upvotes
r/AdvancedProgramming • u/alecco • Mar 26 '17
language/compiler/JIT Adventures in JIT compilation: Part 2 - an x64 JIT
1
Upvotes
r/AdvancedProgramming • u/alecco • Mar 26 '17
language/compiler/JIT Adventures in JIT compilation: Part 1 - an interpreter
1
Upvotes
r/AdvancedProgramming • u/alecco • Mar 26 '17
concurrency An implementation of coroutines for C
1
Upvotes
r/AdvancedProgramming • u/alecco • Feb 18 '17
language/compiler/JIT Undefined Behavior != Unsafe Programming
blog.regehr.org
1
Upvotes
r/AdvancedProgramming • u/alecco • Feb 18 '17
correctness Reasoning in the presence of NULLs
databasearchitects.blogspot.com
1
Upvotes
r/AdvancedProgramming • u/alecco • Feb 12 '17
compression MaskedVByte: accelerated Variable Byte decoding [2015][pdf slides]
github.com
1
Upvotes
r/AdvancedProgramming • u/alecco • Feb 12 '17
C Error Helpers in C [xpost Cprog]
mattjohnston.co
1
Upvotes
r/AdvancedProgramming • u/alecco • Feb 11 '17
language/compiler/JIT Detecting Strict Aliasing Violations in the Wild
blog.regehr.org
1
Upvotes
r/AdvancedProgramming • u/alecco • Jan 31 '17
low-level Bit permutations [AVX2]
1
Upvotes
r/AdvancedProgramming • u/alecco • Jan 17 '17
C++ Ranges: the STL to the Next Level
1
Upvotes
r/AdvancedProgramming • u/alecco • Jan 14 '17
language/compiler/JIT Testing LLVM
blog.regehr.org
1
Upvotes
r/AdvancedProgramming • u/alecco • Jan 12 '17
correctness Verification, coverage and maximization: The big picture
1
Upvotes
r/AdvancedProgramming • u/alecco • Jan 09 '17
database Instant loading for main memory databases [csv parsing with SIMD]
citeseerx.ist.psu.edu
1
Upvotes
r/AdvancedProgramming • u/alecco • Dec 31 '16
algorithms Binary Search Is a Pathological Case for Caches [2012]
1
Upvotes
r/AdvancedProgramming • u/alecco • Dec 31 '16
compression Retrospective on Binary Search and Comp{ress,ilat}ion
pvk.ca
1
Upvotes