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: Chen:Yifeng
Contributed to:
20152012
2009
20072004
20022000
2000Wrote 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.