Static ownership inference for reasoning against concurrency errors.

Ana L. Milanova, Yin Liu

Browse the full ICSE paper archive.