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 × China
3 × USA
Collaborated with:
D.Liu R.Santhanam V.Kashyap M.Tiwari T.Sherwood B.Hardekopf F.T.Chong D.Chen Y.Zhang R.Wang L.Peng W.Wei J.Oberg J.K.Oberg V.R.Rajarathinam R.Kastner
Talks about:
languag (2) hardwar (2) secur (2) game (2) probabilist (1) understand (1) mathemat (1) descript (1) behavior (1) univers (1)

Person: Xun Li


Contributed to:

SEKE 20152015
ASPLOS 20142014
PLDI 20112011
HCI p4 20072007

Wrote 4 papers:

SEKE-2015-ChenZWLPW #mining #probability #specification
Mining Universal Specification Based on Probabilistic Model (DC, YZ, RW, XL, LP, WW), pp. 471–476.
ASPLOS-2014-0001KOTRKSHC #named #policy #security
Sapper: a language for hardware-level security policy enforcement (XL, VK, JKO, MT, VRR, RK, TS, BH, FTC), pp. 97–112.
PLDI-2011-LiTOKCSH #data flow #hardware #named
Caisson: a hardware description language for secure information flow (XL, MT, JO, VK, FTC, TS, BH), pp. 109–120.
HCI-AS-2007-LiuLS #behaviour #comprehension #design #game studies #online #what
What Makes Game Players Want to Play More? A Mathematical and Behavioral Understanding of Online Game Design (DL, XL, RS), pp. 284–293.

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.