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 × Portugal
1 × Sweden
1 × Turkey
2 × Australia
4 × USA
Collaborated with:
Z.Dang G.Xie Q.Mei A.Alaghi J.P.Hayes S.Rana D.Q.Phung S.Venkatesh Y.Wang P.Resnick O.H.Ibarra H.Yen Y.Lu D.Wang S.Pandey H.Han C.L.Giles H.Zha K.Tsioutsiouliklis D.Porto A.Clement J.Gehrke N.M.Preguiça R.Rodrigues Tristan Dufour Vincent Pellarrey Philippe Chagnon Ahmed Majdoubi Théo Torregrossa Vladimir Nachbaur Ricardo Ibarra Cortes Jonathan Clermont Florent Dumas J.Hauswald M.A.Laurenzano Y.Zhang A.Rovinski A.Khurana R.G.Dreslinski T.N.Mudge V.Petrucci L.Tang J.Mars
Talks about:
system (3) problem (2) person (2) linear (2) verif (2) use (2) end (2) diophantin (1) decomposit (1) necessari (1)

Person: Cheng Li


Contributed to:

ASPLOS 20152015
KDD 20152015
ICPR 20142014
SIGIR 20142014
DAC 20132013
OSDI 20122012
FATES/RV 20062006
ICALP 20052005
CIAA 20042004
CIAA 20032003
JCDL 20042004
CHI PLAY 20142014

Wrote 12 papers:

ASPLOS-2015-HauswaldLZLRKDM #named
Sirius: An Open End-to-End Voice and Vision Personal Assistant and Its Implications for Future Warehouse Scale Computers (JH, MAL, YZ, CL, AR, AK, RGD, TNM, VP, LT, JM), pp. 223–238.
KDD-2015-LiLMWP #predict #timeline #twitter
Click-through Prediction for Advertising in Twitter Timeline (CL, YL, QM, DW, SP), pp. 1959–1968.
ICPR-2014-LiRPV #modelling #topic #using
Regularizing Topic Discovery in EMRs with Side Information by Using Hierarchical Bayesian Models (CL, SR, DQP, SV), pp. 1307–1312.
SIGIR-2014-LiWRM #classification #interactive #named #query #retrieval
ReQ-ReC: high recall retrieval with query pooling and interactive classification (CL, YW, PR, QM), pp. 163–172.
DAC-2013-AlaghiLH #probability #realtime
Stochastic circuits for real-time image-processing applications (AA, CL, JPH), p. 6.
OSDI-2012-LiPCGPR #consistency #performance
Making Geo-Replicated Systems Fast as Possible, Consistent when Necessary (CL, DP, AC, JG, NMP, RR), pp. 265–278.
FATES-RV-2006-LiD #algorithm #aspect-oriented #safety #testing #verification
Decompositional Algorithms for Safety Verification and Testing of Aspect-Oriented Systems (CL, ZD), pp. 100–114.
ICALP-2005-LiDIY #problem #verification
Signaling P Systems and Verification Problems (CL, ZD, OHI, HCY), pp. 1462–1473.
CIAA-2004-XieLD #automaton #testing
Testability of Oracle Automata (GX, CL, ZD), pp. 331–332.
CIAA-2003-XieLD #complexity #equation #linear #problem #using
New Complexity Results for Some Linear Counting Problems Using Minimal Solutions to Linear Diophantine Equations (GX, CL, ZD), pp. 163–175.
JCDL-2004-HanGZLT #ambiguity #learning
Two supervised learning approaches for name disambiguation in author citations (HH, CLG, HZ, CL, KT), pp. 296–305.
CHI-PLAY-2014-DufourPCMTNLCCD #artificial reality #game studies #named
ASCENT: a first person mountain climbing game on the oculus rift (TD, VP, PC, AM, TT, VN, CL, RIC, JC, FD), pp. 335–338.

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.