Meetings
Safe Kernel Extensions Without Run-Time Checking — Mar 25, 2009 3:19:42 PM
Expressing the type of mmap() system call in ATS — Mar 17, 2009 8:04:40 PM
Liberating Semi-Automated PL Proofs from Binder Bookkeeping — Feb 8, 2009 6:19:39 PM
Linear Closures — Feb 8, 2009 6:16:53 PM
How to assgin a type to the UNIX system call fork? — Dec 3, 2008 8:50:20 PM
Faking proofs is better than having no proofs — Oct 30, 2008 8:13:46 PM
Lightweight Modeling of Java Virtual Machine Security Constraints — Oct 30, 2008 8:12:12 PM
The Composite Component-Based System and Systems Programming — Oct 30, 2008 8:08:21 PM
Operating System Safety / Protection Challenges — Oct 30, 2008 8:04:23 PM
(Example) Title of the talk — Oct 15, 2008 10:46:16 PM