The project, that celebrates a formal collaboration between Rice University from USA and University of Lisbon from Portugal, under the FLAD/NSF 2015 Portugal-U.S. Research Networks Program, will focus on compile time verification of programs written on the Habanero Java (HJ) programming language, that is being being developed at Rice University as an extension to the original Javabased definition of the X10 language.
In particular, the research team plan to study the impact of the various HJ’s concurrency primitives on the expected properties of parallel programs.
The properties we are interested in include the following:
The HJ’s concurrency primitives we are interested in include the following:
Proj 301/2015 | 2015/CON29/CAN12
LASIGE is supported by FCT, project UID/CEC/00408/2013