|
Blogs on this site
Microsoft Research Weblogs
Christos Gkantsidis' blog
|
gkantsidis
|
|
0
|
0
|
0
|
0
|
Dreams Come True
|
frank martinez
|
There are no limits
|
17
|
0
|
0
|
1
|
The AlpineInker
Ken Hinckley's blog exploring the savage frontiers of pen, touch, and mobile devices
The official blog of the InkSeine project at Microsoft Research
|
Ken Hinckley
|
The Microsoft Research Codex: Are Dual Screens the Future of Mobile Devices?
|
54
|
0
|
50
|
91
|
Z3: Theorem Prover
Z3 is a new high-performance theorem prover being developed at Microsoft Research. Z3 supports linear real and integer arithmetic, fixed-size bit-vectors, extensional arrays, uninterpreted functions, and quantifiers. Z3 has already been integrated with Spec#/Boogie, and HAVOC. We are currently integrating Z3 with Pex, SAGE, Yogi, Vigilante, and SLAM. It can read problems in SMT-LIB and Simplify formats.
|
Leonardo de Moura
|
Documentation
|
2
|
1
|
1
|
0
|
Savas Weblog
|
Savas
|
SWORD plugin binary release
|
138
|
0
|
0
|
5
|
TechFest Live!
Real-time postings about the technology on display during TechFest 2008, Microsoft Research's annual project showcase.
|
robk
|
Roll the Credits
|
19
|
0
|
2
|
5
|
Research Interns
|
sevans
|
|
0
|
0
|
0
|
0
|
Software Reliability Research
Improving software quality via automated tools and techniques.
|
Tom Ball
|
|
0
|
0
|
0
|
0
|
Santosh Balasubramanian's Weblog
|
SantoshBalasubramanian
|
NBC Olympics Coverage on Windows Media Center
|
12
|
0
|
0
|
0
|
WWT Data Blog
Details of the many datasets in the WorldWide Telescope. This includes all-sky surveys, individual study images from various telescopes, panoramas, etc.
|
dinos
|
Example Panoramas from Denver
|
3
|
0
|
1
|
0
|
Foundations of Software Engineering
Microsoft Research New England Group Blog
|
|
|