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 | 102 | 2009 |
Type-directed automatic incrementalization Y Chen, J Dunfield, UA Acar ACM SIGPLAN Conference on Programming Language Design and Implementation …, 2012 | 58 | 2012 |
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 | 30 | 2011 |
Formal verification for high-assurance behavioral synthesis S Ray, K Hao, Y Chen, F Xie, J Yang Automated Technology for Verification and Analysis: 7th International …, 2009 | 28 | 2009 |
Streaming big data with self-adjusting computation UA Acar, Y Chen Proceedings of the 2013 workshop on Data driven functional programming, 15-18, 2013 | 23 | 2013 |
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 | 21 | 2014 |
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 | 20 | 2014 |
Self-adjusting stack machines MA Hammer, G Neis, Y Chen, UA Acar Proceedings of the 2011 ACM international conference on Object oriented …, 2011 | 20 | 2011 |
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 | 11 | 2007 |
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 | 5 | 2008 |
An efficient search algorithm for partially ordered sets. Y Chen ACST, 91-94, 2006 | 2 | 2006 |
Implementing Implicit Self-Adjusting Computation Y Chen, J Dunfield, MA Hammer, UA Acar | | 2011 |