!一言メモ * The New Jersey Machine-Code Toolkitっていうのがあったのか http://www.cs.tufts.edu/~nr/toolkit/ (Wed Jan 6 20:21:39 2010 +0900) * あとで読む Pointer Analysis: Haven't We Solved This Problems Yet? (Wed Jan 6 18:34:20 2010 +0900) * あとで読む Optimal Spilling for CISC Machines with Few Registers (Wed Jan 6 18:34:02 2010 +0900) * Pointer Assertion Logic Engine http://www.brics.dk/PALE/ (Wed Jan 6 18:03:52 2010 +0900) * "Dynamic software updates: a VM-centric approach" @PLDI'09かあ. (Wed Jan 6 15:42:47 2010 +0900) * PLDIr (Wed Jan 6 15:35:48 2010 +0900) * あらほり君のD論公聴会に出席する (Wed Jan 6 10:40:23 2010 +0900)