[Javapathfinder-devel] My GSoC schedule

[Taehoon L. <ta...@kg...>]

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...
-------------------------------------------------------