@inproceedings {268066, author = {Lin Tan and Xiaolan Zhang and Xiao Ma and Weiwei Xiong and Yuanyuan Zhou}, title = {{AutoISES}: Automatically Inferring Security Specification and Detecting Violations}, booktitle = {17th USENIX Security Symposium (USENIX Security 08)}, year = {2008}, address = {San Jose, CA}, url = {https://www.usenix.org/conference/17th-usenix-security-symposium/autoises-automatically-inferring-security-specification}, publisher = {USENIX Association}, month = jul } @inproceedings {267970, author = {Lin Tan and Dilma Da Silva}, title = {Making the Best of an Internship in Systems}, booktitle = {Workshop on Supporting Diversity in Systems Research (Diversity 08)}, year = {2008}, address = {San Diego, CA}, url = {https://www.usenix.org/conference/diversity-08/making-best-internship-systems}, publisher = {USENIX Association}, month = dec } @inproceedings {268630, author = {Lin Tan and Ding Yuan}, title = {{HotComments}: How to Make Program Comments More Useful?}, booktitle = {11th Workshop on Hot Topics in Operating Systems (HotOS XI)}, year = {2007}, address = {San Diego, CA}, url = {https://www.usenix.org/conference/hotos-xi/hotcomments-how-make-program-comments-more-useful}, publisher = {USENIX Association}, month = may }