Lin Tan

Identifiers

• name variant Lin Tan 0.60 · backfill

Papers (3)

1. An Empirical Study of LLM-Generated Specifications for VeriFast cs.SE · 2026 · author #8
2. Automatically Extracting Web API Specifications from HTML Documentation cs.SE · 2018 · author #5
3. @tComment: Testing Javadoc Comments to Detect Comment-Code Inconsistencies cs.SE · 2012 · author #3

Mentions

• 2606.26490 #8 · arxiv_oai · confidence 0.70 Lin Tan
• 1201.6078 #3 · backfill · confidence 0.70 Lin Tan

Frequent Coauthors

• Annie T.T. Ying 1 shared papers
• Danning Xie 1 shared papers
• Darko Marinov 1 shared papers
• Erik Wittern 1 shared papers
• Gary T. Leavens 1 shared papers
• Jenna DiVincenzo 1 shared papers
• Jinqiu Yang 1 shared papers
• Julian Dolby 1 shared papers
• Marilyn Rego 1 shared papers
• Minh Tran 1 shared papers
• Sanya Dod 1 shared papers
• Shin Hwei Tan 1 shared papers
• Wen Fan 1 shared papers
• Xin Hu 1 shared papers