Publications
- CEAL: A C-Based Language for Self-Adjusting
Computation. Matthew Hammer, Umut Acar, Yan Chen.
Proc. of ACM-SIGPLAN Conference on
Programming Language Design and Implementation (PLDI 2009), Dublin, Ireland, Jun 2009.
PDF
- Formal Verification for High-Assurance Behavioral
Synthesis. Sandip Ray, Kecheng Hao, Yan Chen, Fei Xie, Jin Yang.
Proc. of 7th International Symposium on Automated Technology for Verification and Analysis (ATVA 2009), 337-351, Macao SAR, China, Oct 2009.
PDF
- Equivalence Checking for High-Level Synthesis Flow. Yan Chen.
M.S. thesis, Portland State University, Aug 2008.
PDF
- Optimizing Automatic Abstraction Refinement for Generalized Symbolic Trajectory Evaluation. Yan Chen, Fei Xie, Jin Yang.
Proc. of 45th Design Automation Conference (DAC 2008), Anaheim, CA, Jun 2008.
PDF Slides
- Automatic Abstraction Refinement for Generalized Symbolic Trajectory Evaluation. Yan Chen, Yujing He, Fei Xie, Jin Yang. Proc. of 7th International Conference on Formal Methods in Computer-Aided Design (FMCAD 2007), 111-118, Austin, TX, Nov 2007.
DOI Link
PDF Slides
- An Efficient Search Algorithm for Partially Ordered Sets. Yan
Chen. Proc. of the IASTED International Conference on Advances in
Computer Science and Technology (ACST 2006),
91-94, Puerto Vallarta, Mexico, Jan 2006. Abstract, PDF (129K)
Misc Stuff