Few MSR TOPICS(Have a look what going on in Microsoft Research

Posted: July 31, 2005 in Uncategorized
AsmL
Overview
What is AsmL?
AsmL is the Abstract State Machine Language
http://research.microsoft.com/fse/asml/
*************************************************
cOMEGA
http://research.microsoft.com/Comega/
**********************************************
Concurrency Control and Recovery in Database Systems
http://www.research.microsoft.com/~gray/talks/Gray_Turing_FCRC.pdf
***************************************************************
SXM: C# Software Transactional Memory
http://www.cs.brown.edu/~mph/sxm.htm
********************************************
SPEc# for vs20005
http://research.microsoft.com/specsharp/
***************************************************
TERRA SERVICES
http://terraservice.net/webservices.aspx
******************************************************
IceCube (engine and applications)
http://research.microsoft.com/camdis/icecube.htm
****************************************************************
Gyro: Generics for the SSCLI
http://research.microsoft.com/projects/clrgen/
************************************************************
C# Software Transactional Memory
Advertisements

Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out / Change )

Twitter picture

You are commenting using your Twitter account. Log Out / Change )

Facebook photo

You are commenting using your Facebook account. Log Out / Change )

Google+ photo

You are commenting using your Google+ account. Log Out / Change )

Connecting to %s