Yan Chen

According to our database, Yan Chen authored at least 9 papers between 2007 and 2014.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2014

Implicit self-adjusting computation for purely functional programs.

Yan Chen, Jana Dunfield, Matthew A. Hammer, Umut A. Acar

J. Funct. Program., 2014

Functional programming for dynamic and large data with self-adjusting computation.

Yan Chen, Umut A. Acar, Kanat Tangwongsan

Proceedings of the 19th ACM SIGPLAN international conference on Functional programming, 2014

2013

Streaming big data with self-adjusting computation.

Umut A. Acar, Yan Chen

Proceedings of the 2013 Workshop on Data Driven Functional Programming, 2013

2012

Type-directed automatic incrementalization.

Yan Chen, Jana Dunfield, Umut A. Acar

Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2012

2011

Self-adjusting stack machines.

Matthew A. Hammer, Georg Neis, Yan Chen, Umut A. Acar

Proceedings of the 26th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2011

2009

CEAL: a C-based language for self-adjusting computation.

Matthew A. Hammer, Umut A. Acar, Yan Chen

Proceedings of the 2009 ACM SIGPLAN Conference on Programming Language Design and Implementation, 2009

Formal Verification for High-Assurance Behavioral Synthesis.

Sandip Ray, Kecheng Hao, Yan Chen, Fei Xie, Jin Yang

Proceedings of the Automated Technology for Verification and Analysis, 2009

2008

Optimizing automatic abstraction refinement for generalized symbolic trajectory evaluation.

Yan Chen, Fei Xie, Jin Yang

Proceedings of the 45th Design Automation Conference, 2008

2007

Automatic Abstraction Refinement for Generalized Symbolic Trajectory Evaluation.

Yan Chen, Yujing He, Fei Xie, Jin Yang

Proceedings of the Formal Methods in Computer-Aided Design, 7th International Conference, 2007