Sep 6

12:45~1:45 TA Office hour
2:00~3:30 CSL Seminar
3:30~5:30 XCap meeting (Anton, Jithu)
5:30~6:20 Dinner
6:20~10:50 Read papers (seL4 abstraction + Paradigm regain video)
10:50~12:00 Buy flight ticket, Register SOSP, take shuttle to home

ACL vs Capability  looks like thing client vs thick client.
Not sure yet..

Get salary :)