Languages
简体中文
English
USTC-Yale Joint Research Center for High-Confidence Software
Research Center
Mobile Computing Lab
Software Security Lab
Advanced Networking & Information Security Lab
Menu
Research Center
Mobile Computing Lab
Software Security Lab
People
Projects
Publications
Advanced Networking & Information Security Lab
User login
Username:
*
Password:
*
Request new password
Home
›
Biblio
Biblio
List
Filter
test
warning: Parameter 1 to theme_biblio_filters() expected to be a reference, value given in /var/lib/drupal/includes/theme.inc on line 656.
Show only items where
Chen, Yiyun
Chen, Hui
Dong, Yuan
Feng, Xinyu
Fu, Xiong
Fu, Ming
Gao, Ying
Ge, Lin
Guo, Yu
Hua, Baojian
Hua, Bei
Jiang, Xinyu
Li, Zhaopeng
Li, Long
Li, Yong
Lin, Chunxiao
Liu, Cheng
McCreight, Andrew
Ni, Zhaozhong
Ru, Xiangmin
Shao, Zhong
Tian, Bo
undefined
Vaynberg, Alexander
Wang, Zhifang
Wang, Zhenming
Wang, Wei
Wu, Ping
Xiang, Sen
Zhang, Yu
Zhang, Jian
Journal Article
Conference Paper
2010
2009
2008
2007
2006
2005
certifying compiler
concurrent program safety
concurrent separation logic
Hoare logic
incremental gargabge collector
mutual exclusive locks
Pointer Logic
program logic
program verification
proof-carrying code
proofcarrying code
read-write locks
reentrant locks
safety
separation logic
Software safety
strong atomicity
transactional memory
verification
Author
Type
Year
Keyword
