Faculty Connection - Home

K-12 | Higher Education

	News and Highlights
	Cool-Tether Turns Phones into High-Speed Hotspots Published: 01-12-09 01:49:00 Microsoft Research has found a novel way of beating the deplorably slow speeds of mobile broadband, by combining several phones together to make one high-speed hotspot... Embracing Networking Opportunities Published: 30-11-09 09:00:00 The Mobility, Networks, and Systems group within Microsoft Research India is engaging in projects that address networking challenges and potential at scales both expansive and intimate... Microsoft's Other Campus Celebrates Year Ten Published: 27-11-09 00:00:00 The company so firmly associated with Seattle also has a large site in the heart of Silicon Valley... Games for Learning Institute Launches 'Game-a-Week' Feature Published: 24-11-09 00:00:00 The Games for Learning Institute, a joint research endeavor of Microsoft Research, New York University, and other universities, has launched a Game-of-the-Week feature on http://g4li... Nozzle: Counteracting Memory Exploits Published: 23-11-09 11:00:00 Over the past decade, memory exploits have been a common form of computer attack, with heap spraying being the latest in a progression of methods... Microsoft Technology Reduces Network Redundancy Published: 23-11-09 06:30:00 Researchers at Microsoft Research India have developed a compression and redundancy elimination technology that can operate as a host service in enterprise systems without the use of accelerator devices over a WAN... Games for Learning Institute Announces Design Contest for Microsoft’s XNA Game Studio Platform Published: 19-11-09 00:00:00 The Games for Learning Institute, a joint research endeavor of Microsoft Research, New York University, and other universities, has announced the Game Design Challenge to build mini-games for learning on Microsoft’s XNA Game Studio 3... Microsoft Cuzz: Fuzz Testing Goes Parallel Published: 18-11-09 04:12:00 Maden Musuvathi of Microsoft Research demoed a prototype product called Microsoft Cuzz, shorthand for Concurrent Fuzz testing, during PDC09... PDC 2009 Day 1: Data-Intensive Computing on Windows HPC Server with the DryadLINQ Framework Published: 18-11-09 01:48:00 DryadLINQ, from Microsoft Research, enables LINQ queries and operations to be run on a distributed clisters of machines... Bendable Magnetic Interface Published: 18-11-09 00:00:00 A sensing surface developed by Microsoft researchers offers new ways to use computers... NASA and Microsoft Ask Citizen Scientists to 'Be a Martian' Published: 17-11-09 00:00:00 Built on Microsoft cloud services technologies, NASA’s interactive “citizen-science” Web service lets anyone explore the Red Planet up close, while also contributing to Mars missions... The Use Of Assertions Published: 16-11-09 13:11:00 A new study from Microsoft Research shows the power of seeding your code with assertions... Microsoft Chief Research and Strategy Officer Craig Mundie Shared Vision for Future of Computing at CUHK on Nov. 16 Published: 16-11-09 00:00:00 Craig Mundie, chief research and strategy officer of Microsoft delivered a lecture titled Rethinking Computing at The Chinese University of Hong Kong on Nov... Educators That Rock!: danah boyd Published: 13-11-09 00:00:00 danah boyd of Microsoft Research New England discusses her work with the findingEducation blog... Controller-Free Gaming Published: 12-11-09 00:00:00 Project Natal, technology developed in part by Microsoft Research, has been named one of the 50 best inventions of the year by TIME... Searching an Encrypted Cloud Published: 12-11-09 00:00:00 Researchers are working on ways to make encrypted data easier to find... Academic Exchange, Mt. Fuji Style Published: 11-11-09 15:00:00 After the Nov... Web Security Tool Copies Apps' Moves Published: 09-11-09 00:00:00 Microsoft Research software clones the environment running on a user's machine... Editing Memory and Multi-Core Programming Published: 08-11-09 00:00:00 Microsoft Research Cambridge's work in Transactional Memory explores hot to make the most of many cores and threads while programming... Clippings from Craig Mundie's Stop at UW Published: 07-11-09 00:00:00 Craig Mundie, Microsoft's chief research and strategy officer, finished his 2009 Microsoft College Tour at the University of Washington on Thursday, demonstrating a few prototype technologies from Microsoft Research...

	Publications
	Abstract Transformers for Thread Correlation Analysis Published: 01-12-09 00:00:00 We present a new technique for speeding up static analysis of (shared memory) concurrent programs... Adapting to the Shifting Intent of Search Queries Published: 01-12-09 00:00:00 Search engines today present results that are often oblivious to recent shifts in intent... Application-Aware Prioritization Mechanisms for On-Chip Networks Published: 01-12-09 00:00:00 Network-on-Chips (NoCs) are likely to become a critical shared resource in future many-core processors... Automatic Semantic Parsing of CT Scans via Multiple Randomized Decision Trees Published: 01-12-09 00:00:00 We introduce a new, efficient algorithm for the automatic detection and localization of anatomical structures within 3D CT images... Collocated social practices surrounding photos Published: 01-12-09 00:00:00 Cool-Tether: Energy Efficient On-the-fly WiFi Hot-spots using Mobile Phones Published: 01-12-09 00:00:00 We consider the problem of providing ubiquitous yet affordable Internet connectivity to devices at home, at work, and on the move... Discovering Excitatory Networks from Discrete Event Streams with Applications to Neuronal Spike Train Analysis Published: 01-12-09 00:00:00 Mining temporal network models from discrete event streams is an important problem with applications in many domains like computational neuroscience, physical plant diagnostics, and human-computer interaction modeling... Distribution-Calibrated Hierarchical Classification Published: 01-12-09 00:00:00 Execution Anomaly Detection in Distributed Systems through Unstructured Log Analysis Published: 01-12-09 00:00:00 Detection of execution anomalies is very important for the maintenance, development, and performance refinement of large scale distributed systems... Interactive Geodesic Segmentation of n-Dimensional Medical Images on the Graphics Processor Published: 01-12-09 00:00:00 This paper presents a new, parallel segmentation algorithm which enables radiologists to separate a region of interest from 2D or 3D images accurately and efficiently... MDCube: A High Performance Network Structure for Modular Data Center Interconnection Published: 01-12-09 00:00:00 Shipping-container-based data centers have been introduced as building blocks for constructing mega-data centers... Multi-PIE Published: 01-12-09 00:00:00 Proofs of Storage from Homomorphic Identification Protocols Published: 01-12-09 00:00:00 Refining Abstract Interpretation-based Static Analyses with Hints Published: 01-12-09 00:00:00 The existing approaches for refining static analyses focus on the refinement either of the elements of abstract domains or of the transfer functions... RenderAnts: Interactive Reyes Rendering on GPUs Published: 01-12-09 00:00:00 We present RenderAnts, the first system that enables interactive REYES rendering on GPUs... Symbolic Query Exploration Published: 01-12-09 00:00:00 We study the problem of generating a database and parameters for a given parameterized SQL query satisfying a given test condition... ThunderDome: Discovering Upload Constraints Using Decentralized Bandwidth Tournaments Published: 01-12-09 00:00:00 ThunderDome is a system for collaboratively measuring upload bandwidths in ad-hoc peer-to-peer systems... Traffic management and resource allocation in small wired/wireless networks Published: 01-12-09 00:00:00 We consider the problem of traffic management in small networks with both wireless and wired devices, connected to the Internet through a single gateway... Understanding transportation mode based on GPS data for Web applications Published: 01-12-09 00:00:00 User mobility has given rise to a variety of Web applications, in which the global positioning system (GPS) plays many important roles in bridging between these applications and end users... Characterizing Real-World Behavior of JavaScript Programs Published: 30-11-09 00:00:00 JavaScript is widely used in web-based applications and is increasing popular with developers...

	Downloads
	Bulk-Synchronous GPU Programming Compiler Published: 22-11-09 04:42:11 This is a compiler for the Bulk-Synchronous GPU Programming (BSGP) language... ORTC Sample Code Published: 18-11-09 12:47:12 We provide sample code implementing the algorithm described in our 1999 paper “Optimal Compression of IP Routing Tables... Dryad and DryadLINQ Academic Release Published: 17-11-09 13:56:15 Dryad is a high-performance, general-purpose, distributed-computing engine that simplifies the task of implementing distributed applications on clusters of computers running a Windows® operating system... Z3 Published: 12-11-09 16:33:45 Z3 is an SMT solver that combines several theory solvers into a combined framework... Infer.NET 2.3 Published: 12-11-09 10:13:20 Infer... SCARF: A Segmental CRF Speech-Recognition Tool Kit Published: 12-11-09 09:57:07 SCARF is a tool kit for recognizing speech with segmental conditional random fields... Pex - Automated Whitebox Testing for .NET Published: 12-11-09 01:14:13 Pex (Program EXploration) is a white-box test generation tool... Project Trident: A Scientific Workflow Workbench Published: 06-11-09 00:05:26 Project Trident: A Scientific Workflow Workbench is a set of tools based on the Windows Workflow Foundation that addresses scientists’ need for a flexible, powerful way to analyze large, diverse datasets... Research Information Centre Framework Published: 26-10-09 17:45:02 The Microsoft Research Information Centre (RIC) Framework is a Web-based platform for research project management and scientific collaboration... CodeContract Tools Published: 24-10-09 12:03:22 This download installs the runtime and static checking tools for managed contracts along with Visual Studio integration... Fast subroutines for Matlab programs Published: 15-10-09 10:26:22 This library provides highly optimized versions of primitive functions such as repmat, set intersection, and gammaln... F7: Refinement Types for F# (2009) Published: 13-10-09 09:58:10 F7 is an enhanced type checker for the F# programming language... SIGMA: Large-Scale Machine-Learning Tool Kit Published: 17-09-09 01:34:07 The goal of SIGMA is to provide a group of parallel, machine-learning functionalities that can meet the requirements of research work and applications typically with large-scale data or features... Social Web Experience Published: 14-09-09 09:43:04 The Social Web Experience browser plug-in analyzes Web pages to identify key topics on the current page and match them with relevant conversations and other content from the user's social network... Dynamics Simulation and Geometric Modeling Using D* Symbolic Differentiation Published: 01-09-09 14:27:48 D* is a program for efficiently computing symbolic derivatives... Privacy Integrated Queries (PINQ) Published: 18-08-09 10:10:15 Privacy Integrated Queries (PINQ) is a LINQ-like API for writing programs against sensitive data sets, while providing differential privacy guarantees for the underlying records... Fine: A Type-Preserving Compiler for End-to-End Security Verification Published: 14-08-09 10:43:17 The Fine compiler implements a type system that enables the enforcement of rich, stateful authorization and information-flow policies to be verified... Surface Extraction from Binary Volumes with Higher-Order Smoothness Published: 13-08-09 08:40:59 This code extracts the separating triangulated surface from binary volumes, such as those obtained by 3-D image-segmentation algorithms... Reinforcement-Learning Infrastructure for ‘Civilization IV’ Published: 04-08-09 09:21:49 Use this learning infrastructure to interface with the “Civilization IV” SDK and game to run and evaluate different reinforcement-learning algorithms and learn AI strategies... Azure Library for Lucene.Net Published: 28-07-09 14:24:31 Lucene works on top of an abstract store object called Directory...