I'm a Ph.D candidate in the USTC-Yale Joint Research Center on High-Confidence Software of Computer Science Department,USTC. My advisor is Prof. Xinyu Feng
Currently, I'm working on the project, Memory Consistency Models, If you have any questions, please
To get my email? Please run the following shell script:
echo "huahuax {at} mail_ustc_edu_cn" | sed -e 's/_/\./g' \
-e 's/\s*{at}\s*/@/'