3 ms·How to Build Static Checking Systems Using Orders of Magnitude Less Code [pdf]1 points by 0xmohit 10y ago