Research
Building programming languages, tools, and software engineering techniques that make software more reliable, secure, and productive.
Project Parasail is a novel approach to parallelizing a large class of seemingly sequential applications wherein dependencies are, at runtime, treated as symbolic values. The efficiency of parallelization, then, depends on the efficiency of the symbolic…
Part 1: Introduction and Basic Theory > Part 2: Accounting for Bug Fixes > Part 4: Step By Step Guide This is just a summary of the previous chapters as a flow chart (click here for…
An Ironclad App lets a user securely transmit her data to a remote machine with the guarantee that every instruction executed on that machine adheres to a formal abstract specification of the app’s behavior. This…