Programming languages and software engineering
Project
Pex and Moles – Isolation and White Box Unit Testing for .NET
Pex automatically generates test suites with high code coverage using automated white box analysis. Pex is a Visual Studio add-in for testing .NET Framework applications. Moles supports unit testing by providing isolation by way of…
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…
Project
Giano
Giano is a simulation framework for the full-system simulation of arbitrary computer systems, with special emphasis on the hardware-software co-development of system software and Real-Time embedded applications. Overview Giano allows the simultaneous execution of binary…
Publication