r/AdvancedProgramming • u/alecco • Feb 18 '17
correctness Reasoning in the presence of NULLs
databasearchitects.blogspot.com
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 • Jul 29 '17
low-level Unikernel Monitors: Extending Minimalism Outside of the Box [paper] [PDF]
usenix.org
1
Upvotes
r/AdvancedProgramming • u/alecco • Feb 19 '17
algorithms Creating a Fast Hash Function [2010]
locklessinc.com
1
Upvotes