@article{chen09jos,
title = {A Pointer Logic for Verification of Pointer Programs},
author = {Yiyun Chen and Zhaopeng Li and Zhifang Wang and Baojian Hua},
journal = {Accepted by Chinese Journal of Software},
volume = {00},
number = {00},
year = {2009},
month = {00},
pages = {0000-0000},
pdf = {http://ssg.ustcsz.edu.cn/publications/chen09jos.pdf}
}
@article{guo08jos,
title = {A Method for Code Safety Proof Construction},
author = {Yu Guo and Yiyun Chen and Chunxiao Lin},
journal = {Chinese Journal of Software},
volume = {19},
number = {10},
year = {2008},
month = {Oct},
pages = {2720-2727},
pdf = {http://ssg.ustcsz.edu.cn/publications/guo08jos.pdf}
}
@inproceedings{feng08vstte,
title = {{Combining Domain-Specific and Foundational Logics to Verify Complete Software Systems}},
author = {Xinyu Feng and Zhong Shao and Yu Guo and Yuan Dong},
booktitle = {Second IFIP Working Conference on Verified Software: Theories, Tools, and Experiments (VSTTE'08)},
address = {Toronto, Canada},
publisher = {Springer-Verlag},
year = {2008},
month = {Oct},
pages = {54-69},
pdf = {http://flint.cs.yale.edu/flint/publications/itrimp.pdf}
}
@inproceedings{wang08tase,
author = {Zhifang Wang and Yiyun Chen and Zhenming Wang and Wei Wang and Bo Tian},
title = {An Extension to Pointer Logic for Verification},
booktitle = {Proceedings of 2nd IEEE IFIP International Symposium on Theoretical Aspects of Software Engineering (TASE 2008)},
pages = {49-56},
year = {2008},
address = {Nanjing, China},
month = {Jun},
publisher = {IEEE Computer Society},
pdf = {http://ssg.ustcsz.edu.cn/publications/wang08tase.pdf}
}
@inproceedings{feng08,
author = {Xinyu Feng and Zhong Shao and Yuan Dong and Yu Guo},
title = {Certifying Low-Level Programs with Hardware Interrupts and Preemptive Threads},
booktitle = {Proceedings of the 2008 ACM SIGPLAN conference on Programming Language Design and Implementation (PLDI 2008)},
pages = {170-182},
year = {2008},
address = {Tucson, Arizona},
month = {Jun},
publisher = {ACM Press},
pdf = {http://flint.cs.yale.edu/publications/aim.pdf}
}
@article{li08jcrd,
author = {Zhaopeng Li and Yiyun Chen and Lin Ge and Baojian Hua},
title = {A Formal Certifying Framework for Assembly Programs},
journal = {Chinese Journal of Computer Research and Development},
year = {2008},
volume = {45},
number = {5},
pages = {825-833},
month = {May},
pdf = {http://ssg.ustcsz.edu.cn/publications/li08jcrd.pdf}
}
@article{hua08joc,
author = {Baojian Hua and Yiyun Chen and Zhaopeng Li and Zhifang Wang and Lin Ge},
title = {Design and Proof of a Safe Programming Language {P}ointer{C}},
journal = {Chinese Journal of Computers},
year = {2008},
volume = {31},
number = {4},
pages = {556-564},
month = {April},
pdf = {http://ssg.ustcsz.edu.cn/publications/hua08joc.pdf}
}
@article{chen08joc,
author = {Yiyun Chen and Baojian Hua and Lin Ge and Zhifang Wang},
title = {A Pointer Logic for Safety Verification of Pointer Programs},
journal = {Chinese Journal of Computers},
year = {2008},
volume = {31},
number = {3},
pages = {372-380},
month = {March},
pdf = {http://ssg.ustcsz.edu.cn/publications/chen08joc.pdf}
}
@article{chen07fcs,
author = {Yiyun Chen and Lin Ge and Baojian Hua and Zhaopeng Li and Cheng Liu and Zhifang Wang},
title = {A Pointer Logic and Certifying Compiler},
journal = {Frontiers of Computer Science in China},
year = {2007},
volume = {1},
number = {3},
pages = {297-312},
month = {Jul},
pdf = {http://ssg.ustcsz.edu.cn/publications/chen07fcs.pdf}
}
@inproceedings{mccreight07,
author = {Andrew McCreight and Zhong Shao and Chunxiao Lin and Long Li},
title = {A General Framework for Certifying Garbage Collectors and Their Mutators},
booktitle = {Proceedings of the 2007 ACM SIGPLAN conference on Programming Language Design and Implementation (PLDI 2007)},
pages = {468-479},
year = {2007},
address = {San Diego, CA, USA},
month = {Jun},
publisher = {ACM Press},
pdf = {http://flint.cs.yale.edu/publications/hgc.pdf}
}
@inproceedings{chen07tase,
author = {Yiyun Chen and Lin Ge and Baojian Hua and Zhaopeng Li and Cheng Liu},
title = {Design of a Certifying Compiler Supporting Proof of Program Safety},
booktitle = {Proceedings of 1st IEEE IFIP International Symposium on Theoretical Aspects of Software Engineering (TASE 2007)},
pages = {117-126},
year = {2007},
address = {Shanghai, China},
month = {Jun},
publisher = {IEEE Computer Society},
pdf = {http://ssg.ustcsz.edu.cn/lss/papers/paper/dccspps.pdf}
}
@inproceedings{guo07tase,
author = {Yu Guo and Xinyu Jiang and Yiyun Chen and Chunxiao Lin},
title = {A Certified Thread Library for Multithreaded User Programs},
booktitle = {Proceedings of 1st IEEE IFIP International Symposium on Theoretical Aspects of Software Engineering (TASE 2007)},
pages = {127-136},
year = {2007},
address = {Shanghai, China},
month = {Jun},
publisher = {IEEE Computer Society},
pdf = {http://ssg.ustcsz.edu.cn/publications/guo07tase.pdf}
}
@inproceedings{lin07tase,
author = {Chunxiao Lin and Andrew McCreight and Zhong Shao and Yiyun Chen and Yu Guo},
title = {Foundational Typed Assembly Language with Certified Garbage Collection},
booktitle = {Proceedings of 1st IEEE IFIP International Symposium on Theoretical Aspects of Software Engineering (TASE 2007)},
pages = {326-335},
year = {2007},
address = {Shanghai, China},
month = {Jun},
publisher = {IEEE Computer Society},
pdf = {http://flint.cs.yale.edu/publications/talgc.pdf}
}
@article{gao07joc,
author = {Ying Gao and Yiyun Chen},
title = {A Comparable Code Obfuscation Framework Measuring Efficiency Based on Abstract Interpretation},
journal = {Chinese Journal of Computers},
year = {2007},
volume = {30},
number = {5},
pages = {806-814},
month = {May},
pdf = {http://ssg.ustcsz.edu.cn/publications/gao07joc.pdf}
}
@article{lin07jcst,
author = {Chunxiao Lin and Yiyun Chen and Long Li and Bei Hua},
title = {Garbage Collector Verification for Proof-Carrying Code},
journal = {Journal of Computer Science and Technology},
year = {2007},
volume = {22},
number = {3},
pages = {426-437},
month = {May},
pdf = {http://ssg.ustcsz.edu.cn/~cxlin/gcpaper/paper.pdf}
}
@article{xiang07jcrd,
author = {Sen Xiang and Yiyun Chen and Chunxiao Lin and Long Li},
title = {Coq Implementation of Certified Dynamic Storage Allocation},
journal = {Chinese Journal of Computer Research and Development},
year = {2007},
volume = {44},
number = {2},
pages = {361-367},
month = {Feb},
pdf = {http://ssg.ustcsz.edu.cn/publications/xiang07jcrd.pdf}
}
@inproceedings{feng07,
author = {Xinyu Feng and Zhaozhong Ni and Zhong Shao and Yu Guo},
title = {An Open Framework for Foundational Proof-Carrying Code},
booktitle = {Proceedings of the 3rd ACM Workshop on Types in Language Design and Implementation},
pages = {67-78},
year = {2007},
address = {Nice, France},
month = {Jan},
publisher = {ACM Press},
pdf = {http://flint.cs.yale.edu/publications/ocap.pdf}
}
@inproceedings{xiang06qsic,
author = {Sen Xiang and Yiyun Chen and Chunxiao Lin and Long Li},
title = {Modularly Certified Dynamic Storage Allocation in SCAP},
booktitle = {Proceedings of Sixth International Conference on Quality Software (QSIC'06)},
pages = {321-328},
year = {2006},
address = {Beijing, China},
month = {Oct},
publisher = {IEEE Computer Society},
pdf = {http://ssg.ustcsz.edu.cn/publications/xiang06qsic.pdf}
}
@inproceedings{fu06,
author = {Xiong Fu and Yu Zhang and Yiyun Chen},
title = {Data-Layout Optimization Using Reuse Distance Distribution},
booktitle = {Emerging Directions in Embedded and Ubiquitous Computing EUC 2006 Workshops: NCUS, SecUbiq, USN, TRUST, ESO, and MSA},
pages = {858-867},
year = {2006},
volume = {4097},
series = {Lecture Notes in Computer Science},
address = {Seoul, Korea},
month = {Aug},
publisher = {Springer},
pdf = {http://ssg.ustcsz.edu.cn/publications/fu06.pdf}
}
@article{wu06jcrd,
author = {Ping Wu and Yiyun Chen and Jian Zhang},
title = {Static Data-Race Detection for Multithread Programs},
journal = {Chinese Journal of Computer Research and Development},
year = {2006},
volume = {43},
number = {2},
pages = {329-335},
month = {Feb}
}
@inproceedings{feng06,
author = {Xinyu Feng and Zhong Shao and Alexander Vaynberg and Sen Xiang and Zhaozhong Ni},
title = {Modular Verification of Assembly Code with Stack-Based Control Abstractions},
booktitle = {Proceedings of the 2006 ACM SIGPLAN conference on Programming Language Design and Implementation},
pages = {401-414},
year = {2006},
address = {Ottawa, Canada},
month = {Hone},
publisher = {ACM Press},
pdf = {http://flint.cs.yale.edu/publications/sbca.pdf}
}
@article{chen06jcrd,
author = {Hui Chen and Yiyun Chen and Ping Wu and Sen Xiang},
title = {A Typed Low-Level Language Used in Java Virtual Machine},
journal = {Chinese Journal of Computer Research and Development},
year = {2006},
volume = {43},
number = {1},
pages = {15-22},
month = {Jan},
pdf = {http://ssg.ustcsz.edu.cn/publications/chen06jcrd.pdf}
}
@article{wu05jos,
author = {Ping Wu and Yiyun Chen and Jian Zhang},
title = {Effective Synchronization Removal in Concurrent Java Programs},
journal = {Chinese Journal of Software},
year = {2005},
volume = {16},
number = {10},
pages = {1708-1716},
month = {Oct},
pdf = {http://ssg.ustcsz.edu.cn/publications/wu05jos.pdf}
}
@article{chen05jos,
author = {Hui Chen and Yiyun Chen and Xiangmin Ru},
title = {A Tag Type For Certifying Compilation of Java Program},
journal = {Chinese Journal of Software},
year = {2005},
volume = {16},
number = {3},
pages = {346-354},
month = {Mar},
pdf = {http://ssg.ustcsz.edu.cn/publications/chen05jos.pdf}
}
This file was generated by bibtex2html 1.91.