Recent site activity

Recent site activity

Mar 25, 2009, 8:25 AM Likai Liu edited Safe Kernel Extensions Without Run-Time Checking
Mar 25, 2009, 8:24 AM Likai Liu edited Safe Kernel Extensions Without Run-Time Checking
Mar 25, 2009, 8:23 AM Likai Liu edited Safe Kernel Extensions Without Run-Time Checking
Mar 25, 2009, 8:22 AM Likai Liu created Safe Kernel Extensions Without Run-Time Checking
Mar 18, 2009, 2:38 PM Likai Liu edited Expressing the type of mmap() system call in ATS
Mar 18, 2009, 2:38 PM Likai Liu attached mmap.dats to Expressing the type of mmap() system call in ATS
Mar 17, 2009, 1:08 PM Likai Liu edited Expressing the type of mmap() system call in ATS
Mar 17, 2009, 1:07 PM Likai Liu created Expressing the type of mmap() system call in ATS
Feb 17, 2009, 9:12 AM Likai Liu edited Home
Feb 8, 2009, 10:27 AM Likai Liu edited Home
Feb 8, 2009, 10:27 AM Likai Liu edited Liberating Semi-Automated PL Proofs from Binder Bookkeeping
Feb 8, 2009, 10:22 AM Likai Liu edited Linear Closures
Feb 8, 2009, 10:21 AM Likai Liu created Liberating Semi-Automated PL Proofs from Binder Bookkeeping
Feb 8, 2009, 10:19 AM Likai Liu created Linear Closures
Dec 3, 2008, 12:51 PM Likai Liu created How to assgin a type to the UNIX system call fork?
Nov 19, 2008, 3:53 PM Likai Liu edited Faking proofs is better than having no proofs
Nov 19, 2008, 12:30 PM Likai Liu edited Faking proofs is better than having no proofs
Nov 5, 2008, 4:05 PM Likai Liu edited Lightweight Modeling of Java Virtual Machine Security Constraints
Nov 5, 2008, 4:05 PM Likai Liu attached jvm_alloy.pdf to Lightweight Modeling of Java Virtual Machine Security Constraints
Nov 4, 2008, 8:15 AM Likai Liu edited Lightweight Modeling of Java Virtual Machine Security Constraints
Nov 4, 2008, 8:11 AM Likai Liu edited Lightweight Modeling of Java Virtual Machine Security Constraints
Nov 4, 2008, 8:09 AM Likai Liu edited Home
Nov 4, 2008, 8:08 AM Likai Liu edited Lightweight Modeling of Java Virtual Machine Security Constraints
Oct 30, 2008, 1:18 PM Likai Liu edited The Composite Component-Based System and Systems Programming
Oct 30, 2008, 1:18 PM Likai Liu edited Operating System Safety / Protection Challenges

older | newer