Export 3 results:
Filters: Author is Lin Tan  [Clear All Filters]
Tan L, Zhang X, Ma X, Xiong W, Zhou Y.  2008.  AutoISES: Automatically Inferring Security Specification and Detecting Violations. 17th USENIX Security Symposium (USENIX Security 08).
Tan L, Da Silva D.  2008.  Making the Best of an Internship in Systems. Workshop on Supporting Diversity in Systems Research (Diversity 08).
Tan L, Yuan D.  2007.  HotComments: How to Make Program Comments More Useful? 11th Workshop on Hot Topics in Operating Systems (HotOS XI).