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
DBLP: Li:Cheng
Contributed to:
2015
2015
2014
2014
2013
2012
2006
2005
20042003
2004
2014Wrote 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.