Lost Bytes at the Crossroads Between User- and Kernel-Level Memory Allocation [pdf] (ibr.cs.tu-bs.de)