Submissions from kqueue.org

		Correctness of a compiler for arithmetic expressions in Lean (kqueue.org)
		1 point by matt_d on Oct 15, 2020 \| past
		More randomness or less (2012) (kqueue.org)
		1 point by osivertsson on Oct 26, 2015 \| past
		Memory allocator security revisited (2012) (kqueue.org)
		2 points by implmentor on Aug 20, 2015 \| past
		Fast integer overflow detection (2012) (kqueue.org)
		64 points by luu on Dec 14, 2014 \| past \| 45 comments
		The cltq story. (kqueue.org)
		4 points by mustapha on Sept 18, 2013 \| past
		IDIV DoS (INT_MIN / -1) (kqueue.org)
		111 points by alter8 on Jan 27, 2013 \| past \| 23 comments
		More randomness or less (kqueue.org)
		2 points by wglb on June 25, 2012 \| past