Yan Chen

Publication Activity (10 Years)

Years Active: 2007-2014
Publications (10 Years): 0

Top Topics

Functional Programming

Lazy Evaluation

General Purpose

Top Venues

J. Funct. Program.

Publications

Yan Chen, Umut A. Acar, Kanat Tangwongsan
Functional programming for dynamic and large data with self-adjusting computation. ICFP (2014)
Yan Chen, Jana Dunfield, Matthew A. Hammer, Umut A. Acar
Implicit self-adjusting computation for purely functional programs. J. Funct. Program. 24 (1) (2014)
Umut A. Acar, Yan Chen
Streaming big data with self-adjusting computation. DDFP (2013)
Yan Chen, Jana Dunfield, Umut A. Acar
Type-directed automatic incrementalization. PLDI (2012)
Matthew A. Hammer, Georg Neis, Yan Chen, Umut A. Acar
Self-adjusting stack machines. OOPSLA (2011)
Yan Chen, Jana Dunfield, Matthew A. Hammer, Umut A. Acar
Implicit self-adjusting computation for purely functional programs. ICFP (2011)
Matthew A. Hammer, Georg Neis, Yan Chen, Umut A. Acar
Self-Adjusting Stack Machines CoRR (2011)
Sandip Ray, Kecheng Hao, Yan Chen, Fei Xie, Jin Yang
Formal Verification for High-Assurance Behavioral Synthesis. ATVA (2009)
Matthew A. Hammer, Umut A. Acar, Yan Chen
CEAL: a C-based language for self-adjusting computation. PLDI (2009)
Yan Chen, Fei Xie, Jin Yang
Optimizing automatic abstraction refinement for generalized symbolic trajectory evaluation. DAC (2008)
Yan Chen, Yujing He, Fei Xie, Jin Yang
Automatic Abstraction Refinement for Generalized Symbolic Trajectory Evaluation. FMCAD (2007)