2014: DOLL received a DARPA Phase II SBIR contract for a project called PAMELA

DOLL received DARPA phase II SBIR contract for a project called Probabilistic Advanced Modeling and Execution Learning Architecture (PAMELA). The goal of PAMELA will be to design and implement a new probabilistic modeling language that extends the current state of the art process modeling languages, such as RMPL by adding first class probability variables. The compiler will not only compile the model into an automata representation such as a "Probabilistic Hierarchical Constraint Automata" (PHCA), but it will also synthesize a learning algorithm to bind the probabilistic variables using machine learning algorithms, appropriate for the program. This approach reduces the need for the programmer to be an expert in machine learning algorithms, freeing the programmer to write models that employ probability values.