3 ms·Byte-Precise Verification of Low-Level List Manipulation (2013) [pdf]1 points by vmorgulis 11y ago