Languages
简体中文
English
USTC-Yale Joint Research Center for High-Confidence Software
Menu
About
News
People
Projects
Pubilcations
Jobs
Events
Summer School 2011
Login
Home
›
Biblio
Biblio
List
Filter
test
Show only items where
Author
Type
Term
Year
Keyword
is
Chen, Yiyun
Chen, Hui
Chen, Yi-Yun
Dong, Yuan
Fan, Dawei
Feng, Xinyu
Fu, Xiong
Fu, Ming
Gao, Ying
Ge, Lin
Guo, Yu
Hua, Baojian
Hua, Bei
Jiang, Xinyu
Jiang, Xin-Yu
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
Yang, Simin
Zhang, Yu
Zhang, Jian
Zhang, Zhenting
Zhuang, Zhong
Journal Article
Conference Paper
2010
2009
2008
2007
2006
2005
certifying compiler
concurrent program safety
concurrent separation logic
context
Hoare logic
incremental gargabge collector
mutual exclusive locks
Pointer Logic
program
program logic
program safety
program verification
proof-carrying code
proofcarrying code
read-write locks
reentrant locks
safety
separation logic
Software safety
strong atomicity
switching
theorem prover
transactional memory
verification
