Travelled to:
1 × China
1 × Cyprus
1 × Estonia
1 × India
1 × Poland
1 × Portugal
1 × The Netherlands
1 × USA
Collaborated with:
B.Scholz Y.Deng R.J.v.Glabbeek C.Morgan S.K.Jain F.Cassez R.v.d.Meyden C.Cifuentes X.Zhao K.Wang J.Sun Y.Lu J.Potter J.Xue X.Xia D.Lo X.Wang X.Wang M.Hennessy
Talks about:
probabilist (2) languag (2) test (2) multithread (1) determinist (1) characteris (1) recommend (1) heterogen (1) flowchart (1) translat (1)
Person: Chenyi Zhang
DBLP: Zhang:Chenyi
Contributed to:
Wrote 8 papers:
- ECIR-2014-ZhangZWS #network #recommendation
- Content + Attributes: A Latent Factor Model for Recommending Scientific Papers in Heterogeneous Academic Networks (CZ, XZ, KW, JS), pp. 39–50.
- ICPC-2014-XiaLWZW #debugging #locality
- Cross-language bug localization (XX, DL, XW, CZ, XW), pp. 275–278.
- ESOP-2012-LuPZX #parallel #source code #thread
- A Type and Effect System for Determinism in Multithreaded Programs (YL, JP, CZ, JX), pp. 518–538.
- PEPM-2012-JainZS #nondeterminism
- Translating flowcharts to non-deterministic languages (SKJ, CZ, BS), pp. 155–162.
- FoSSaCS-2010-CassezMZ #complexity #data flow #security
- The Complexity of Synchronous Notions of Information Flow Security (FC, RvdM, CZ), pp. 282–296.
- SCAM-2008-ScholzZC #analysis #dependence #graph #reachability
- User-Input Dependence Analysis via Graph Reachability (BS, CZ, CC), pp. 25–34.
- ESOP-2007-DengGMZ #probability #testing
- Scalar Outcomes Suffice for Finitary Probabilistic Testing (YD, RJvG, CM, CZ), pp. 363–378.
- LICS-2007-DengGHMZ #finite #probability #process #testing
- Characterising Testing Preorders for Finite Probabilistic Processes (YD, RJvG, MH, CM, CZ), pp. 313–325.