Programming languages & software engineering
Building programming languages, tools, and software engineering techniques that make software more reliable, secure, and productive.
Publication
Mixing with Mozart
Publication
Automating Software Failure Reporting
Publication
Concurrent zero-knowledge
Publication
Singularity Design Motivation
Video
Transition Invariants
Proof rules for the temporal verification of concurrent programs rely on auxiliary assertions. We propose a (sound and relatively complete) proof rule whose auxiliary assertions are transition invariants. A transition invariant of a program is…
Publication
Secure Sessions for Web Services
Tool
Comega compiler preview
Comega is an experimental language which extends C# with new constructs for relational and semi-structured data access and asynchronous concurrency. Last published: October 28, 2004.