Not registered as user yet

Name: Siyang Xiao

Affiliation: University of Science and Technology of China, China

Contributions

PLDI 2019Author of Towards Certified Separate Compilation for Concurrent Programs within the PLDI Research Papers-track