Travelled to:1 × Australia
1 × The Netherlands
2 × USA
Collaborated with:Nengkun Yu M.Ying D.G.Andersen M.Li A.J.Smola J.Zhu X.Zheng B.Zhang X.Sun L.Zhuang W.Jiao H.Mei G.Barthe J.Hsu Y.Gao W.Dou F.Qin C.Gao D.Wang J.W.0001 R.Huang Y.Wu Z.Wang X.Yin Y.Xiang R.Zhu S.Gao X.Wu S.Liu S.Gao P.Li
Talks about:system (3) quantum (2) distribut (1) construct (1) broadcast (1) recoveri (1) scalabl (1) program (1) network (1) decentr (1)
Person: Li Zhou
DBLP: Zhou:Li
Contributed to:
20152013
2009
2007
2018
2019
2020Wrote 7 papers:
- KDD-2015-ZhouALS #algebra #linear
- Cuckoo Linear Algebra (LZ, DGA, ML, AJS), pp. 1553–1562.
- KDD-2013-ZhuZZZ #modelling #scalability #topic
- Scalable inference in max-margin topic models (JZ, XZ, LZ, BZ), pp. 964–972.
- TestCom-FATES-2009-WangYXZGWLGZL #consistency #mobile #network #testing
- TTCN-3 Based Conformance Testing of Mobile Broadcast Business Management System in 3G Networks (ZW, XY, YX, RZ, SG, XW, SL, SG, LZ, PL), pp. 163–178.
- SEKE-2007-SunZZJM #adaptation #component #distributed #self #towards
- Towards Constructing High-available Decentralized Systems via Self-adaptive Components (XS, LZ, LZ, WJ, HM), pp. 296–301.
- ESEC-FSE-2018-GaoDQGW0HZW #debugging #distributed #empirical #scalability
- An empirical study on crash recovery bugs in large-scale distributed systems (YG, WD, FQ, CG, DW, JW0, RH, LZ, YW), pp. 539–550.
- PLDI-2019-ZhouYY #hoare #logic #quantum
- An applied quantum Hoare logic (LZ, NY, MY), pp. 1149–1162.
- POPL-2020-BartheHYYZ #proving #quantum #relational #source code
- Relational proofs for quantum programs (GB, JH, MY, NY, LZ), p. 29.