In this demo we showcase efforts in MSR to collaborate with external researchers to explore the application of new technologies, specifically Dryad and DryadLINQ, to big data research problems in science. We also highlight our efforts to provide software and services to academics across the world, through the release of Dryad and DryadLINQ free of charge to the research community, along with associated programming guides, user documentation, and code libraries. Dryad is a general-purpose distributed computing engine, more flexible than MapReduce or Hadoop!, that was designed to simplify the task of implementing distributed applications on clusters of Windows computers. DryadLINQ is an abstraction layer which simplifies the process of implementing Dryad-based applications. Microsoft Research is acutely aware of the ubiquity of big data and the challenges this presents. We are offering researchers the tools, resources and collaboration to explore this new area.
DryadLINQ
Matt Scott of Microsoft Research walks us through Engkoo: the new “dictionary” vertical search of Bing in China. What makes this English-Chinese assistance tool unique is that it unifies human translation mined from the web, machine translation, and a language learning experience, into one easy to use search and explore interface. By continuously discovering and processing high quality translation knowledge on the Internet, this technology can be used to close the ever expanding translation gap between English and Chinese.
Engkoo is a collaboration between Bing, MSN, and Microsoft Research – leveraging years of research in Natural Language Computing, Speech, Human Computer Interaction and Web Search & Mining. Because the technology is language independent, next steps include building on it for other language pairs in the future
Margus Veanes, a Researcher from the RiSE group at Microsoft Research, gives an overview of Rex, a tool that generates matching string from .NET regular expressions. Rex turns regular expressions into symbolic automatons, then gives them to a constraint solver to find matching strings.
- Download Rex and play with it!
The Research in Software Engineering team (RiSE) coordinates Microsoft’s research in Software Engineering in Redmond, USA.
The Verification Corner – Loop Termination
In this episode of The Verification Corner, Rustan Leino, Principal Researcher in the Research in Software Engineering (RiSE) group at Microsoft Research, shows how to prove loop termination. During his demonstration, Rustan presents the theoretical background information necessary to build the proof before modeling it using the Dafny language.
- Find past and future episodes of the The Verification Corner!
The Verification Corner is a show on Software Verification Techniques and Tools. The show is produced by the Research in Software Engineering team (RiSE), which coordinates Microsoft’s research in Software Engineering in Redmond, USA.
Searching Within the P2P World
2670
ratings
Time:
34:01
More in
Science & Technology
Techfest: The Future of Looking Back
Coming out of Microsoft Research Cambridge we have a project that explores how we might view our past through photos and videos that we’ve collected. But this is more than just photo collecting and digital frames; it’s is a look at the value people place on sets of digital data and why they are attached to the digital bits along with a look at the tools we can help create to let people creatively engage with them.
If you are developing multi-threaded applications, there is a possibility that you may be having concurrency problems, and these problems can be difficult to reproduce and identify.
At PDC09, Madan Musuvathi and Sebastian Burckhardt showed off some tools (“Cuzz” and “FeatherLite”) that Microsoft Research is currently working on that may one day assist developers in addressing concurrency issues they may be having in their application. I’ve invited them to join me today to talk with us about some of the issues involved with tracking down concurrency problems, as well as how each tool works.
If you’d like more information about the tools they are working on, you may want to check out their PDC09 session, which is available here:
You can also find more details about what Madan and Sebastian are doing in Microsoft Research on the Microsoft Research Website:
TechFest 2010: Project Gustav
TechFest is the time of year when Microsoft Research gets to show off all of the interesting projects they’ve been working on- and Project Gustav is absolutely incredible. This painting application looks so real I literally had to touch the screen to make sure I wasn’t looking at an actual canvas. The tools are intuitive and the UI is natural and easy to use. Check out this hands-on demo and prepare yourself to be amazed.
Rick Rashid introduces TechFest 2010
Rick Rashid, senior vice president of Microsoft Research, and Kevin Schofield, general manager of the organization’s Strategy and Communications group, explains the value of TechFest during a video introduction to Rashid’s March 2 keynote address for the 2010 event.
In this episode of The Verification Corner, Rustan Leino gives a demonstration of specifications in action. He builds a program that chunks strings into pieces, i.e. a chunker, in Spec#. During the demo, he shows the verifier, the developer, and the specifications fit together in the development cycle. Rustan Leino is a Principal Researcher in the Research in Software Engineering (RiSE) group at Microsoft Research.
- Find past and future episodes of the The Verification Corner!
The Verification Corner is a show on Software Verification Techniques and Tools. The show is produced by the Research in Software Engineering team (RiSE) , which coordinates Microsoft’s research in Software Engineering in Redmond, USA.