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 × Germany
1 × The Netherlands
2 × USA
3 × United Kingdom
Collaborated with:
X.Cui H.Mei J.W.Sanders Z.Liu
Talks about:
parallel (3) heterogen (2) unifi (2) nondetermin (1) represent (1) synchron (1) fixpoint (1) reactiv (1) program (1) process (1)

Person: Yifeng Chen

DBLP DBLP: Chen:Yifeng

Contributed to:

PPoPP 20152015
PPoPP 20122012
FM 20092009
IFM 20072007
IFM 20042004
CSL 20022002
IFM 20002000
PDP 20002000

Wrote 8 papers:

PPoPP-2015-ChenCM #named #parallel
Tiles: a new language mechanism for heterogeneous parallelism (YC, XC, HM), pp. 287–288.
PPoPP-2012-ChenCM #array #named #parallel #representation
PARRAY: a unifying array representation for heterogeneous parallelism (YC, XC, HM), pp. 171–180.
FM-2009-ChenS #nondeterminism #probability
Unifying Probability with Nondeterminism (YC, JWS), pp. 467–482.
IFM-2007-Chen #process
Inheriting Laws for Processes with States (YC), pp. 138–155.
IFM-2004-ChenL #logic
Integrating Temporal Logics (YC, ZL), pp. 402–420.
CSL-2002-Chen #fixpoint #parallel
A Fixpoint Theory for Non-monotonic Parallelism (YC), pp. 120–134.
IFM-2000-Chen #how
How to Write a Healthiness Condition (YC), pp. 299–317.
PDP-2000-Chen #programming #specification
Specification for reactive bulk-synchronous programming (YC), pp. 190–196.

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.