BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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


Contributed to:

ECOOP 20142014
PLDI 20142014
PLDI 20122012
OOPSLA 20112011
ICDAR 20092009
OOPSLA 20072007
VMCAI 20062006
VMCAI 20042004
OOPSLA 20192019

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.