Publication
Programming languages & software engineering
Building programming languages, tools, and software engineering techniques that make software more reliable, secure, and productive.
Project
Pex and Moles – Isolation and White Box Unit Testing for .NET
Note: The Pex and IntelliTest project has reached its conclusion. These pages are maintained for reference and archival purposes. Pex automatically generates test suites with high code coverage using automated white box analysis. Pex is…
Microsoft Research Blog
Four from Microsoft Research Named ACM Fellows
On Jan. 8, the Association for Computing Machinery (ACM) announced that it had recognized 41 of its members for their contributions. Four of these new ACM fellows are from Microsoft Research.
Tool
FS2PV: A Cryptographic-Protocol Verifier for F#
FS2PV is a verification tool that compiles cryptographic-protocol implementations in a first-order subset of F# to a formal pi-calculus model. This pi-calculus model then can be analyzed using ProVerif to prove the desired security properties…
Project
eMIPS
The “extensible MIPS” is a dynamically extensible processor for general-purpose, multi-user systems. The reconfigurable logic (Extensions) dynamically load/unload application-specific circuits. Extensions add specialized instructions to the processor, security monitors, debuggers, new on-chip peripherals. Extended Instructions…