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

[Meredith Gregory]

Dear Austin,
Are you aware of the work of Luis Caires?

Here <http://ctp.di.fct.unl.pt/~lcaires/papers/CALCO-Caires-1.0.pdf>'s a
link to an overview paper; and
here<http://ctp.di.fct.unl.pt/~lcaires/papers/>'s
a link to more of his publications on the work.

Best wishes,

--greg

On Wed, Sep 16, 2009 at 6:25 PM, koba <koba at kb.ecei.tohoku.ac.jp> wrote:

> [ The Types Forum, http://lists.seas.upenn.edu/mailman/listinfo/types-list]
>
>
> Hi,
>
> From: Ciera Jaspan <cchristo+types at cs.cmu.edu<cchristo%2Btypes at cs.cmu.edu>
> >
> Subject: Re: [TYPES] static analyses for shared resource accesses in
> multi-threaded systems
> Date: Wed, 16 Sep 2009 17:41:05 -0400
>
> > [ The Types Forum,
> http://lists.seas.upenn.edu/mailman/listinfo/types-list ]
> >
> > > 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.
> >
>
> The following paper may also be related.
>
> Naoki Kobayashi and Kohei Suenaga and Lucian Wischik,
> Resource Usage Analysis for the Pi-Calculus,
> Logical Methods in Computer Science, 2(3:4), pp.1-42, 2006.
>
> It presents a static analysis to guarantee that shared resources
> are accessed according to declared policies, for the pi-calculus
> extended with primitives for dynamically creating and accessing resources.
>
>
>
> Naoki Kobayashi
> Department of Computer and Mathematical Sciences
> Graduate School of Information Sciences
> Tohoku University
> 6-3-9 Aoba, Aramaki, Aoba-ku, Sendai-shi, Miyagi 980-8579, Japan
> e-mail:koba at ecei.tohoku.ac.jp <e-mail%3Akoba at ecei.tohoku.ac.jp>
>



-- 
L.G. Meredith
Managing Partner
Biosimilarity LLC
1219 NW 83rd St
Seattle, WA 98117

+1 206.650.3740

http://biosimilarity.blogspot.com