Author
Liang Chen
Papers that credit Liang Chen in their source bylines. Matching names may refer to different researchers.
1 results
Papers that credit Liang Chen in their source bylines. Matching names may refer to different researchers.
1 results
A formal analysis shows why one-action guards miss relational purpose violations and how paired monitoring reveals them.