Registered user since Wed 12 Jan 2022
Name:Haoxiang Lin
Bio:
Haoxiang Lin is a Principal Researcher of the Systems and Networking Research Group, Microsoft Research Asia.
Country:China
Affiliation:Microsoft Research
Personal website: https://www.microsoft.com/en-us/research/people/haoxlin/
Research interests:Operating Systems, Model Checking, Concurrent Programming, Program Analysis
Contributions
Using general profile