☰

Gang Tan, Ph.D. - Publications

Affiliations: 
2005 Princeton University, Princeton, NJ 
Area:
Software verification, computer security, programming languages, compilers.
Tree Info Similar researchers PubMed Report error

12 high-probability publications. We are testing a new system for linking publications to authors. You can help! If you notice any inaccuracies, please sign in and mark papers as correct or incorrect matches. If you identify any major omissions or other inaccuracies in the publication list, please let us know.

Year Citation  Score
2020 Fan Y, Liu S, Tan G, Qiao F. Fine-grained access control based on Trusted Execution Environment Future Generation Computer Systems. 109: 551-561. DOI: 10.1016/J.Future.2018.05.062  0.309
2019 Li H, Wang YP, Yin J, Tan G. SmartShell: Automated Shell Scripts Synthesis from Natural Language International Journal of Software Engineering and Knowledge Engineering. 29: 197-220. DOI: 10.1142/S0218194019500098  0.376
2019 Yin J, Tan G, Li H, Bai X, Wang YP, Hu SM. Debugopt: Debugging fully optimized natively compiled programs using multistage instrumentation Science of Computer Programming. 169: 18-32. DOI: 10.1016/J.Scico.2018.09.005  0.319
2018 Tan G, Morrisett G. Bidirectional Grammars for Machine-Code Decoding and Encoding Journal of Automated Reasoning. 60: 257-277. DOI: 10.1007/S10817-017-9429-1  0.427
2015 Tan G. JNI light: an operational model for the core JNI Mathematical Structures in Computer Science. 25: 805-840. DOI: 10.1017/S0960129513000042  0.513
2015 Yin J, Tan G, Bai X, Hu S. WebC: toward a portable framework for deploying legacy code in web browsers Science in China Series F: Information Sciences. 58: 1-15. DOI: 10.1007/S11432-015-5285-Y  0.491
2014 Li S, Tan G. Exception analysis in the Java Native Interface Science of Computer Programming. 89: 273-297. DOI: 10.1016/J.Scico.2014.01.018  0.441
2013 Sun M, Tan G, Siefers J, Zeng B, Morrisett G. Bringing Java's wild native world under control Acm Transactions On Information and System Security. 16. DOI: 10.1145/2535505  0.399
2011 Tan G, Shao Z, Feng X, Cai H. Weak Updates and Separation Logic New Generation Computing. 29: 3-29. DOI: 10.1007/S00354-010-0097-5  0.673
2010 Ahmed A, Appel AW, Richards CD, Swadi KN, Tan G, Wang DC. Semantic foundations for typed assembly languages Acm Transactions On Programming Languages and Systems. 32. DOI: 10.1145/1709093.1709094  0.418
2010 Kim E, Huang X, Tan G, Long LR, Antani S. A hierarchical SVG image abstraction layer for medical imaging Proceedings of Spie. 7628: 762809. DOI: 10.1117/12.844502  0.326
2002 Jiang M, Zhu X, Gielen GGE, Drábek E, Xia Y, Tan G, Bao T. Braille to print translations for Chinese Information & Software Technology. 44: 91-100. DOI: 10.1016/S0950-5849(01)00220-8  0.355
Show low-probability matches.