Travelled to:1 × Canada
1 × China
1 × Spain
1 × Sweden
1 × United Kingdom
2 × USA
Collaborated with:S.Li A.W.Appel G.Morrisett B.Niu D.P.Lopresti X.Zhou X.Huang K.N.Swadi D.Wu J.Tassarotti J.Tristan E.Gan Yu-Ping Wang Xu-Qiang Hu Zi-Xin Zou Wende Tan
Talks about:analysi (3) languag (2) control (2) java (2) flow (2) polymorph (1) construct (1) stronger (1) interfac (1) document (1)
Person: Gang Tan
DBLP: Tan:Gang
Contributed to:
2014
20142012
2011
20092007
200620042019Wrote 9 papers:
- ECOOP-2014-LiT #analysis #fault #python #source code
- Finding Reference-Counting Errors in Python/C Programs with Affine Analysis (SL, GT), pp. 80–104.
- PLDI-2014-NiuT #composition #control flow
- Modular control-flow integrity (BN, GT), p. 58.
- PLDI-2012-MorrisettTTTG #named #performance
- RockSalt: better, faster, stronger SFI for the x86 (GM, GT, JT, JBT, EG), pp. 395–404.
- OOPSLA-2011-LiT #exception #interface #java #named
- JET: exception checking in the Java native interface (SL, GT), pp. 345–358.
- ICDAR-2009-LoprestiZHT #analysis #documentation
- Document Analysis Support for the Manual Auditing of Elections (DPL, XZ, XH, GT), pp. 733–737.
- OOPSLA-2007-TanM #analysis #c #java #named
- Ilea: inter-language analysis across java and c (GT, GM), pp. 39–56.
- VMCAI-2006-TanA #composition #control flow #logic
- A Compositional Logic for Control Flow (GT, AWA), pp. 80–94.
- VMCAI-2004-TanASW #assembly #semantics
- Construction of a Semantic Model for a Typed Assembly Language (GT, AWA, KNS, DW), pp. 30–43.
- OOPSLA-2019-WangHZTT #named #performance #polymorphism #type system
- IVT: an efficient method for sharing subtype polymorphic objects (YPW, XQH, ZXZ, WT, GT), p. 22.