[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: datarace detection

To: Dries Buytaert <soot@buytaert.net>
Subject: Re: datarace detection
From: Lin LI <lli31@cs.mcgill.ca>
Date: Tue, 4 Nov 2003 11:39:54 -0500 (EST)
Cc: soot-list@sable.mcgill.ca
In-reply-to: <Pine.LNX.4.58.0311041500230.9631@localhost.localdomain>
Sender: owner-soot-list@sable.mcgill.ca

hi,

I am working on computing MHP (ie. which statements in a concurrent
program may happen in paralle) information for Java based on Soot. One of
the important applications of MHP is datarace detection. As Professor
Clark Verbrugge said,  MHP is being developed, but we hope to release it
next year.

cheers

lin

On Tue, 4 Nov 2003, Dries Buytaert wrote:

>
> Does any of you know about work that uses Soot as an analysis tool for
> datarace detection?  I Google'd for it and searched the mailing list
> archives but couldn't find anything.
>
> --
> Dries Buytaert  ::  http://www.buytaert.net/
>
>

References:
- datarace detection
  - From: Dries Buytaert <soot@buytaert.net>

Prev by Date: datarace detection
Next by Date: Re: datarace detection
Previous by thread: datarace detection
Next by thread: Re: datarace detection
Index(es):
- Date
- Thread