Parallelization Framework for JPF


The key is to create an extensible parallelization framework from which we can parallelize the algorithms within JPF as well as other JPF extensions.


student: Miriam Levy

mentor: Matt Staats

co-mentor: Neha Rungta



The current framework supports initialization of JPF and execution of an arbitrary function rather than requiring entry through a main. The framework supports initializing symbolic variables at the beginning of methods and collecting constraints. The same framework can be extended for supporting initialization for model checking as well. This does require more in terms of initializing the heaps and global state correctly in addition to the parameters of the entry method.

Last modified 6 years ago Last modified on 02/13/2012 07:58:57 PM