Research Projects
XVP (Extended Virtual Platform)
JAN 14 2008
The XVP project is an extension to the Sun Java Virtual Machine to allow for reflective constraints. This unique feature allows users to introspect previously unknown objects' assertions at runtime, enabling programs to systematically handle objects based on their intended semantics. The compiler and extensions to the virtual machine were developed at the University of Southern Maine. Additional goals of the project are to couple the dynamic reflection techniques with a theorem prover, allowing the system to infer conclusions both at runtime and compile time.
Additional information can be found at the XVP project web site.
CCI (Climate Change Institute) Data Integration
The CCI Data Integration project is an effort to develop an Internet based tool that will facilitate the research and discovery of climate information. This project is actively being developed at The University of Maine. The current phase of the project is looking into ways to automatically integrate and mine disparate data. Further aspects of the project are focused on various end user programming techniques, which will be integrated into the data manipulation tools.
The project wiki, currently known as the P301 Project, can be reached here: icerocks.umcs.maine.edu/mediawiki.
Additional references can be found at the Climate Change Institute web site.
A specific project that has been used as motivation for this project is the Ice Core Dating Software project previously developed at The University of Maine.