NSF CAREER Award: modular reasoning and concurrency, together

July 01, 2009

The National Science Foundation has awarded Hridesh Rajan a CAREER award for work on the mutualism of modularity and concurrency goals. Modular reasoning lets a developer understand one part of a program without tracing through the rest, and concurrency lets programs use modern multi-core hardware, yet the two goals often pull against each other.

The project studies language designs and reasoning techniques that let programs be both modular and concurrent, so that the structure that makes software understandable need not be sacrificed for performance. This work underpins the lab’s long-running line on capsule-oriented programming and modular reasoning.

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