Re: [Javapathfinder-devel] Google Summer of Code 2008 project question

[John P. <jp...@go...>]

Hi Dhany,

We have 2 or 3 applications for the java.util.concurrent project by students
with experience in this area, so I would consider those taken.

I don't think we have an application for the state chart monitoring, but, in
total, we may already have more good proposals than we have mentors. If you
are familiar with state charts and have experience with anything that might
help with the "animate traces of event sequences" part, then please consider
submitting a proposal.

John

On Wed, Apr 2, 2008 at 5:07 PM, Dhany <dd...@gm...> wrote:

> Hi,
>
> I'm interested with your project posted for Google Summer of Code 2008.
> I'd like to ask if any of the following 2 projects are still available:
>
> Develop models of java.util.concurrent implementation to allow more
> efficient model checking of programs that use these consructs. The
> underlying mechanisms for this package use undocumented, platform dependent
> classes that could be bypassed if the library modeling would take place at
> the level of public constructs like Semaphore etc.
>
> Create a visualization for JPF's statechart model checking extension. This
> would create UML state machine diagrams out of JPF state machine models, and
> animate traces of event sequences produced by the model checker
>
>
> If so, what is the requirements from students ?
> I know how to code in java. I also know the basic concept about
> multi-threading, semaphore, deadlock, etc. But, I've never used
> java.util.concurrent package or JPF before.
>
> Thanks in advance.
>
>
> Regards,
>
> Dhany
>
> -------------------------------------------------------------------------
> Check out the new SourceForge.net Marketplace.
> It's the best place to buy or sell services for
> just about anything Open Source.
>
> http://ad.doubleclick.net/clk;164216239;13503038;w?http://sf.net/marketplace
> _______________________________________________
> Javapathfinder-devel mailing list
> Jav...@li...
> https://lists.sourceforge.net/lists/listinfo/javapathfinder-devel
>
>