Diary/2010-1-6

一言メモ

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