The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Yiyun Chen: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Yiyun Chen, Michael J. O'Donnell
    Infinite Terms and Infinite Rewritings. [Citation Graph (0, 0)][DBLP]
    CTRS, 1990, pp:115-126 [Conf]
  2. Yiyun Chen, Michael J. O'Donnell
    Testing Confluence of Nonterminating Rewriting Systems. [Citation Graph (0, 0)][DBLP]
    CTRS, 1990, pp:127-136 [Conf]
  3. Xiong Fu, Yu Zhang, Yiyun Chen
    Data-Layout Optimization Using Reuse Distance Distribution. [Citation Graph (0, 0)][DBLP]
    EUC Workshops, 2006, pp:858-867 [Conf]
  4. Fan Guo, Yiyun Chen, RongGui Hu
    Machine Code Type Safety. [Citation Graph (0, 0)][DBLP]
    ICFEM, 2002, pp:495-499 [Conf]
  5. Sen Xiang, Yiyun Chen, Chunxiao Lin, Long Li
    Modularly Certified Dynamic Storage Allocation in SCAP. [Citation Graph (0, 0)][DBLP]
    QSIC, 2006, pp:321-328 [Conf]
  6. Yuan Chun, Yiyun Chen
    Constraint-Preserving Architecture Transformations: A Graph Rewriting Approach. [Citation Graph (0, 0)][DBLP]
    J. Comput. Sci. Technol., 2001, v:16, n:6, pp:590-594 [Journal]
  7. Yiyun Chen, Lin Ge, Baojian Hua, Zhaopeng Li, Cheng Liu
    Design of a Certifying Compiler Supporting Proof of Program Safety. [Citation Graph (0, 0)][DBLP]
    TASE, 2007, pp:127-138 [Conf]
  8. Yu Guo, Xinyu Jiang, Yiyun Chen, Chunxiao Lin
    A Certified Thread Library for Multithreaded User Programs. [Citation Graph (0, 0)][DBLP]
    TASE, 2007, pp:117-126 [Conf]
  9. Chunxiao Lin, Andrew McCreight, Zhong Shao, Yiyun Chen, Yu Guo
    Foundational Typed Assembly Language with Certified Garbage Collection. [Citation Graph (0, 0)][DBLP]
    TASE, 2007, pp:326-338 [Conf]
  10. Chunxiao Lin, Yiyun Chen, Long Li, Bei Hua
    Garbage Collector Verification for Proof-Carrying Code. [Citation Graph (0, 0)][DBLP]
    J. Comput. Sci. Technol., 2007, v:22, n:3, pp:426-437 [Journal]

  11. An Extension to Pointer Logic for Verification. [Citation Graph (, )][DBLP]


  12. The Logical Approach to Low-Level Stack Reasoning. [Citation Graph (, )][DBLP]


  13. Implementation of Pointer Logic for Automated Verification. [Citation Graph (, )][DBLP]


  14. Applied Research on Logistics Grid Based on ASP. [Citation Graph (, )][DBLP]


  15. On the Verification of Strong Atomicity in Programs Using STM. [Citation Graph (, )][DBLP]


Search in 0.003secs, Finished in 0.004secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002