Programming languages & software engineering
Building programming languages, tools, and software engineering techniques that make software more reliable, secure, and productive.
OPAL
OPAL is a programming language and environment for designing intelligent assistants based on natural language. Tasks in OPAL can explore multiple hypothetical worlds to resolve the ambiguity in users’ intent by exploring its potential implications…
Safe Asynchronous Programming with P and P#
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…
Checked C
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
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…