[Javapathfinder-devel] Regarding Google Summer of Code

[Shyam S. S. V. <vs...@cs...>]

Hello guys,

 

I am Shyam Sunder, a Master's student at Virginia Tech. I knew about the
google summer of code very recently. I am interested in participating in
your Java path finder project. My research interests include Object oriented
Languages, Software Engineering. My technical skills include good
programming knowledge in Java. Please may I know how much time should we be
allocating per week on an average for the duration of the project and should
I also consult the mentor of the projects before I apply?

 

The projects I am interested in are:

 

1.       Develop models of java.util.concurrent implementation to allow more
efficient model checking of programs that use these constructs. 

2.       Build a JPF extension for model checking distributed applications.

3.       Create a JPF user interface in an IDE like Eclipse or NetBeans.

4.       Develop an object interface layer that more easily supports lookup
and storage of objects from standard Java collections.

5.       Develop an object interface layer that more easily supports lookup
and storage of objects from standard Java collections (like HashMaps).
(mentor?)

 

Look forward to hear from you,

 

Regards,

Shyam Sunder Santoshi Visamsetty,

Graduate Student,

Department of Computer Science,

Virginia Tech.