Re: [Javapathfinder-devel] My GSoC schedule

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

oops - my bad.  I approved this pending message after Taehoon already
re-sent it.  sorry all...

On Sat, Apr 26, 2008 at 5:04 AM, Taehoon Lee <ta...@kg...> wrote:

>
> Hi, JPF members.
>
> My GSoC project is "Efficient and precise modeling of concurrent and
> distributed applications"
> Until May 10 , I've involved in another work. During this time, I can't
> concentrate on my project.
> After May 10, I can work full-time for GSoC.
>
> Exactly, my project idea was loosely defined.
> Until May 10, it will be completely defined by me and my mentor.
>
> Understading MJI and NetStub are needed to verity distributed java
> application.
> However, MJI and NetStub are not difficult theory.
> Initial implementation(Socket , ServerSocket and simple examples) would
> be completed within May 23.
> The modeling of whole java.net package would be finished within mid-term
> evaluation.
>
> I would like to work on JPF trunk to commit my contributions.
> Of course, I will obey JPF repository policies.
> "NO unannounced changes to core ,
> NO commits that don't compile"
>
>
> --
> ------------------------------------------------------
> Taehoon Lee
>
> Ph.D candidate
> Department of Computer Science
> Kyonggi University
> San94-6, Yiui-dong, Yongtong-gu, Suwon-si, 442-760, South Korea
> TEL: +82-11-9932-2732
> EMAIL: ta...@kg...
> -------------------------------------------------------
>
>
> -------------------------------------------------------------------------
> This SF.net email is sponsored by the 2008 JavaOne(SM) Conference
> Don't miss this year's exciting event. There's still time to save $100.
> Use priority code J8TL2D2.
>
> http://ad.doubleclick.net/clk;198757673;13503038;p?http://java.sun.com/javaone
> _______________________________________________
> Javapathfinder-devel mailing list
> Jav...@li...
> https://lists.sourceforge.net/lists/listinfo/javapathfinder-devel
>