Biblio

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

• Google Scholar
• DBLP
• BibTeX

Tan L, Da Silva D.  2008.  Making the Best of an Internship in Systems. Workshop on Supporting Diversity in Systems Research (Diversity 08).

• Google Scholar
• DBLP
• BibTeX

Tan L, Yuan D.  2007.  HotComments: How to Make Program Comments More Useful? 11th Workshop on Hot Topics in Operating Systems (HotOS XI).

• Google Scholar
• DBLP
• BibTeX