Follow
Yan Chen
Title
Cited by
Cited by
Year
CEAL: A C-based language for self-adjusting computation
MA Hammer, UA Acar, Y Chen
ACM SIGPLAN Conference on Programming Language Design and Implementation, 25-37, 2009
982009
Type-directed automatic incrementalization
Y Chen, J Dunfield, UA Acar
ACM SIGPLAN Conference on Programming Language Design and Implementation …, 2012
502012
Implicit self-adjusting computation for purely functional programs
Y Chen, J Dunfield, MA Hammer, UA Acar
ACM SIGPLAN International Conference on Functional Programming, 129-141, 2011
292011
Formal verification for high-assurance behavioral synthesis
S Ray, K Hao, Y Chen, F Xie, J Yang
International Symposium on Automated Technology for Verification and …, 2009
262009
Streaming big data with self-adjusting computation
UA Acar, Y Chen
Proceedings of the 2013 workshop on Data driven functional programming, 15-18, 2013
202013
Functional programming for dynamic and large data with self-adjusting computation
Y Chen, UA Acar, K Tangwongsan
ACM SIGPLAN Notices 49 (9), 227-240, 2014
192014
Self-adjusting stack machines
MA Hammer, G Neis, Y Chen, UA Acar
Proceedings of the 2011 ACM international conference on Object oriented …, 2011
192011
Implicit self-adjusting computation for purely functional programs
Y Chen, J Dunfield, MA Hammer, UA Acar
Journal of Functional Programming 24 (1), 56-112, 2014
182014
Automatic abstraction refinement for generalized symbolic trajectory evaluation
Y Chen, Y He, F Xie, J Yang
Formal Methods in Computer Aided Design, 2007. FMCAD'07, 111-118, 2007
112007
Optimizing automatic abstraction refinement for generalized symbolic trajectory evaluation
Y Chen, F Xie, J Yang
Proceedings of the 45th Annual Design Automation Conference, 143-148, 2008
52008
An efficient search algorithm for partially ordered sets.
Y Chen
ACST, 91-94, 2006
22006
Implementing Implicit Self-Adjusting Computation
Y Chen, J Dunfield, MA Hammer, UA Acar
2011
The system can't perform the operation now. Try again later.
Articles 1–12