NSF Small supports capsule-oriented programming

August 01, 2014

The National Science Foundation is supporting capsule-oriented programming, the model behind the lab’s Panini language. Capsules let a developer reason about a concurrent program one part at a time, so that the structure that makes software understandable is not lost when the program runs in parallel.

The award funds the design, implementation, and evaluation of the language and its reasoning techniques.

This work is part of Modularity and Modular Reasoning. Details are on the NSF award page.