| | 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
|
|
