@inproceedings{TanC08Security,
   author = {Gang Tan and Jason Croft},
   title = {An empirical security study of the native code in the {JDK}},
   booktitle = {17th USENIX Security Symposium},
   pages={365-377},
   year = {2008}
}

@inproceedings{ILEA07,
title="{ILEA}: Inter-Language Analysis across {Java} and {C}",
author="Gang Tan and Greg Morrisett",
booktitle= "ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA)",
year = 2007,
pages = {39-56}
}

@inproceedings{TanAControlLogic06,
  author    = {Gang Tan and
               Andrew W. Appel},
  title     = {A Compositional Logic for Control Flow.},
  booktitle = "Proceedings of 7th International Conference on
                  Verification,
                  Model Checking, and Abstract Interpretation
                  (VMCAI)",
  series       = "LNCS",
  year      = {2006},
  pages     = {80-94},
  volume    = 3855
}

@phdthesis{TanPHD05,
author="Gang Tan",
title="A Compositional Logic for Control Flow and its Application to Foundational Proof-Carrying Code",
school=PU,
address="Princeton, NJ",
year="2005",month=aug,
note="Tech Report CS-TR-731-05"
}

@InProceedings{TanASWVMCAI04,
  author       = "Gang Tan and Andrew W. Appel and Kedar N. Swadi
                  and Dinghao Wu",
  title	       = "Construction of a Semantic Model for a Typed
                  Assembly Language",
  booktitle    = "Proceedings of Fifth International Conference on
                  Verification, Model Checking, and Abstract Interpretation
                  (VMCAI)",
  series       = "LNCS",
  pages	       = "30-43",
  year	       = 2004,
  month	       = jan,
  volume       = 2937
}

@inproceedings{TanACRRW06SafeJNI,
  author    = {Gang Tan and Andrew W. Appel and Srimat Chakradhar
               and Anand Raghunathan and Srivaths Ravi and Daniel Wang},
  title     = {Safe {Java Native Interface}},
  booktitle = {Proceedings of IEEE International Symposium on Secure Software Engineering},
  year      = {2006},
  pages     = {97-106}
}

@inproceedings{OuTMWDynamicTyping04,
  author    = {Xinming Ou and
               Gang Tan and
               Yitzhak Mandelbaum and
               David Walker},
  title     = {Dynamic Typing with Dependent Types.},
  booktitle = {Proceedings of IFIP 3rd International Conference on
               Theoretical Computer Science},
  year      = {2004},
  pages     = {437-450}
}

@inproceedings{TanOWFOOL03,
  author    = {Gang Tan and Xinming Ou and David Walker},
  title     = {Enforcing Resource Usage Protocols via Scoped Methods.},
  booktitle = {Proceedings of 10th International Workshop on Foundations of Object-Oriented Languages (FOOL)},
  year      = {2003}
}