Title: |
Crash consistency validation made easy |
Article URLs: |
|
Alternative Article URLs: |
|
Authors: |
Yanyan Jiang |
-
Nanjing University, China, State Key Lab. for Novel Software Technology
-
Nanjing University, China, Dept. of Computer Science and Technology
|
Haicheng Chen |
-
The Ohio State University, Dept. of Computer Science and Engineering
|
Feng Qin |
-
The Ohio State University, Dept. of Computer Science and Engineering
|
Chang Xu |
-
Nanjing University, China, State Key Lab. for Novel Software Technology
-
Nanjing University, China, Dept. of Computer Science and Technology
|
Xiaoxing Ma |
-
Nanjing University, China, State Key Lab. for Novel Software Technology
-
Nanjing University, China, Dept. of Computer Science and Technology
|
Jian Lu |
-
Nanjing University, China, State Key Lab. for Novel Software Technology
-
Nanjing University, China, Dept. of Computer Science and Technology
|
Sharing: |
Unknown
|
Verification: |
Authors have
not verified
information
|
Artifact Evaluation Badge: |
none
|
Artifact URLs: |
|
Artifact Correspondence Email Addresses: |
|
NSF Award Numbers: |
0953759,
1319705
|
DBLP Key: |
conf/sigsoft/0001CQXML16
|
Author Comments: |
|