[TYPES] static analyses for shared resource accesses in multi-threaded systems

[Ciera Jaspan]

> I would be interested to know if there is any existing work on static
> analyses to guarantee that threads in a multi-threaded system access some
> shared resources (such as state) according to some access policy.

Austin,

You may also be interested in thread coloring, which is somewhat
different in that it relates threads to shared data and code context,
rather than states. The first reference below is a light read; Dean's
thesis contains the details.

Dean F. Sutherland, Aaron Greenhouse, and William L. Scherlis. The
Code of Many Colors: Relating Threads to Code and Shared State.
Program Analysis for Software Tools and Environments (PASTE) '02 at
FSE-10, Charleston, SC, November 2002.

Dean F. Sutherland. Ph.D. Thesis, CMU-ISR-08-112, The Code of Many
Colors: Semi-Automated Reasoning about Multi-Thread Policy for Java.
Carnegie Mellon University, 2008.

~Ciera

--
Ciera N.C. Jaspan
Institute for Software Research
Carnegie Mellon University