Research
Building programming languages, tools, and software engineering techniques that make software more reliable, secure, and productive.
Note: This research project has reached its conclusion. These pages are maintained for reference and archival purposes. We are designing programming languages for building safe and reliable asynchronous systems. These languages are based on the programming…
The Checked C project is extending the C programming language so that programmers can write more secure and reliable C programs. The project is developing an extension to C called Checked C that adds checking…
IVy is a language and a tool for specifying, modeling, implementing and verifying protcols. IVy is intended to allow interactive development of protocols and their proofs of correctness and to provide a platform for developing…