Microsoft Research Community

Welcome to Microsoft Research Community Sign in | Join | Rules

Join the community and talk about the work we’re doing at Microsoft Research with other academics and computer scientists. Read a blog, post a message in a forum, or subscribe to an RSS feed in your areas of interest.

You might notice only a few blogs and forums while we start building our community. Keep checking back to see what's new and how we're growing.

Note: You must be registered and signed in to post to a blog or forum. New users can click the ‘Join' link at the top of the page to register.

Blogs

Microsoft Research Weblogs

Blog	Author(s)	Last Post	Posts	Articles	Comments	Trackbacks
Christos Gkantsidis' blog	gkantsidis		0	0	0	0
Dreams Come True	frank martinez	There are no limits	17	0	0	1
The AlpineInker 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	A Tribute to Randy	53	0	50	85
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	On advertising (that new Microsoft ad everyone is talking about)	130	0	0	4
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.	dinoj	WTML files for new WWT data	2	0	1	0

1 2 Next >

Foundations of Software Engineering

Blog	Author(s)	Last Post	Posts	Articles	Comments	Trackbacks
Pex, Automated White Box Testing for .Net Pex is an automated white box test generation tool for .Net developed at Microsoft Research.	peli	Welcome to the Pex blog	0	0	0	0

Socio-Digital Systems

Blog	Author(s)	Last Post	Posts	Articles	Comments	Trackbacks
Technology Trends	rbanks	RFID + USB	922	0	0	7
Work Blog	rbanks	3 blogs down to two	34	0	0	1

Microsoft Research New England Group Blog

Blog	Author(s)	Last Post	Posts	Articles	Comments	Trackbacks
Microsoft Research New England Group Blog	Adam Tauman Kalai, Christian Borgs, Henry Cohn, Jennifer Chayes, Yael Tauman Kalai		0	0	0	0

Forums

Microsoft Research Forums

	Last Post	Threads	Posts
Introduce Yourself New here? Tell us a little about yourself.	hello to everyone by narasiman 09-02-2008 3:09 AM	48	63
MultiPoint Multipoint is a technology and an associated design paradigm that provides a separate mouse to each child around a shared computer, each with a separate cursor on screen.	Re: Can't install... by mrs.marentette 08-16-2008 8:55 AM	3	6
Z3, Theorem Prover	Re: C API - Getting... by Nikolaj Bjorner 06-09-2008 3:05 PM	5	6
InkSeine News & Announcements InkSeine is a prototype inking application from Microsoft Research that has a user interface designed from the ground up to be used with a pen. This forum will host occasional news and announcements regarding updates, bug fixes, feature enhancements, etc.	InkSeine doesn't... by Ken Hinckley 04-29-2008 2:27 PM	5	5
PersonalVibe Personal Vibe is a prototype Windows Activity Logger that tracks user actions like moving a window or starting an application. The data can used for a variety of projects from monitoring the actions of study participants to building Vista gadgets that tell you how long you’ve been at work today.	Re: Welcome to the... by CyberAxe 08-12-2008 5:49 PM	1	4
SearchTogether Discussion Forum This forum provides a place for users of Microsoft’s SearchTogether application to discuss their experiences with SearchTogether, ask questions about the tool, and meet other SearchTogether users with whom they might want to collaborate on Web searches! SearchTogether Beta is available at http://research.microsoft.com/searchtogether	Re: SearchTogether... by Nadav Elyada 06-26-2008 3:23 AM	1	6
Research Output Repository Platform A repository platform for storing scholarly works, and metadata about the scholarly works. The platform enables the development of new functionality and services on top of the repository.	Link to Microsoft... by SantoshBalasubramanian 04-04-2008 9:18 AM	3	3
Spec# Spec# is an experimental language that extends C# with several design-by-contract features. The new features of Spec# include a non-null type system, method pre- and post-conditions, loop invariants, and object invariants. The Spec# Programming System provides design-time checking, run-time checking, and a static verifier. This version of Spec# runs on .NET Framework version 2. Subforum(s) News and Announcments, Chat- General		0	0

Research Interns

Forums		Last Post	Threads	Posts
	Research Interns Identify other research interns and share information relevant to your internship		0	0

World Wide Telescope

	Last Post	Threads	Posts
WorldWide Telescope Support Support for the WorldWide Telescope application: Install, configuration, and content/data issues. Subforum(s) Installation Issues, Image / Content Issues	Re: Not Connecting... by JacquesE 09-04-2008 10:06 AM	131	627
WWT News and Announcements News about WorldWide Telescope: new releases, new content coming online and other product announcements.	Hotfix Available by Chuck Needham 05-16-2008 9:20 PM	1	1
Chat - General WorldWide Telescope community chat.	Re: Weird object... by dom96 08-12-2008 9:19 AM	11	23
Chat - WWT Communities How to join/create WWT communities - for example the SKy & Telescope magazine WWT community.	Re: Create new community... by galaxies 05-24-2008 2:16 PM	1	2
Chat - WWT Guided Tours Create your own tours and share them with others or view immersive tours by experts in the field.	Re: Chaining Tours by rstember 08-11-2008 11:39 AM	3	5
WWT Tips and Tricks Tips for getting the most out of using WorldWide Telescope.	Faster loading of... by Xplorer 08-10-2008 6:14 AM	6	19
Celestial Finds and Events Astro events and interesting celestial finds.	Re: Blackhole or... by Ethan Zoller 05-29-2008 10:49 AM	2	3

Microsoft Research Products

Forums		Last Post	Threads	Posts
	Microsoft Research AutoCollage AutoCollage creates unique mementos from your pictures. Pick a folder, press a button, and in a few minutes you have a beautifully blended collage.	Re: One Minor Little... by johnmil 09-06-2008 12:01 PM	18	41

Microsoft Research Community

Blogs

Microsoft Research Weblogs

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

Foundations of Software Engineering

Socio-Digital Systems

Microsoft Research New England Group Blog

Forums

Who's Online

Featured Item

Active

Unanswered