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 × 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 DBLP: Zhang:Chenyi

Contributed to:

ECIR 20142014
ICPC 20142014
ESOP 20122012
PEPM 20122012
FOSSACS 20102010
SCAM 20082008
ESOP 20072007
LICS 20072007

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.

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.