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
DBLP: Li:Xun
Contributed to:
2015
2014
2011
2007Wrote 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.